BOB4Drone / 4D-Fuzzer
4D Fuzzer is a fuzzer for fuzzing programs that use MAVLink written in Python3.
☆11Updated 3 years ago
Alternatives and similar repositories for 4D-Fuzzer:
Users that are interested in 4D-Fuzzer are comparing it to the libraries listed below
- This project was conducted by the 10th KITRI BoB (Best of the Best), and recorded what we have done for vulnerability analysis of drones.☆9Updated 3 years ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆15Updated last year
- 본 프로젝트는 KITRI BoB(Best of the Best) 10기에서 진행한 프로젝트로, 드론에 대한 취약성 연구를 진행한 내용을 기록하였습니다.☆36Updated 3 years ago
- 웹 브라우저 취약점 탐지 자동화 프로젝트☆10Updated 3 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- ☆10Updated 4 years ago
- Dockerfile for Pwnable☆13Updated 3 months ago
- Repository for monolithic firmware blobs☆73Updated 3 years ago
- Unveiling Bluetooth L2CAP Vulnerabilities via State Cluster Fuzzing with Target-Oriented State Machines☆23Updated last year
- This is the public release of the code of our paper titled "Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Check…☆20Updated last year
- ☆51Updated last year
- Real firmware fuzz-tested in P2IM paper☆24Updated 4 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆45Updated last year
- ☆18Updated 2 years ago
- Main HALucinator branch☆41Updated last year
- Inferred Model-based Fuzzer☆110Updated 3 years ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆35Updated 4 years ago
- A cross platform framework to recover driver's communication interface.☆11Updated 4 years ago
- 2018s-IS521☆8Updated 6 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆32Updated last year
- ☆65Updated 5 months ago
- UT based automated fuzz driver generation☆166Updated 3 months ago
- The repo for V0Finder (Security 21)☆26Updated 3 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆47Updated 6 months ago
- A tool for comparing cellular layer 3 protocol messages between the specification documents and baseband implementations☆47Updated 4 years ago
- BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing☆29Updated last year
- ☆39Updated 5 months ago
- ☆93Updated last year
- seed files used in UNIFUZZ experiments☆12Updated 4 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated last year