Dennis Dams Kedar S. Namjoshi Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. 138-160 2005 conf/fmco/2005 FMCO http://dx.doi.org/10.1007/11804192_7 db/conf/fmco/fmco2005.html#DamsN05