Extending String analysis in Symbolic Java Pathfinder
by Gideon Redelinghuys for The Java Pathfinder Team
Extend the symbolic execution to allow efficient string analysis of all Java string operations. The implementation should support both automata-based decision procedures for strings as well as bit-vector based approaches. For the former the Java String Analyzer (JSA) system can be used and for the latter HAMPI. The project should include a detailed comparison of these two approaches.