Statements (74)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
static analysis tool
|
| gptkbp:developedBy |
CEA
|
| gptkbp:firstPublished |
2006
|
| gptkbp:hasFeature |
graphical user interface
command line interface model checking integration with other tools slicing abstract interpretation output in various formats support for version control code annotation customizable analysis interprocedural analysis support for code metrics support for collaborative development support for concurrent programs support for continuous integration support for debugging support for documentation generation support for dynamic analysis support for embedded systems support for formal methods support for performance analysis support for runtime verification support for safety-critical software support for security analysis support for software quality assurance support for theorem proving user-defined properties value analysis support for software maintenance support for code generation support for profiling support for system analysis support for domain-specific languages support for simulation support for automated testing support for code optimization support for legacy code support for real-time systems support for large codebases support for anti-patterns detection support for architecture analysis support for bug detection support for code review support for code smells detection support for code transformation support for compliance checking support for design patterns analysis support for distributed analysis support for framework analysis support for hybrid analysis support for incremental analysis support for library analysis support for model-based design support for modular analysis support for multi-threaded analysis support for multiple C standards support for refactoring support for software engineering best practices support for software evolution support for software reuse support for software sustainability support for static code analysis support for technical debt management support for user-defined analysis support_for_API_analysis |
| https://www.w3.org/2000/01/rdf-schema#label |
Frama-C
|
| gptkbp:language |
C
|
| gptkbp:license |
gptkb:GNU_General_Public_License
|
| gptkbp:provides |
plugins
|
| gptkbp:supports |
C code
|
| gptkbp:usedFor |
formal verification
|