List of tools for static code analysis (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "List of tools for static code analysis" in English language version.

refsWebsite
Global rank English rank
1st place
1st place
67th place
64th place
383rd place
320th place
low place
low place
low place
low place
low place
7,917th place
low place
low place
low place
low place
low place
low place
low place
low place
5,386th place
4,042nd place
low place
low place
low place
low place
1,669th place
1,290th place
2nd place
2nd place
11th place
8th place

apple.com

developer.apple.com

bugseng.com

codedx.com

coverity.com

scan.coverity.com

cppdepend.com

doi.org

  • Cousot, Patrick (2007). "The Role of Abstract Interpretation in Formal Methods". Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE International Conference on Software Engineering and Formal Methods. pp. 135–140. doi:10.1109/SEFM.2007.42. ISBN 978-0-7695-2884-7. S2CID 67212.

github.com

lemis.com

llvm.org

clang-analyzer.llvm.org

ndepend.com

redhat.com

developers.redhat.com

semanticscholar.org

api.semanticscholar.org

  • Cousot, Patrick (2007). "The Role of Abstract Interpretation in Formal Methods". Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE International Conference on Software Engineering and Formal Methods. pp. 135–140. doi:10.1109/SEFM.2007.42. ISBN 978-0-7695-2884-7. S2CID 67212.

sosy-lab.org

cpachecker.sosy-lab.org

  • "CPAchecker". 2015-02-08.

sourceforge.net

visual-expert.com

web.archive.org