text: ----------------------------------------------------------------------------
  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.
  