jdvelasq / fuzzy-expert
Fuzzy Expert Systems in Python
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for fuzzy-expert
- Docker image for RISC-V 32/64 development environment, along with Qemu☆23Updated 2 years ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆13Updated 2 months ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆13Updated last year
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆30Updated last year
- ☆33Updated last year
- ☆34Updated 2 years ago
- ☆8Updated 3 months ago
- Rust and C Benchmarks☆12Updated 2 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆9Updated 3 months ago
- ☆33Updated last year
- A fully automated Rust fuzz driver generator☆50Updated last month
- blackhat usa 2022 I attended☆72Updated 2 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆12Updated 2 years ago
- ☆55Updated 8 months ago
- Fuzz Rust code with LibAFL☆57Updated last year
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)☆37Updated last month
- Material and examples for a presentation on static binary analysis.☆39Updated 3 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated 2 years ago
- A Pointer Analysis Framework for Rust☆42Updated last month
- LibAFL components for stateful fuzzing☆43Updated 2 years ago
- AFL bindings for Unicorn-Engine☆68Updated 2 weeks ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆38Updated last year
- This is the project of LearnAFL.☆27Updated 4 years ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- some kernel exploit challenges and cve analysis☆26Updated 5 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆86Updated 3 months ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆79Updated 11 months ago
- A binary analysis framework written in Rust.☆19Updated 10 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆83Updated 3 years ago