GitHub - dzufferey/picasso: PICASSO: a PI-CAlculus-based Static SOftware analyzer

dzufferey / picasso Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

PICASSO: a PI-CAlculus-based Static SOftware analyzer

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 299 Commits
core		core
frontend		frontend
project		project
.gitignore		.gitignore
LICENSE		LICENSE
README		README
ToDo		ToDo
build.sbt		build.sbt
picasso-proguard.pro		picasso-proguard.pro
runBasic.sh		runBasic.sh
runGraph.sh		runGraph.sh
runPlugin.sh		runPlugin.sh

Repository files navigation

To compile and run Picasso from the sources you will need sbt 0.12 (or a more recent version).
The instructions to download and install sbt are found at http://www.scala-sbt.org/

After compiling Picasso with sbt, Picasso can be run using the runGraph.sh or runBasic.sh scripts.

When proving termination of depth-bounded processes Picasso uses the additional tools:
    ARMC http://www7.in.tum.de/~rybal/armc/,
    Princess http://www.philipp.ruemmer.org/princess.shtml,
    Z3 http://z3.codeplex.com/

Further informations at: http://pub.ist.ac.at/~zufferey/picasso/