A Parallel Vulnerability Detection Framework via MPI
暂无分享,去创建一个
[1] Patrick Cousot,et al. Formal language, grammar and set-constraint-based program analysis by abstract interpretation , 1995, FPCA '95.
[2] David A. Wagner,et al. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities , 2000, NDSS.
[3] S. Zukowski. Introduction to Lattice Theory , 1990 .
[4] B. Balkay,et al. Introduction to lattice theory , 1965 .
[5] Alexander Aiken,et al. Introduction to Set Constraint-Based Program Analysis , 1999, Sci. Comput. Program..
[6] Qiang Zhang,et al. Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking , 2008, 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.
[7] Thomas A. Henzinger,et al. The software model checker Blast , 2007, International Journal on Software Tools for Technology Transfer.