KimHyungSub / Robotic-vehicle-software-tutorialLinks
☆12Updated 10 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:
- ☆28Updated 3 years ago
- Unit test firmware evaluated in P2IM paper☆10Updated 4 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆14Updated last year
- Policy-Guided Fuzzing for Robotic Vehicles☆38Updated 2 years ago
- A curated list of awesome directed fuzzing research papers☆564Updated last week
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆325Updated 6 months ago
- ☆96Updated 8 months ago
- ☆66Updated 2 years ago
- Static Analysis Course☆80Updated 2 months ago
- ☆21Updated 3 weeks ago
- ☆96Updated 2 months ago
- 20 benchmark programs☆51Updated 4 years ago
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆31Updated 4 months ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- ☆21Updated 10 months ago
- Repository for monolithic firmware blobs☆87Updated 3 years ago
- Pre-built bitcode files for the Linux kernel☆22Updated 6 years ago
- A Specification-Guided Approach for Firmware Emulation☆43Updated 7 months ago
- ☆26Updated 2 weeks ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆40Updated last year
- Compartmentalization using hardware and software techniques.☆11Updated 3 months ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Updated 2 years ago
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Updated 2 years ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆250Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Updated 9 months ago
- Recent symbolic execution papers and tools.☆180Updated 6 months ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆46Updated last year
- FirmSec Dataset☆43Updated last month
- ☆48Updated last year
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆362Updated 4 months ago