Published September 19, 2020
| Version v0.1.0
Software
Open
Formulog: Datalog for SMT-Based Static Analysis (OOPSLA 2020 Artifact)
Authors/Creators
- 1. Harvard University
- 2. Pomona College
Description
This is the artifact corresponding to the paper "Formulog: Datalog for SMT-Based Static Analysis" by Aaron Bembenek, Michael Greenberg, and Stephen Chong, which has been conditionally accepted at OOPSLA 2020. A newer version (v0.1.1) has the same material, but includes a few bug fixes.