Popular repositories Loading

1. formulog formulog Public

   Datalog with support for SMT queries and first-order functional programming

   Java 171 10

2. shill shill Public

   Scripting with Least Privilege

   C 110 2

3. AbcDatalog AbcDatalog Public

   Datalog that's as easy as ABC.

   Java 67 8

4. cs152-lecture-code cs152-lecture-code Public

   Code from CS152 lectures

   Jupyter Notebook 14 3

5. accrue-bytecode accrue-bytecode Public

   Interprocedural Java byte code analysis framework together with several analyses. Notably includes a multi-threaded points-to analysis (flow-sensitive and flow-insensitive) and a PDG construction a…

   Java 8

6. dminor-in-formulog dminor-in-formulog Public

   A Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.

   Java 5