Skip to content

This is my personal fork of the official jandom-devel/Jandom repository. WARNING! This is subject to frequent rebasing.

License

Notifications You must be signed in to change notification settings

amato-gianluca/Jandom

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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/].

About

This is my personal fork of the official jandom-devel/Jandom repository. WARNING! This is subject to frequent rebasing.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Scala 85.0%
  • F* 7.3%
  • R 4.6%
  • Java 2.6%
  • HTML 0.3%
  • C# 0.1%
  • C 0.1%