TUDelft-CS4110 / syllabusLinks
Syllabus for CS4110 course at TU Delft
☆12Updated 9 years ago
Alternatives and similar repositories for syllabus
Users that are interested in syllabus are comparing it to the libraries listed below
Sorting:
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆48Updated 2 years ago
- ☆72Updated 8 years ago
- ☆91Updated 3 months ago
- VFCFinder: Searching for the Missing Vulnerability Fixing Commits☆29Updated 2 years ago
- Website for the KLEE project: https://klee-se.org/☆16Updated this week
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated last year
- A tool that can be used to learn state machines from implementations.☆68Updated last month
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Updated 3 years ago
- Code from MSc thesis on combining learning and fuzzing☆19Updated 7 years ago
- ☆27Updated 4 years ago
- User Guided API Misuse Detection☆30Updated 3 years ago
- Lightweight tool for slicing☆35Updated this week
- ☆112Updated 10 months ago
- Research papers on ML for security☆35Updated 5 years ago
- This repository contains a list of papers about software supply chain☆29Updated last year
- Pythia (extends AFL with Predictions)☆66Updated 4 years ago
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆59Updated last year
- PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning☆13Updated 5 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆334Updated last month
- Program Vulnerability Repair via Inductive Inference☆20Updated 2 years ago
- Repository for monolithic firmware blobs☆88Updated 3 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆162Updated 3 years ago
- ☆53Updated 7 months ago
- ☆42Updated 3 years ago
- ☆22Updated 5 years ago
- neural network assisted fuzzer☆412Updated 5 years ago
- ReDeBug Source Code.☆24Updated 2 years ago
- ☆307Updated 4 years ago
- A free, open-source Java library for automata learning algorithms☆222Updated 2 weeks ago
- ☆203Updated 5 months ago