ASE 2024 (series) / Artifact Evaluation Track /
Detecting Element Accessing Bugs in C++ Sequence Containers
This is the artifact of the paper Detecting Element Accessing Bugs in C++Sequence Containers. Due to the tool constraints, we are unable to provide fully reusable artifact, so we are applying for an available badge. We have made public our handwritten dataset, real-world project analysis reports, and the source code of our tool. The artifact has been placed on Zenedo for viewing