/static-analysis-scala

Static Analysis of Scala Programs - A Concept

Primary LanguageJava

static-analysis-scala

Static Analysis of Scala Programs - A Concept

Change the classpath of Soot in TSA_Main to the absolute path of the respective files mentioned their.

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-2.10.3/lib/scala-library.jar");