- 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