Official LSV Web Site

LSV Secsi

Tools of the Csur Project

The csur project comes with a set of tools. The architecture of tools follows the scheme defined in the documentation section (see OVERVIEW ).

The csur compiler : csurcc and csurar

csurcc compiles source code and generates a table containing all functions of the source code.

The csur C analyzer : csurrun

csurrun is a generic C code analyzer. This analyzer is a classical (see references ) C static analyzer. We use csurcc to generate control flow graphs for each function in programs. Then, csurrun performs functions analysis and generates dumps of abstract memory at each control points. Actually this analyzer works on: In progress Results of the analysis can be directly viewed in the source code using csurrun (here, a capture of a xterm result ). More informations will be soon availiable.

REFERENCES



© Copyright Fabrice Parrennes, March 2004

About LSV