Description
Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software.
Details
- Listing categories Static analysis / Modeling
- Licence Open Source
- Status Active
- Supported Technology C/C++
- User Interface Command line
Contact
- E-mail Florent.Kirchner@cea.fr
- Website http://frama-c.com
Post New Review
You must be logged in to post a comment.