职位名称
高级代码审计工程师
任职要求
业务技能: 1、孰悉业界主流的商用或开源的源代码静态检查工具检查的原理和架构，如Coverity、Fortify、Clang等; 2、熟悉OWASP TOP10等业界常见漏洞的产生原理及防护措施，熟悉这些漏洞的静态检查原理及方法; 3、具备静态分析检测工具开发经验、有程序分析算法或使用形式化方法进行静态代码检测的经验优先。 专业知识: 1、熟练掌握Java/C/C++/Python/Go等一种或多种语言; 2、熟悉编译原理，语法树，词法/语法/语义分析方法优先; 3、熟悉一种或者多种程序分析方法的原理(约束求解，符号分析，数据流分析，控制流分析等)优先。