sfpv [OPTIONS] FILES
stoat is a LLVM based static analysis tool to verify that functions have some listed property through the use of annotations and a basic deduction system. The primary goal of this program is to show realtime safety bugs in audio software, though it should eventually grow to be much more general than this.
- -w, --whitelist FILE
Define a Whitelist File
- -b, --blacklist FILE
Define a Blacklist File
- -r, --recursive DIR
Enable Recursive Search Mode
- -l, --llvm-passes LIB
Specify The Library Containing The Needed LLVM Passes
- -g, --graph-view FILE.png
The Graph View Output File Name
Please report any bugs to the bugtracker http://github.com/fundamental/stoat/issues
stoat was written by Mark McCurry.