cite-effect

So you need to

understand legacy programs,
validate control programs formally,
and refactor code ?

cite-effect is a command-line tool for static code analysis. It reports :

call tree - from all entry points and/or to a particular callee function;
call paths to accesses of a particular variable (read and/or write).

By the use of a database it is suitable for large programs (30K+ lines).

It is designed with textual output for integration into your familiar IDE such as jEdit or emacs.

It features an original PEG interpreter.

Accept using cite-effect under the terms of the GNU GPL (from Free Software Foundation), and download it for free.

News

May 2009 - version 1.4 development started
NEW ! allows search patterns (not just search strings). E.g. cite-effect '-to:ERR_*'

Apr 12th, 2007 - version 1.3 released
NEW ! short-form command
NEW ! shorter output
suitable for C code validation;
binaries available for Windows XP, GNU/Linux and OS X;
source code common to Windows XP, GNU/Linux and OS X;
for beta tests

Apr 7th, 2007 - package i386-win32 version 1.1 released.
suitable for C code validation; Windows XP platform. For beta tests.

Nov 20th, 2006 - package i386-linux version 1.0 released.
suitable for C code validation; GNU/Linux platform. For beta tests.

July 12th, 2006 - package src-nix version 1.0 published
suitable for C code validation; GNU/Linux platform. For alpha compilation and tests.

June 17th, 2006 - version 1.0 released
suitable for C code validation; OS X. For beta tests.

...

Oct 30, 2005 - first version released

See our :

For developers :

internals

About us