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
  ☆19Updated 6 years ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆37Updated 7 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆29Updated 2 years ago
• qhanam / Java-RSRepair
  A Java version of the automatic program repair described by RSRepair and GenProg.
  ☆10Updated 9 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 11 months ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated last year
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• sola-da / StaticBugCheckers
  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…
  ☆11Updated 6 years ago
• sola-st / SemSeed
  ☆25Updated 4 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 5 years ago
• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆41Updated last year
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆23Updated 10 years ago
• avatartwo / avatar2-examples
  Examples demonstrating the usage of avatar²
  ☆27Updated last year
• SunghoLee / HybriDroid
  Static Analysis Framework for Android Hybrid Applications
  ☆25Updated 4 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated last month
• department-of-reuse / DoR
  The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)
  ☆17Updated 6 months ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• messlabnyu / irqdebloat
  ☆14Updated 3 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• kupl / ParaDySE
  ☆33Updated 6 years ago
• strongcourage / ML4Sec-papers
  Research papers on ML for security
  ☆34Updated 4 years ago
• unibuc-cs / river
  Fuzz testing framework for binary programs using AI
  ☆51Updated last year
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago