Pinned

1. cclyzer cclyzer Public

   A tool for analyzing LLVM bitcode using Datalog.

   C++ 91 14

2. doop doop Public

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

   Java 134 20

3. cclyzer-souffle cclyzer-souffle Public

   CClyzer port to souffle lang

   C++ 17 8

4. 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 14 1

5. native-scanner native-scanner Public

   An analyzer of JNI code that matches native code information with Java code

   Java 19 6