CoFlo 0.0.4 Released

CoFlo 0.0.4 has been released.  This release contains significant feature enhancements and bug fixes:

  • if() statements now display the conditional expression in CFG output.
  • Fixed segfault with constraints when no violations were found.
  • Many misc improvements to reachability analysis and reporting.
  • Added another multi-file constraints test case, this one slightly more real-world.
  • Added connectedness test.
  • Now adding impossible edges to unconnected blocks during CFG creation.
  • Fixed tests/testsuite.at’s main.cpp check.
  • Fixed broken dependencies which were resulting in the coflo executable not being rebuilt.
  • Passing Autoconf/Automake-determined CPPFLAGS to DParser build now.

See the Downloads page for links to the source distribution, and the online User’s Manual for instructions on how to install CoFlo and get started using it.

As always, thank you for your interest in CoFlo,

Gary R. Van Sickle

 

Be Sociable, Share!

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>