金融行业AI智能化源代码审计实践  

作　　者：李志勇 谢朝海 

机构地区：[1]深圳海云安网络安全技术有限公司

出　　处：《金融电子化》2024年第21期38-39,共2页Financial Computerizing

摘　　要：海云安根据源代码审计的优缺点,研发开发者安全智能助手(D10),提出动态审计与静态审计结合、源代码与制品/补丁结合的程序分析技术,采用先进的符号执行、逆执行、补丁分析、控制流分析、成分分析、二进制逆向分析、特征提取、深度学习等技术,精确发现源代码漏洞。

关 键 词：控制流分析 符号执行 逆向分析 特征提取 源代码 深度学习 金融行业 补丁 

分 类 号：F83[经济管理—金融学] TP18[自动化与计算机技术—控制理论与控制工程]