static analysis scala

statische Analyse-Scala

Statische Analyse von Scala -Programmen - Ein Konzept

Ändern Sie den Klassenpfad von Soot in TSA_Main auf den absoluten Pfad der jeweiligen Dateien, die genannt werden.

Options.v (). Set_soot_classpath ("/Absolute/path_to/static-analysis-scala/bin: /absolute/path_to/jdk1.7.0_60/jre/lib/rt.jar: /absolute/path_to/scala/scala/scala-2.10.3/lib/scala-library.jara.10.3/lib/scala-library.jar.10.10.3/Scala-library.jar"));