0xricksanchez / paper_collection Sponsor Star 1.2k Code Issues Pull requests Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read linux iot embedded kernel paper linux-kernel fuzzing exploitation vulnerability-detection mitigations rca sanitizer directed-fuzzing hybrid-fuzzing fuzzing-binaries guided-fuzzing root-cause Updated Jun 3, 2024
sslab-gatech / qsym Star 628 Code Issues Pull requests QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing binary fuzzing concolic-execution hybrid-fuzzing Updated Nov 23, 2022 C
ispras / oss-sydr-fuzz Star 129 Code Issues Pull requests OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer DSE) open source software. security dse symbolic-execution symbolic fuzzing fuzz-testing vulnerabilities stability libfuzzer dynamic-symbolic-execution concolic-execution concolic oss-fuzz hybrid-fuzzing sydr sydr-fuzz Updated Sep 25, 2024 C
evanmak / savior-source Star 126 Code Issues Pull requests source code for savior fuzzer hybrid-fuzzing Updated Oct 1, 2020 LLVM
ispras / crusher Star 36 Code Issues Pull requests dse static-analysis symbolic-execution symbolic fuzzing binary-analysis dynamic-symbolic-execution concolic-execution concolic coverage-guided-fuzzing bug-detection hybrid-fuzzing Updated Aug 16, 2024 Python
seclab-yonsei / intriguer Star 33 Code Issues Pull requests Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing fuzzing hybrid-fuzzing Updated Nov 22, 2023 C
ispras / sydr-benchmark Star 15 Code Issues Pull requests Sydr benchmark applications benchmark dse symbolic-execution symbolic triton fuzzing binary-analysis dynamorio dynamic-symbolic-execution concolic-execution concolic hybrid-fuzzing Updated Jul 25, 2022 C