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
More info on how stats are collected.
Indexed in
Publication date:
September 19, 2020
DOI:
10.5281/zenodo.4039085

Zenodo DOI Badge

DOI 

10.5281/zenodo.4039085

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4039085.svg)](https://doi.org/10.5281/zenodo.4039085)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4039085.svg
   :target: https://doi.org/10.5281/zenodo.4039085

HTML 

<a href="https://doi.org/10.5281/zenodo.4039085"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4039085.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4039085.svg

Target URL 

https://doi.org/10.5281/zenodo.4039085

Keyword(s):
Formulog Datalog SMT
Meeting:
OOPSLA 2020
License (for files):
Apache License 2.0

Versions

Version v0.1.1 10.5281/zenodo.4039122 Sep 19, 2020
Version v0.1.0 10.5281/zenodo.4039085 Sep 19, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4039084. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export