共 117 条
- [31] Livshits V B, Lam M S., Finding security vulnerabilities in java applications with static analysis, Proc of the 14th USENIX Security Symp, (2005)
- [32] Ayewah N, Pugh W, Hovemeyer D, Et al., Using static analysis to find bugs, IEEE Software, 25, 5, pp. 22-29, (2008)
- [33] Wogerer W., A survey of static program analysis techniques, (2005)
- [34] Gosain A, Sharma G., Static analysis: A survey of techniques and tools, Intelligent Computing and Applications, pp. 581-591, (2015)
- [35] Darwin I F., Checking C Programs with Lint, (1988)
- [36] Sourceforge J., Lint-Find bugs in Java programs
- [37] Floyd R W., Assigning meanings to programs, Program Verification, pp. 65-81, (1993)
- [38] PMD Source Code Analyzer.PMD source code
- [39] Almossawi A, Lim K, Sinha T., Analysis tool evaluation: Coverity prevent, (2006)
- [40] Klocwork K7