Linear-time Temporal Logic guided Greybox Fuzzing
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/5370735
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2022-07-17
