Static program analysis: Difference between revisions

Content deleted Content added
Tools: added some more tools with links to info abou them
Tools: Added links to PAG and StackAnalyzer
Line 45:
#[[MOPS]]
#[[OpenCxx|OpenC++]]
#[http://www.absint.com/pag/ PAG] and [http://www.program-analysis.com/ PAG/WWW]
#[[PMD]]
#[[PREfast]], [[PREfix]]
#[[SLAM]]
#[[Smatch]]
#[http://www.absint.com/stackanalyzer/ StackAnalyzer]
#[[SPlint]]