KimHyungSub / Robotic-vehicle-software-tutorialLinks
☆12Updated last year
Alternatives and similar repositories for Robotic-vehicle-software-tutorial
Users that are interested in Robotic-vehicle-software-tutorial are comparing it to the libraries listed below
Sorting:
- Policy-Guided Fuzzing for Robotic Vehicles☆41Updated 2 years ago
- A curated list of awesome directed fuzzing research papers☆578Updated 3 weeks ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆334Updated last week
- ☆28Updated 3 years ago
- ☆26Updated 2 months ago
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆33Updated 6 months ago
- Unit test firmware evaluated in P2IM paper☆11Updated 4 years ago
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆54Updated last year
- Static Analysis Course☆84Updated last month
- ☆22Updated last year
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆252Updated last year
- ☆69Updated 2 years ago
- ☆97Updated 3 months ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Updated 5 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆14Updated 2 years ago
- ☆19Updated 4 months ago
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆370Updated 6 months ago
- ☆26Updated this week
- ☆108Updated 9 months ago
- The code and dataset of the paper.☆15Updated 9 months ago
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆28Updated 6 months ago
- Lifting network implementation to precise format specification☆23Updated 9 months ago
- ☆21Updated last year
- ☆12Updated 7 months ago
- ☆32Updated 2 months ago
- TFA project for indirect call analysis☆10Updated 10 months ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆33Updated 8 months ago
- FirmSec Dataset☆46Updated 3 months ago
- 20 benchmark programs☆52Updated 4 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆26Updated last year