There is a newer version of the record available.

Published September 3, 2021 | Version v4
Dataset Open

Linear-time Temporal Logic guided Greybox Fuzzing

Authors/Creators

  • 1. Anonymous

Description

The LTL-Fuzzer tool, built on top of the AFL fuzzer, is found to be effective in detecting bugs in well-known protocol implementations, such as OpenSSL and Telnet. We use LTL-Fuzzer to reproduce known vulnerabilities (CVEs), to find new or zero-day bugs by checking properties extracted from RFCs (for which CVEs have been assigned), and to find violations of both safety as well as liveness properties in real-world protocol implementations.

This package contains the LTL-Fuzzer tool and data-set in our experiments.

Files

LTLProperties_usedIn_Experiments.pdf

Files (410.8 MB)

Name Size
md5:431a6295bc8a5e13abe1567c0871e3da
14.4 kB Download
md5:6be315d7e74afe37c3f20dc21de36b51
305.8 MB Download
md5:4942023620eda404ba41c3e5063ed979
90.8 kB Preview Download
md5:14986b1ddc53ea44fcf3aed16f79a92b
104.8 MB Download