登录
程序分析论文精读 静态分析 路径敏感 缓冲区溢出 缺陷检测 符号执行
05-22
程序分析论文精读 Soot - A Java opt. framework 动态规划 程序分析 IFDS 软件分析 污点分析
03-29
![FSE‘03-ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors-路径敏感缓冲区溢出检测[图]](data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACwAAAAAAQABAAACAkQBADs=)