----------------------------------------------------------------------------
CodeThorn
----------------------------------------------------------------------------

CodeThorn is a tool for program analysis and verification. It analyzes
C/C++ programs, combining approaches from data flow analysis,
constraint-based analysis, and model checking.

The main focus in the development of CodeThorn is the exploration of
program analysis algorithms and approaches in program verification in
combining above approaches. Therefore the target language is
currently kept small and restircted to a small subset of C/C++.

Most of the analyses are limited to certain subsets of C or C++,
demonstrating a certain approach, or allowing to reproduce published
results.

----------------------------------------------------------------------------
DOCUMENTATION:
----------------------------------------------------------------------------

Documentation can be found in the docs directory.

----------------------------------------------------------------------------
AUTHORS:
----------------------------------------------------------------------------

The authors of CodeThorn are Markus Schordan, Adrian Prantl, Marc Jasper.

----------------------------------------------------------------------------
VERSION:
----------------------------------------------------------------------------

see VERSION_HISTORY.

----------------------------------------------------------------------------
CodeThorn INSTALLATION:
----------------------------------------------------------------------------
1) install ROSE
2) cd projects/CodeThorn/src
   make -j6
   make install

----------------------------------------------------------------------------
LICENSE
----------------------------------------------------------------------------

CodeThorn uses a similar license as the ROSE project. CodeThorn is
maintained as a subproject of ROSE. See COPYING.
