IxLabs » Dwarfs, elfs and checkers

IxLabs » Dwarfs, elfs and checkers
other thing I wanted to look over but hadn't the time to do so

• Static code analysis
  
• Lint programming tool
  
• Splint (programming tool)
  
• http://en.wikipedia.org/wiki/Flawfinder
  
• Coverity
  
• Static Analysis with LDRA Testbed
  
• Scitools
  
• Swat4j
  
• SAMATE - Software Assurance Metrics And Tool Evaluation
  
• The ASTRÉE Static Analyzer
  
• Type Inference and Static Analysis for Object-Oriented Software
  
• Static Driver Verifier - Finding Driver Bugs at Compile-Time
  
• Specifying and Checking Properties of Software
  
• .Net static analyser
  
• Splint Publications Statically Detecting Likely Buffer Overflow Vulnerabilities, Improving Security Using Extensible Lightweight Static Analysis, Static Detection of Dynamic Memory Errors
  
• Flawfinder - a program that examines source code and reports possible security weaknesses (``flaws'') sorted by risk level