Static Security Examining for C Source Code
Jue Wang · Jisuanji gongcheng · 2004
A static security examiner is to find vulnerabilities by statically analyzing source codes before they are executed. The paper analyzes what possible problems can be found in C source codes, introduces some current researches on static code security examining as well as those difficulties encountered. As a conclusion, it gives some advice for improving program security.