static analysis scala

análisis de análisis estático

Análisis estático de programas Scala: un concepto

Cambie la clase de hollín en tsa_main a la ruta absoluta de los archivos respectivos mencionados su.

Opciones.v (). Set_soot_classpath ("/absoluta/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.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.jar.Jar