static analysis scala

Статический анализ-шкала

Статический анализ программ Scala - концепция

Измените группу класса сажи в TSA_MAIN на абсолютный путь соответствующих файлов, упомянутых их.

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