Popular repositories

1. ic3 ic3 Public

   IC3: Inter-Component Communication Analysis in Android

   Java 36 20

2. coal coal Public

   COAL Constant Propagation Solver

   Java 8 5

3. CaCTUs CaCTUs Public

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

   Java 3 1

4. primo primo Public

   The PRIMO tool for static Intent resolution and probabilistic value inference

   Python 2 5

5. pfwall pfwall Public

   Process Firewall

   C 1 2

6. soot soot Public

   Forked from soot-oss/soot

   Soot - A Java optimization framework

   Java