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 ) |
Preview - Project Summary
Want to view defects or help fix defects?
Add me to projectAbout 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.
