Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Static Analysis Symposium 2021 Artifacts
Published July 31, 2021 | Version v1
Conference paper Open

Automatic Synthesis of Data-Flow Analyzers

Authors/Creators

  • Xu, Xuezheng1
  • Wang, Xudong1
  • Xue, Jingling1
  • 1. UNSW

Description

Artifacts of Automatic Synthesis of Data-Flow Analyzers

Files

SAS2021_artifact_60.txt

Files (5.8 GB)

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
All versions This version
Views

Total views

224 224
Downloads

Total downloads

114 114
Data volume

Total data volume

380.9 GB 380.9 GB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.5150273
DOI Badge

DOI

10.5281/zenodo.5150273

Markdown

[![DOI](https://zenodo-rdm.web.cern.ch/badge/DOI/10.5281/zenodo.5150273.svg)](https://doi.org/10.5281/zenodo.5150273)

reStructuredText

.. image:: https://zenodo-rdm.web.cern.ch/badge/DOI/10.5281/zenodo.5150273.svg
  :target: https://doi.org/10.5281/zenodo.5150273

HTML

<a href="https://doi.org/10.5281/zenodo.5150273"><img src="https://zenodo-rdm.web.cern.ch/badge/DOI/10.5281/zenodo.5150273.svg" alt="DOI"></a>

Image URL

https://zenodo-rdm.web.cern.ch/badge/DOI/10.5281/zenodo.5150273.svg

Target URL

https://doi.org/10.5281/zenodo.5150273
Resource type
Conference paper
Publisher
Zenodo

Rights

License
cc-by-4.0 icon 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

Citation

Export

Technical metadata

Created
July 31, 2021
Modified
August 2, 2021

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies