泛联新安

1.负责 C/C++、Java、Python 等语言的静态代码缺陷检测工具研发，构建代码解析、程序分析及缺陷检测相关功能。 2.开展代码语法语义、控制流、数据流、调用关系等程序分析技术研究，支撑复杂缺陷/漏洞的识别与研判。 3.负责常见代码缺陷、安全漏洞及编码规范的检测规则设计、开发、调试与优化，提升检测覆盖率、准确性、稳定性和执行效率。 4.参与检测规则及分析能力的测试验证，分析测试集上的检测结果并持续改进产品质量。 5.积极使用大模型、AI Coding Agent 等 AI 工具辅助代码分析、规则开发、测试用例生成、问题定位和研发效率提升，探索 AI 与静态分析技术结合的应用场景。 6.编写相关技术文档、测试报告与用户手册，参与技术方案评审。

1.本科及以上学历，计算机、软件工程、网络安全或相关专业； 2.掌握 C/C++、Java、Python 等至少一种主流编程语言，具备良好的代码阅读、开发和调试能力，熟悉 ChatGPT、Claude、Codex、Cursor、GitHub Copilot 等一种或多种 AI 编程工具。 3.具备编译原理、程序分析或软件工程相关基础，理解 AST、控制流、数据流、调用关系、符号信息等基本概念。了解静态代码分析、代码缺陷检测或软件安全分析的基本原理，能够针对实际代码场景设计分析方法和检测策略。 4.熟悉常见软件缺陷及安全漏洞类型，了解 CWE、OWASP 等相关知识体系，具备较好的源代码安全分析能力。 5.具备较强的逻辑分析、问题定位和技术攻关能力，能够独立分析误报、漏报、性能问题及复杂代码检测问题。 6.有大学生程序设计竞赛经历者优先，具备 AI 辅助研发工作流或 Agent 应用实践经验者优先。