Coverity Scan: ltsmin

Project Name ltsmin
Lines of code analyzed 121,200
On Coverity Scan since Feb 23, 2014
Last build analyzed a while ago
   
Language C/C++
Repository URL http://fmt.cs.utwente.nl/tools/scm/ltsmin.git
Homepage URL http://fmt.cs.utwente.nl/tools/ltsmin/
License BSD3Clause (BSD 3-Clause "New" or "Revised" License )

Want to view defects or help fix defects?

 Add me to project

About Coverity Scan Static Analysis

Find and fix defects in your C/C++, Java, JavaScript or C# open source project for free.

Coverity Scan tests every line of code and potential execution path. The root cause of each defect is clearly explained, making it easy to fix bugs.

Would you like to view the project defects, or help improve its quality by fixing defects?

 Add me to project