There is a newer version of the record available.

Published April 29, 2021 | Version v3
Software Open

Grammar-Agnostic Symbolic Execution by Token Symbolization (Artifact)

Creators

  • 1. panweiyu@nudt.edu.cn
  • 2. zbchen@nudt.edu.cn

Description

Grammar-Agnostic Symbolic Execution by Token Symbolization (#515): Artifact

This artifact was used to obtain the results that are presented in the paper.

The artifact is published in docker image. It includes the original symbolic execution and GADSE algorithm that were implemented in jpf-Jdart, coverage-guided fuzzing that were implemented in JQF, grammar-guided black-box fuzzing and the jacoco-based coverage infrastructure that was used to obtain the results from the paper.

Files

artifact.zip

Files (34.5 kB)

Name Size Download all
md5:bc6c3b921e9adb3d03b74cf85968a3b5
34.5 kB Preview Download