List of tools for static code analysis

This is a list of tools for static code analysis.
Wikipedia

Topic mentions per year

Topic mentions per year

1987-2018
0519872018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
With the advancements in the field of modern science and technology, there is a growing trend in reliance on software codes… (More)
  • table I
  • table I
  • table III
  • table II
  • table III
Is this relevant?
2015
2015
Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
Is this relevant?
2015
2015
Context: Static analysis of source code is a scalable method for discovery of software faults and security vulnerabilities… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 4
Is this relevant?
2010
2010
Static code analysis tools are becoming more and more crucial in the software development lifecycle. In this paper we will… (More)
  • figure 1
  • table 1
Is this relevant?
2010
2010
A soccer game can be seen as a confrontation between two teams of agents where each player, communicating with his teammates, try… (More)
  • figure 4
  • figure 1
  • table I
  • table II
  • table III
Is this relevant?
2010
2010
to AI. An automated tool can do boring and repetitive reasoning, freeing experts to do more difficult and creative work… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2009
2009
In this paper we compare three static code analysis tools. The tools represent three different approaches in the field of static… (More)
  • table 1
  • table 2
Is this relevant?
2008
2008
Only a few studies exist that try to investigate whether there is a significant correlation between external software quality and… (More)
  • table I
  • table II
  • table III
  • table V
  • table IV
Is this relevant?
2004
2004
Dual-rail encoding, return-to-spacer protocol and hazard-free logic can be used to resist differential power analysis attacks by… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1996
1996
A new technique is presented towards the intelligent control of a surgical tool to be used for the epidural puncture… (More)
Is this relevant?