Sign In

Login

Password

Forgot Password ? Sign Up

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
2web.archive.org
1st place
1st place
2apple.com
67th place
64th place
2github.com
383rd place
320th place
2visual-expert.com
low place
low place
1sosy-lab.org
low place
low place
1llvm.org
low place
7,917th place
1codedx.com
low place
low place
1coverity.com
low place
low place
1bugseng.com
low place
low place
1cppdepend.com
low place
low place
1redhat.com
5,386th place
4,042nd place
1lemis.com
low place
low place
1ndepend.com
low place
low place
1sourceforge.net
1,669th place
1,290th place
1doi.org
2nd place
2nd place
1semanticscholar.org
11th place
8th place

apple.com (Global: 67th place; English: 64th place)

developer.apple.com

bugseng.com (Global: low place; English: low place)

codedx.com (Global: low place; English: low place)

coverity.com (Global: low place; English: low place)

scan.coverity.com

cppdepend.com (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

  • 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 (Global: 383rd place; English: 320th place)

lemis.com (Global: low place; English: low place)

llvm.org (Global: low place; English: 7,917th place)

clang-analyzer.llvm.org

ndepend.com (Global: low place; English: low place)

redhat.com (Global: 5,386th place; English: 4,042nd place)

developers.redhat.com

semanticscholar.org (Global: 11th place; English: 8th place)

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 (Global: low place; English: low place)

cpachecker.sosy-lab.org

  • "CPAchecker". 2015-02-08.

sourceforge.net (Global: 1,669th place; English: 1,290th place)

visual-expert.com (Global: low place; English: low place)

web.archive.org (Global: 1st place; English: 1st place)