STatic ( LLVM ) Object Analysis Tool : Stoat

Stoat is a tool which identifies realtime safety hazards. The primary use is to analyze programs which need to perform hard realtime operations in a portion of a mixed codebase. Stoat traverses the callgraph of a program to identify which functions can be called from a root set of functions which are expected to be realtime. If any unsafe function which could block for an unacceptable amount of time is found in the set of functions called by a realtime function, then an error is emitted to indicate where the improper behavior can be found and what backtrace is responsible for its call.