Group: edu.psu.cse.siis - All Dependencies

icon
coal-strings 0.1.2
@edu.psu.cse.siis

String Analysis for COAL · String Analysis for the COAL Solver.

Sep 17, 2015
1 usages
0 stars
icon
coal 0.1.7
@edu.psu.cse.siis

The COAL Solver · The COAL constant propagation solver for complex object types.

Sep 17, 2015
1 usages
6 stars
icon
ic3 0.2.0
@edu.psu.cse.siis

IC3: Inter-Component Communication Analysis in Android · The IC3 tool for inferring Inter-Component Communication in Android

Sep 17, 2015
26 stars

Advertisement

Top Dependency Usages

junit
icon @junit
Feb 13, 2021
95.1k usages
8.5k stars
scala-library
icon @org.scala-lang
Jun 02, 2023
69.4k usages
14.3k stars
slf4j-api
icon @org.slf4j
Mar 17, 2023
51k usages
2.1k stars
guava
icon @com.google.guava
Jul 31, 2023
27.1k usages
50.1k stars
logback-classic
icon @ch.qos.logback
Aug 09, 2023
25k usages
2.7k stars
More Dependencies ❯