The 1.1 version release of stoat is now available.
Stoat is a STatic (LLVM) Object Analysis Tool which is used to perform
static analysis on C/C++ projects involving realtime constraints.
The analysis traces feasible callgraphs within a program and detects
cases where it may be possible to invoke a non-realtime function such as
malloc from a realtime context.
Hopefully this will help developers find possible bugs which other tools
or manual code review might miss.
New from the 1.0 release
- Basic Dump Output
- Support For Try{}Catch{}
- Support For Rtosc Callbacks
- Wildcard Support For Function Specs
- stoat-compile/stoat-compile++ utility
- Parallel Analysis
- Namespace Support
- Translation Unit Local Template Alias Support
- Multiple Inheritance Vtable Support
To get the source or to report any issues, just see the github page:
https://github.com/fundamental/stoat
Enjoy,
--Mark McCurry