static analysis scala

Analyse statique

Analyse statique des programmes Scala - un concept

Changez le chemin de classe de Soot dans TSA_MAIN en le chemin absolu des fichiers respectifs mentionnés leur.

Options.v (). Set_soot_classpath ("/ absolu / path_to / static-analysis-scala / bin: /absolute/path_to/jdk1.7.0_60/jre/lib/rt.jar: /absolute/path_to/scala/scala-2.10.3/lib/scala-libry.jar");