Alternatives and similar repositories for sage

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

• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 2 years ago
• assist-project / dtls-fuzzer
  Protocol state machine learner and fuzzer for DTLS servers and clients
  ☆39Updated 2 weeks ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year
• eth-sri / learch
  ☆41Updated 2 years ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆73Updated 2 months ago
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆24Updated 5 months ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• bajinsheng / SGFuzz
  ☆96Updated last week
• cuhk-s3 / Creal
  ☆34Updated last month
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆53Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• zouyonghao / DistFuzz
  Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
  ☆11Updated 7 months ago
• michael-emmi / ct-fuzz
  ☆10Updated 4 years ago
• SunLab-GMU / GraphSPD
  The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…
  ☆47Updated 2 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61Updated 4 months ago
• samueljero / TCPwn
  A system for automated discovery of congestion control attacks on TCP implementations
  ☆19Updated 7 years ago
• umnsec / ndi
  Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
  ☆14Updated 2 years ago
• HuantWang / CONCOCTION
  CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…
  ☆29Updated last year
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆26Updated last year
• PROGNOSISTool / main
  Code and resources for model learning of network protocol implementations
  ☆18Updated last year
• for-just-we / CodeAnalyzer
  tool of llm-based indirect-call analyzer
  ☆31Updated 7 months ago
• UTD-FAST-Lab / RevBugBench
  ☆32Updated 2 years ago
• zmw12306 / RFCAudit
  ☆25Updated last month
• SyNSec-den / hermes-spec-to-fsm
  ☆24Updated 11 months ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆84Updated 5 years ago
• prosyslab / DAFL-artifact
  ☆46Updated 11 months ago
• SecurityLab-UCD / LLAMAFUZZ
  Fine-tuning a LLM for generating the structured data
  ☆23Updated 10 months ago
• purseclab / PGFuzz
  Policy-Guided Fuzzing for Robotic Vehicles
  ☆37Updated 2 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…
  ☆44Updated 2 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆54Updated 4 years ago