static analysis scala

Análise estática-escala

Análise estática dos programas Scala - um conceito

Altere o caminho de classe da fuligem em TSA_Main para o caminho absoluto dos respectivos arquivos mencionados deles.

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");