Interesting article in latest issue of subject titled:
"A Differential Approach to Undefined Behavior Detection"
which may describe procedures not used in other static analysis programs.
Article references the authors' website here:
http://css.csail.mit.edu/stack
which contains more info links and a link to the software on github here:
https://github.com/xiw/stack
Best regards,
-Tom