Linking pages
Linked pages
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- MISRA C - Wikipedia https://en.wikipedia.org/wiki/MISRA_C 123 comments
- Cyclomatic complexity - Wikipedia https://en.wikipedia.org/wiki/Cyclomatic_complexity 50 comments
- CWE - Common Weakness Enumeration https://cwe.mitre.org/ 13 comments
- FindBugs™ - Find Bugs in Java Programs http://findbugs.sourceforge.net/ 5 comments
- A few billion lines of code later: using static analysis to find bugs in the real world: Communications of the ACM: Vol 53, No 2 https://dl.acm.org/doi/10.1145/1646353.1646374 2 comments
- GitHub - terryyin/lizard: A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages. https://github.com/terryyin/lizard 1 comment
- OWASP Application Security Verification Standard | OWASP Foundation https://www.owasp.org/index.php/Category:OWASP_Application_Security_Verification_Standard_Project 0 comments
- SEI CERT Coding Standards - CERT Secure Coding - Confluence https://wiki.sei.cmu.edu/confluence/display/seccode/SEI+CERT+Coding+Standards 0 comments
Related searches:
Search whole site: site:insights.sei.cmu.edu
Search title: Prioritizing Alerts from Static Analysis to Find and Fix Code Flaws
See how to search.