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

 

CoFlo 0.0.3 Released

CoFlo 0.0.3 has been released.  This release brings:

  • Marked improvements in ease of installation, particularly in relation to the Boost and DParser libraries.
  • An expanded set of supported platforms.  CoFlo 0.0.3 has been tested on the following platforms:
    • Cygwin
    • Both x86 and x86_64 variants of the following Linux distributions:
      • Fedora 15
      • Fedora 16
      • Mandriva 2011
      • openSUSE 11.3
      • openSUSE 11.4
      • openSUSE 12.1
      • Ubuntu 11.10

Head on over to the Downloads page for the source code.

Thank you for your interest in CoFlo,

Gary R. Van Sickle

CoFlo 0.0.1 Released

The day has finally arrived: CoFlo 0.0.1 has been released to the general public.

CoFlo is a Free and Open Source source code analysis tool which generates and analyzes control flow graphs from C and C++ source.  CoFlo is distributed under the terms of the GNU General Public License Version 3.

CoFlo’s ultimate target audience is all developers in need of a deeper inspection, analysis, understanding, and visualization of their C and C++ source code.  As of this first alpha release however, CoFlo’s target audience is early adopters who fit that description: Version 0.0.1 of CoFlo, while usable and arguably even useful, is very much in the early stages of development.  Expect CoFlo’s abilities to improve dramatically over the next several releases.

Check out the Gallery, the post below, and the User’s Manual for a small taste of what CoFlo can already do.  If that piques your interest, head on over to the Downloads area, grab the source code, and start putting CoFlo to use!

Thank you for visiting the CoFlo web site,

Gary R. Van Sickle