Pinned Loading

1. doop doop Public

   The official repo of Doop, the declarative pointer analysis framework.

   Java 216 27

2. cclyzer-souffle cclyzer-souffle Public

   CClyzer port to souffle lang

   C++ 20 8

3. HeapDL HeapDL Public

   Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.

   Java 16 1

4. doop-benchmarks doop-benchmarks Public

   C 1

5. plast-lab.github.io plast-lab.github.io Public

   PLaST Lab's GitHub Website

   CSS 1 1