dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
Thor  |  TSCheck  |  JSRefactor  |  Artemis  |  TAJS  |  Java String Analyzer  |  XSLT Validator  |  WARlord  |  XSugar  |  Xact  |  JWIG
MONA  |  PALE

• Home
• JavaDoc
• Download

• Main jar file: string.jar
• Extra jar files:
  • automaton.jar from dk.brics.automaton
  • soot.jar (version 2.3.0) - you may want to obtain the newest version of Soot instead
• Full source code and all jar files: string-2.1-1.tar.gz (including dk.brics.automaton 1.11-2 and Soot 2.3.0)
• Test suite: string-test.tar.gz (see Chapter 8 in the manual)
• String analysis examples from the SAS'03 paper:
  • SqlAutomaton.java - builds automaton for SQL syntax
  • AnalyzeSQL.java - the tool for analyzing programs that build SQL expressions dynamically (to build the SQL automaton sql.reg, run java -classpath automaton.jar:. SqlAutomaton sql.reg)
  • AnalyzeReflection.java - the tool for analyzing reflection
  • jsa-benchmarks.tar.gz - collection of benchmark programs