Pinned Loading

1. plast-lab/doop plast-lab/doop Public

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

   Java 163 22

2. soot-oss/soot soot-oss/soot Public

   Soot - A Java optimization framework

   Java 2.9k 710

3. wala/WALA wala/WALA Public

   T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

   Java 763 223

4. souffle-lang/souffle souffle-lang/souffle Public

   Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

   C++ 931 208

5. anantoni.github.io anantoni.github.io Public

   Forked from github/personal-website

   Code that'll help you kickstart a personal website that showcases your work as a software developer.

   HTML