论文信息 - A Source Code Review Method for Discovering Security Flaws Efficiently - 字舞流文

A Source Code Review Method for Discovering Security Flaws Efficiently

Yong Li | Weiwei Li | Cheng Zhou | Chen Wang

[1] David A. Wagner,et al. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities , 2000, NDSS.

[2] David A. Wagner,et al. MOPS: an infrastructure for examining security properties of software , 2002, CCS '02.

[3] Gary McGraw,et al. ITS4: a static vulnerability scanner for C and C++ code , 2000, Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00).

[4] Somesh Jha,et al. Buffer overrun detection using linear programming and static analysis , 2003, CCS '03.

[5] Thomas A. Henzinger,et al. Lazy abstraction , 2002, POPL '02.