CoFlo

Just made a small improvement to the Live Demo of the new reports announced here.  The demo now shows the control flow graphs for multiple files. BTW, it seems I didn’t mention this in the original announcement: for the curious, … Continue reading →

Just made a small improvement to the Live Demo of the new reports announced here.  The demo now shows the control flow graphs for multiple files. BTW, it seems I didn’t mention this in the original announcement: for the curious, … Continue reading →

I’ve uploaded another teaser showcasing some of the work going into the CoFlo 0.0.5 release.  The subject this time is the enhancement of the HTML reports CoFlo generates.  See the live demo of the ongoing work here. Note:  The live demo … Continue reading →

I’ve uploaded another teaser showcasing some of the work going into the CoFlo 0.0.5 release.  The subject this time is the enhancement of the HTML reports CoFlo generates.  See the live demo of the ongoing work here. Note:  The live demo … Continue reading →

Just added a little teaser from the ongoing work towards CoFlo 0.0.5 to the Gallery.

Just added a little teaser from the ongoing work towards CoFlo 0.0.5 to the Gallery.

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 ... [More] 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 Files page for links to the source distribution. [Less]

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 ... [More] 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 Files page for links to the source distribution. [Less]

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. … Continue reading →

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. … Continue reading →