☆12Jan 11, 2025Updated 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:
- ☆23Aug 30, 2025Updated 6 months ago
- Policy-Guided Fuzzing for Robotic Vehicles☆42Sep 18, 2023Updated 2 years ago
- Compartmentalization using hardware and software techniques.☆12Aug 28, 2025Updated 6 months ago
- My modular neovim configuration (deprecated)☆11Feb 16, 2023Updated 3 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆12Feb 10, 2026Updated 3 weeks ago
- RTSA-API-Samples☆13Jun 4, 2025Updated 9 months ago
- ☆12Jul 13, 2018Updated 7 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Nov 10, 2020Updated 5 years ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆18Sep 12, 2024Updated last year
- ☆17Sep 23, 2024Updated last year
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆17Feb 21, 2024Updated 2 years ago
- An external project example using SVF as a library☆24Dec 17, 2025Updated 2 months ago
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆35Jul 7, 2025Updated 7 months ago
- Dynamic Vulnerability Discovery for Smart Contracts☆29Jul 12, 2023Updated 2 years ago
- 在实验楼学习的C语言项目，2048小游戏。☆25Dec 1, 2016Updated 9 years ago
- ☆25Jun 21, 2022Updated 3 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- ☆26Nov 16, 2023Updated 2 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆30Nov 4, 2023Updated 2 years ago
- CovRL-Fuzz: Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation☆41Nov 10, 2024Updated last year
- ☆37Aug 21, 2025Updated 6 months ago
- Secure boot for 32-bit Microcontrollers!☆38Feb 16, 2026Updated 2 weeks ago
- ☆42Aug 4, 2020Updated 5 years ago
- Practical Data-Only Attack Generation☆44Jun 7, 2024Updated last year
- The Laboratory of Computational Intelligence for RADAR (CI4R)☆51Jul 9, 2025Updated 7 months ago
- ☆45Nov 18, 2022Updated 3 years ago
- SBPF virtual machine☆93Updated this week
- A ardupilot log to MATLAB converter☆58Sep 26, 2025Updated 5 months ago
- angr's exploration technique to perform taint analysis☆65Mar 26, 2020Updated 5 years ago
- ☆71Nov 15, 2025Updated 3 months ago
- The ISLa (Input Specification Language) language & solver.☆71Jul 1, 2024Updated last year
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆83Dec 17, 2024Updated last year
- Target-centric program analysis.☆76Feb 9, 2026Updated 3 weeks ago
- Run CARLA on an EC2 VM☆84Aug 11, 2020Updated 5 years ago
- ☆102May 27, 2024Updated last year
- Semantic program repair system for C programs☆101Sep 26, 2022Updated 3 years ago
- ☆106Jan 18, 2024Updated 2 years ago
- ☆134May 6, 2024Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Feb 13, 2022Updated 4 years ago