Published September 3, 2021 | Version v9
Dataset Restricted

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

Restricted

The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/5433974">Log in</a> to check if you have access.