Automatic Synthesis of Data-Flow Analyzers

Published July 31, 2021 | Version v1

Conference paper Open

Artifacts of Automatic Synthesis of Data-Flow Analyzers

Files

Name	Size	Download all
SAS-2021-DFASy.ova md5:047e9a267dd0e9299012a571c0be8263	5.8 GB	Download
SAS2021_artifact_60.txt md5:d803e1a159bb7e17566d9908a27d14e8	3.4 kB	Preview Download

224

Views

114

Downloads

Show more details

DOI

Resource type

Conference paper

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more