Automotive safety bus reverse engineering
As part of CMM (Code Maturity Management), a large German car maker wanted to turn the source code of its vehicles' safety bus into a functional model and use it for incident analysis and compatibility management.
Jenomics wrote the parser that turns the C code into an AST (abstract syntax tree) and provided it as a DLL via a JNI interface in the CapeC tool.