Java String Analyzer ist ein Programm, um den Fluss von Strings und String-Operationen in Java-Programmen zu analysieren. Für jeden String-Ausdruck berechnet es einen endlichen Automaten, der eine Obergrenze der Werte bereitstellt, die zur Laufzeit auftreten können. (non)