Static program analysis: Difference between revisions

Content deleted Content added
Line 50:
#[[SLAM]]
#[[Smatch]]
#[http://www.codemonkey.org.uk/projects/bitkeeper/sparse/sparse-bk/ Sparse]
#[http://www.absint.com/stackanalyzer/ StackAnalyzer]
#[http://www.cs.utah.edu/~regehr/stacktool/ Stacktool]