Download edu.psu.cse.siis JAR files with all dependencies

ic3 from group edu.psu.cse.siis (version 0.2.0)

The IC3 tool for inferring Inter-Component Communication in Android

Group: edu.psu.cse.siis Artifact: ic3
Show all versions Show documentation Show source

4 downloads

Artifact ic3
Group edu.psu.cse.siis
Version 0.2.0
Last update 17. September 2015
Organization Systems and Internet Infrastructure Security Laboratory
URL http://siis.cse.psu.edu/ic3/
License Apache 2.0
Dependencies amount 8
Dependencies jsch, mysql-connector-java, slf4j-api, commons-cli, coal, infoflow, infoflow-android, protobuf-java,
There are maybe transitive dependencies!

coal from group edu.psu.cse.siis (version 0.1.7)

The COAL constant propagation solver for complex object types.

Group: edu.psu.cse.siis Artifact: coal
Show all versions Show documentation Show source

2 downloads

Artifact coal
Group edu.psu.cse.siis
Version 0.1.7
Last update 16. September 2015
Organization Systems and Internet Infrastructure Security Laboratory
URL http://siis.cse.psu.edu/coal/
License Apache 2.0
Dependencies amount 3
Dependencies slf4j-api, commons-cli, coal-strings,
There are maybe transitive dependencies!

coal-strings from group edu.psu.cse.siis (version 0.1.2)

String Analysis for the COAL Solver.

Group: edu.psu.cse.siis Artifact: coal-strings
Show all versions Show documentation Show source

0 downloads

Artifact coal-strings
Group edu.psu.cse.siis
Version 0.1.2
Last update 16. September 2015
Organization not specified
URL http://siis.cse.psu.edu/coal/
License Apache 2.0
Dependencies amount 1
Dependencies soot,
There are maybe transitive dependencies!

Page 1 from 1 (items total 3)