Software Open Access
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.
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 |
All versions | This version | |
---|---|---|
Views | 201 | 153 |
Downloads | 31 | 19 |
Data volume | 10.3 GB | 7.8 GB |
Unique views | 174 | 140 |
Unique downloads | 24 | 16 |