Awesome Open Source

Programming Languages

Search results for fuzzing symbolic execution

symbolic-execution x

24 search results found

Crosshair ⭐ 924

An analysis tool for Python that blurs the line between testing and type systems.

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Deepstate ⭐ 782

A unit test-like interface for fuzzing and symbolic execution

Symbolic Execution ⭐ 412

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Symqemu ⭐ 267

SymQEMU: Compilation-based symbolic execution for binaries

Fuzzball ⭐ 212

FuzzBALL: Vine-based Binary Symbolic Execution

Fuzzing_paper ⭐ 192

fuzzing related paper

Seeding fuzzers with symbolic execution

PASTIS: Collaborative Fuzzing Framework

AI based fuzzer based on imitation learning

Oss Sydr Fuzz ⭐ 99

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

Fuzzing tutorial with easy to learn labs 🚀

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

Kirenenko ⭐ 69

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

Ttexplore ⭐ 47

TTexplore is a library that performs path exploration on binary code using symbolic execution

FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.

Intriguer ⭐ 33

Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing

Fuzzification ⭐ 26

We hinder fuzzing

Concolic analysis tool for Java

Ml4sec Papers ⭐ 18

Research papers on ML for security

Interrupt_analysis ⭐ 10

Sydr Benchmark ⭐ 8

Sydr benchmark applications

Related Searches

Fuzzing Fuzzer (433)

Python Fuzzing (353)

C Fuzzing (218)

Security Fuzzing (155)

C Plus Plus Fuzzing (114)

Testing Fuzzing (102)

Code Coverage Fuzzing (96)

Python Symbolic Execution (75)

Fuzzing Fuzz Testing (65)

1-24 of 24 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.