There is a newer version of this record available.

Software Open Access

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

Bembenek, Aaron; Greenberg, Michael; Chong, Stephen

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.

Files (456.7 MB)
Name Size
formulog-artifact-image.tar.gz
md5:0e70a4fd7b80dfe27b66c94761e9f93d
456.7 MB Download
LICENSE.txt
md5:86d3f3a95c324c9479bd8986968f4327
11.4 kB Download
README.md
md5:8cae28e4ccf46644a15a358ac21d9b88
7.1 kB Download
64
11
views
downloads
All versions This version
Views 6442
Downloads 113
Data volume 2.4 GB913.4 MB
Unique views 4732
Unique downloads 92

Share

Cite as