forked from jandom-devel/Jandom
-
Notifications
You must be signed in to change notification settings - Fork 0
This is my personal fork of the official jandom-devel/Jandom repository. WARNING! This is subject to frequent rebasing.
License
amato-gianluca/Jandom
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
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 0
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%