Documentation
Documentation
All the documentation
you need !
PLUG-INS
E-ACSL
Runtime Verification Tool
Read
More
Evolved Value Analysis (EVA)
Automatically computes variation domains for the variables of the program.
Read
More
Impact analysis
Highlights the locations in the source code that are impacted by a modification.
Read
More
Jessie
A deductive verification plug-in.
Read
More
Metrics calculation
Allows the user to compute various metrics from the source code.
Read
More
Mthread
Analyzes concurrent C programs, taking into account all possible thread interactions. Provides precise information about shared variables, which mutex protects a part of the code, etc.
Read
More
PathCrawler
PathCrawler automatically finds test-case inputs to ensure coverage of a C function. It can be used for structural unit testing, as a complement to static analysis or to study the feasible execution paths of the function.
Read
More
Scope & Data-flow browsing
Allows the user to navigate the dataflow of the program, from definition to use or from use to definition.
Read
More
Semantic constant folding
Makes use of the results of the EVA plug-in to replace, in the source code, the constant expressions by their values.
Read
More
Spare code
Removes "spare code", code that does not contribute to the final results of the program.
Read
More
Occurrence analysis plug-in
Also provided as a simple example for new plug-in development, this plug-in allows the user to reach the statements where a given variable is used.
Read
More
Studia
Studia helps with EVA case studies on the GUI.
Read
More
Variadic
Variadic simplifies variadic functions for other plug-ins.
Read
More
WP
Deductive proofs of ACSL contracts.
Read
More
ACSL (ANSI/ISO-C Specification Language)
ACSL Reference Manual
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industrys
standard dummy text ever since the 1500s, when an unknown printer took...