Coverity Scan: GaloisInc/smaccmpilot-stm32f4

Project Name GaloisInc/smaccmpilot-stm32f4
Lines of code analyzed 82,829
On Coverity Scan since Feb 13, 2014
Last build analyzed a while ago
   
Language C/C++
Repository URL https://github.com/GaloisInc/smaccmpilot-stm32f4.git
Homepage URL https://github.com/GaloisInc/smaccmpilot-stm32f4
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