Published September 19, 2020 | Version v0.1.1
Software Open

Formulog: Datalog for SMT-Based Static Analysis (OOPSLA 2020 Artifact)

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. This version fixes a few bugs in the original (evaluated) artifact.

Files

LICENSE.txt

Files (509.3 MB)

Name Size Download all
md5:ee9ea06cfc4e0700b766d2ee5dee457c
509.3 MB Download
md5:86d3f3a95c324c9479bd8986968f4327
11.4 kB Preview Download
md5:8cae28e4ccf46644a15a358ac21d9b88
7.1 kB Preview Download