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 ------------------------------------------------------------------------------ _______________________________________________ BRL-CAD Developer mailing list brlcad-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/brlcad-devel
