Software Open Access

Artifact for the ISSTA 2021 Paper: Type and Interval aware Array Constraint Solving for Symbolic Execution

Ziqi Shuai; Zhenbang Chen

This is the artifact for ISSTA 2021 paper#451 "Type and Interval aware Array Constraint Solving for Symbolic Execution". The artifact contains a Docker image with source code of SE-Array, the LLVM bitcode of 75 benchmark programs, and the necessary scripts to reproduce our experimental results.

Files (574.3 MB)
Name Size
ISSTA21-AE.zip
md5:e21d61fe8ef91afa08a76718ce4fea70
574.3 MB Download
278
41
views
downloads
All versions This version
Views 27897
Downloads 4120
Data volume 11.5 GB11.5 GB
Unique views 21485
Unique downloads 3012

Share

Cite as