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:
- ☆72Updated 8 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Updated 10 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
- VFCFinder: Searching for the Missing Vulnerability Fixing Commits☆29Updated 2 years ago
- A tool that can be used to learn state machines from implementations.☆68Updated last month
- Home page for this github organization☆22Updated 7 years ago
- Code from MSc thesis on combining learning and fuzzing☆19Updated 7 years ago
- ☆42Updated 3 years ago
- Sys, but no longer in Haskell☆19Updated 3 years ago
- Pythia (extends AFL with Predictions)☆66Updated 4 years ago
- FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse s…☆102Updated last week
- ☆91Updated 3 months ago
- ☆38Updated 8 months ago
- 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
- Fuzzing Coreutils with AFL on kubernetes☆13Updated 6 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Updated 3 years ago
- POV templates and compilation support for CGC binaries.☆10Updated 3 years ago
- Open-source code for RFCNLP paper.☆57Updated 3 years ago
- Python Symbolic Execution☆72Updated 6 years ago
- KLEE / CSE Project☆48Updated 5 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- Dynamic analysis framework for Python☆81Updated 2 weeks ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆27Updated 5 years ago
- Semantic Crash Bucketing☆16Updated 5 years ago
- ☆25Updated 4 years ago
- User Guided API Misuse Detection☆30Updated 3 years ago
- An evolutionary, coverage-guided greybox network protocol fuzzer☆21Updated 4 years ago
- Public BanditFuzz Repo☆12Updated 5 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆83Updated 5 years ago