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 | 201 | 153 |
| Downloads | 31 | 19 |
| Data volume | 10.3 GB | 7.8 GB |
| Unique views | 174 | 140 |
| Unique downloads | 24 | 16 |
Indexed in
- Publication date:
- September 19, 2020
- DOI:
-
- Keyword(s):
- Formulog Datalog SMT
- Meeting:
- OOPSLA 2020
- License (for files):
- Apache License 2.0