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 3 years ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆26Updated last year
• assist-project / dtls-fuzzer
  Protocol state machine learner and fuzzer for DTLS servers and clients
  ☆41Updated this week
• bajinsheng / SGFuzz
  ☆97Updated 4 months ago
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆59Updated 2 years ago
• UTD-FAST-Lab / RevBugBench
  ☆32Updated 2 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• zmw12306 / RFCAudit
  ☆34Updated 2 months ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆58Updated last year
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆76Updated 5 months ago
• for-just-we / CodeAnalyzer
  tool of llm-based indirect-call analyzer
  ☆31Updated 11 months 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…
  ☆48Updated 2 years ago
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆23Updated 9 months ago
• ChatAFLndss / ChatAFL
  Large Language Model guided Protocol Fuzzing (NDSS'24)
  ☆375Updated 7 months ago
• n132 / ARVO-Meta
  ☆90Updated 3 months ago
• eth-sri / learch
  ☆43Updated 2 years ago
• SecurityLab-UCD / LLAMAFUZZ
  [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
  ☆23Updated last year
• yapengye / NetPlier
  NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces
  ☆73Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆50Updated last year
• profuzzbench / profuzzbench
  ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing
  ☆255Updated last year
• cuhk-s3 / Creal
  ☆36Updated 5 months ago
• michael-emmi / ct-fuzz
  ☆11Updated 5 years ago
• EdPuth / LLMs-based-Fuzzer-Survey
  This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …
  ☆56Updated last year
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61Updated 8 months ago
• seclab-ucr / UBITect
  ☆42Updated 3 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated last month
• NobleMathews / FuzzSliceICSE
  Camera Ready copy of FuzzSlice v1 code for ICSE
  ☆21Updated 2 years ago
• jderuiter / statelearner
  A tool that can be used to learn state machines from implementations.
  ☆67Updated last month
• SyNSec-den / hermes-spec-to-fsm
  ☆24Updated last year
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆61Updated 2 years ago