Barghest

Static analysis

Programming language independant

Barghest can take advantage of debug symols if present, though

development toolchain independant

rich machine state