Coverity Scan: kleeforktestanalysis

Project Name kleeforktestanalysis
Lines of code analyzed -
On Coverity Scan since May 01, 2024
Last build analyzed N/A
   
Language C/C++
Repository URL https://github.com/lunal1ght/klee_fork
Homepage URL 312
License AFL (Academic Free 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 help improve its quality by submitting build and fixing defects?

 Add me to project