Select a product category to browse:

FrontC: FrontC is C parser written in OCAML supporting C99 syntax and GCC extensions. It provides several services around the C language.
GLISS: a Generator of Library for Instructions-Set-Simulators
GLISS2: Version 2 of GLISS ISS generator.
OTAWA: OTAWA - Open Tool for Adaptative WCET Analysis - allows performing static analyses on binary code in order to compute Worst Case Execution Time. OTAWA has been designed to support multiple architecture,to provide a framework easily extensible which already include several WCET computation methods.
Trash: Pour pouvoir effacer des bugs (spam,...)
oRange: oRange is a tool that parse C files and generates the bounds of loops, maximum and total number of iterations.