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

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

Sep 17, 2015

1 usages

0 stars

coal 0.1.7

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

Sep 17, 2015

1 usages

6 stars

ic3 0.2.0

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

Sep 17, 2015

26 stars

Feb 13, 2021

95.1k usages

8.4k stars

Jun 02, 2023

69.4k usages

14.2k stars

Mar 17, 2023

51k usages

2.1k stars

Jul 31, 2023

27.1k usages

49k stars

Aug 09, 2023

25k usages

2.7k stars