Popular repositories Loading

1. ic3 ic3 Public

   IC3: Inter-Component Communication Analysis in Android

   Java 42 20

2. coal coal Public

   COAL Constant Propagation Solver

   Java 9 4

3. primo primo Public

   The PRIMO tool for static Intent resolution and probabilistic value inference

   Python 2 5

4. CaCTUs CaCTUs Public

   Building a Privacy-Preserving Smart Camera System (PETS 2022)

   Java 2 1

5. pfwall pfwall Public

   Process Firewall

   C 1 2

6. soot soot Public

   Forked from soot-oss/soot

   Soot - A Java optimization framework

   Java