Implementations for the Revised Report language
RetDec is a retargetable machine-code decompiler based on LLVM
Just another manual code analysis tool and static analysis tool.
Show dependences of a FreeBSD port as a pseudo graphic tree
A tool for finite state machine analysis and synthesis.
An Open source Analysis and SImulation Toolbox for Fuel Cells
function finder