Alternatives and similar repositories for syllabus:

Users that are interested in syllabus are comparing it to the libraries listed below

• praseodym / learning-fuzzing
  Code from MSc thesis on combining learning and fuzzing
  ☆18Updated 6 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 7 years ago
• qhanam / Java-RSRepair
  A Java version of the automatic program repair described by RSRepair and GenProg.
  ☆10Updated 9 years ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 11 months ago
• ericpony / z3py-tutorial
  ☆146Updated last year
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆37Updated 6 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• vrthra / F1
  ☆82Updated 7 months ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• jasantunes / reverx
  A protocol reverse engineer tool written in java.
  ☆29Updated 8 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 9 months ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆57Updated 2 years ago
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆23Updated 9 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• Battelle / PaperMachete
  A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.
  ☆32Updated 7 years ago
• isstac / badger
  ☆20Updated 6 years ago
• RUB-SysSec / EvilCoder
  Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016
  ☆45Updated 8 years ago
• AdaLogics / paper-analyser
  ☆23Updated 3 years ago
• axt / bingraphvis
  ☆43Updated 3 years ago
• CyberGrandChallenge / linux-source-3.13.2-cgc
  DARPA Cyber Grand Challenge Linux source code
  ☆17Updated 9 years ago
• uds-se / AFLplusplus
  AFL++ with support for FormatFuzzer
  ☆13Updated 3 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆103Updated 2 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated 10 months ago
• unibuc-cs / river
  Fuzz testing framework for binary programs using AI
  ☆50Updated last year
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• nettrino / slowfuzz
  ☆53Updated 7 years ago
• bnagy / afl-launch
  Boring tool to launch multiple afl-fuzz instances
  ☆50Updated 7 years ago