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.