Documentation

These pages describe the guideline verification approach and the Type-Based Java String Analyzer tool. The documentation is mainly aimed at users of the tool (programmers); a more theoretical perspective is provided by the papers.
 
 
  • Security Guideline

    introduces the specific application scenario, and shows how the programming guidelines we are focussing on can be formalized to be suitable for the analysis. Please read this first.
     
  • Analyzer

    explains the main features of the Java String Analyzer tool.
     
  • Usage

    gives advice on how to use the prototype try-out form.
     
  • Future

    outlines open work and possible future topics.
     
  • Papers

    lists related resources and in-depth papers.