KimHyungSub / Robotic-vehicle-software-tutorialLinks
☆12Updated 7 months ago
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☆35Updated last year
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆317Updated 3 months ago
- ☆26Updated last week
- Static Analysis Course☆77Updated this week
- A curated list of awesome directed fuzzing research papers☆540Updated last week
- ☆12Updated 2 weeks ago
- ☆25Updated 3 years ago
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- ☆62Updated last year
- ☆95Updated last week
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆27Updated last month
- 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
- 20 benchmark programs☆48Updated 4 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆29Updated 3 months ago
- ☆45Updated 10 months ago
- ☆21Updated 7 months ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆55Updated 6 months ago
- ☆86Updated last year
- A fuzzing environment for RL, based on Gym and AFL.☆13Updated 4 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆38Updated 11 months ago
- ☆25Updated 3 weeks ago
- ☆37Updated last year
- A Static Differential Analysis Tool of Network Protocol Parsers☆25Updated last year
- ☆87Updated 5 months ago
- ☆11Updated 2 months ago
- ☆79Updated 2 weeks ago
- Repository for monolithic firmware blobs☆84Updated 3 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆96Updated 2 years ago
- Lifting network implementation to precise format specification☆24Updated 4 months ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆13Updated last year