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
201
31
views
downloads
All versions This version
Views 201153
Downloads 3119
Data volume 10.3 GB7.8 GB
Unique views 174140
Unique downloads 2416

Share

Cite as