源代码审计工具fortify-苏州华克斯

fortify sca——软件安全的

领xian的市场份额

全da的银行的9家、大型it基建供应商、大型独立软体公司

支持市场---xing、样化的编程---言

领xian解決方案

---产品支持整个开发周期

超过150项

庞大的安全编码规则包

的安装部署

与fortune100

企业及大型 isvs

开发出來的jia做法

由顶jian安全鉴定

软件安全问题的产生的根源：

           如今的黑ke攻击主要利用软件本身的安全漏洞，这些漏洞是由---的软件架构和不安全的编码产生的。

fortifysca庞大的安全编码规则包

跨层、跨语言地分析代码的漏洞的产生

        c，

c++， .net， java， jsp，pl/sql，源代码审计工具fortify规则， t-sql， xml，

cfml

        javasc ript， php， asp， vb， vbsc ript

精que地定位漏洞的产生的全路径

支持不同的软件开发平台

      platform:

windows， solaris，源代码审计工具fortify， red hat linux，

                   mac os x， hp-ux， ibm

aix

      ides       :

visual studio，源代码审计工具fortify价格表， eclipse， rad， wsad

source code ---ysis engine（源代码分析引擎）

            数据流分析引擎--------，记录并分析程序中的数据传递过程的安全问题                    

           语义分析引擎-----分析程序中不安全的函数，源代码审计工具fortify版本，方法的使用的安全问题

           结构分析引擎-----分析程序上下文环境，结构中的安全问题                        

           控制流分析引擎-----分析程序特定时间，状态下执行操作指令的安全问题

           配置分析引擎 -----分析项目配置文件中的---息和配置缺失的安全问题                    

           特有的x-tier?---qi-----跨跃项目的上下层次，贯穿程序来综合分析问题