STOAT(1)
=======
:doctype: manpage

NAME
----
stoat - STatic Object file Analysis Tool

SYNOPSIS
--------
*sfpv* ['OPTIONS'] FILES

DESCRIPTION
-----------

*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.

OPTIONS
-------

*-w, --whitelist FILE*::
    Define a Whitelist File
*-b, --blacklist FILE*::
    Define a Blacklist File
*-s, --suppression FILE*::
    Define a Suppression 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
*-G, --graph-minimal-view FILE.png*::
    The Minimal Graph View Output File Name
*-S, --shorten-names*::
    Omit Namespaces and Template Arguments in Graph
*-d, --dump FILE.txt*::
    Dump Information Extracted From LLVM IR
*-c, --color*::
    Colorize Output

BUGS
----
Please report any bugs to the bugtracker
    http://github.com/fundamental/stoat/issues

AUTHOR
------
stoat was written by Mark McCurry.
