GitHub - jandom-devel/Jandom: An abstract-interpretation based static analyzer written in Scala.

jandom-devel / Jandom Public

Notifications You must be signed in to change notification settings
Fork 10
Star 33

An abstract-interpretation based static analyzer written in Scala.

33 stars 10 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 803 Commits
core		core
extended/src		extended/src
project		project
.gitignore		.gitignore
COPYING		COPYING
README		README
build.sbt		build.sbt

Repository files navigation

This is Jandom, an abstract interpretation based static analyzer written
in Scala. To compile it, you need ''sbt'' (Scala Build Tools) 0.13.5 or 
later [http://www.scala-sbt.org/].

In the main directoy of Jandom, execute "sbt run" to compile and execute
Jandom. If asked about the program to run, choose "JandomGUI". It is 
possible to generate an Eclipse project from the shell with the command 
"sbt buildinfo eclipse".

If the PPL (Parma Polyhedra Library) is installed, it will be used to
extend the available numerical domains. Jandom requies PPL 1.1 or
later [http://bugseng.com/products/ppl/download/ftp/].