SVL-simulator / simulatorLinks
The repo works as a archive for the SVL simulator without Git LFS initialized.
☆12Updated 4 years ago
Alternatives and similar repositories for simulator
Users that are interested in simulator are comparing it to the libraries listed below
Sorting:
- ☆10Updated 2 years ago
- PlanFuzz is a novel dynamic testing tool for discovering semantic DoS vulnerability in AD behavioral planning (NDSS 2022)☆22Updated 3 years ago
- ☆21Updated 5 years ago
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆35Updated 7 months ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 5 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆12Updated 2 weeks ago
- Artifact for our ADS testing approach published at ICSE 2023☆23Updated 11 months ago
- ☆19Updated 2 years ago
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆16Updated 2 weeks ago
- ☆74Updated 2 years ago
- ☆22Updated last year
- Detect missing check bugs in OS kernels☆113Updated 2 years ago
- To conduct accurate network measurement from the Android kernel layer.☆14Updated 3 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆42Updated 2 years ago
- Data-Driven Software Vulnerability Discovery (SVD)☆13Updated 5 years ago
- ☆50Updated 5 years ago
- Pre-built bitcode files for the Linux kernel☆22Updated 6 years ago
- ☆13Updated 3 years ago
- ☆20Updated 4 years ago
- Labeled vulnerable functions statistics analysis and neural network training☆29Updated 6 years ago
- ☆36Updated 3 years ago
- Recent Paper About Bug Detection☆32Updated 6 years ago
- 20 benchmark programs☆52Updated 4 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆98Updated 2 years ago
- Static Analysis Course☆86Updated last month
- ☆91Updated 3 months ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆45Updated 6 years ago
- ☆102Updated last year
- Program Slicing. Experimental library.☆13Updated 4 years ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆171Updated 2 years ago