KimHyungSub / Robotic-vehicle-software-tutorialLinks
☆11Updated 11 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:
- PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models☆40Updated 2 weeks ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆327Updated 6 months ago
- A curated list of awesome directed fuzzing research papers☆568Updated 2 weeks ago
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆32Updated 5 months ago
- Policy-Guided Fuzzing for Robotic Vehicles☆40Updated 2 years ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆14Updated 2 years ago
- ☆66Updated 2 years ago
- ☆96Updated 2 months ago
- Static Analysis Course☆81Updated 3 months ago
- ☆28Updated 3 years ago
- 20 benchmark programs☆51Updated 4 years ago
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Updated 2 years ago
- ☆48Updated last year
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆27Updated 5 months ago
- Repository for monolithic firmware blobs☆87Updated 3 years ago
- ☆70Updated last year
- QEMU-based Memory Sanitizer for binary software.☆19Updated last month
- ☆28Updated 4 months ago
- ☆22Updated last month
- Pre-built bitcode files for the Linux kernel☆22Updated 6 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆40Updated 2 weeks ago
- ☆100Updated 8 months ago
- ☆38Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Updated 2 years ago
- The code and dataset of the paper.☆15Updated 8 months ago
- A Specification-Guided Approach for Firmware Emulation☆44Updated 8 months ago
- Recent symbolic execution papers and tools.☆182Updated 7 months ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- ☆26Updated last month
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆253Updated last year