Alternatives and similar repositories for main

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

• assist-project / dtls-fuzzer
  Protocol state machine learner and fuzzer for DTLS servers and clients
  ☆41Updated this week
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 3 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆58Updated last year
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆27Updated last week
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆80Updated 4 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆55Updated 4 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆114Updated 2 years ago
• lizhuohua / rust-ffi-checker
  ☆61Updated 2 years ago
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆23Updated 9 months ago
• rainoftime / smtfuzz
  A fuzzer for SMT solvers
  ☆21Updated 5 months ago
• parasol-aser / XRust
  ☆14Updated 5 years ago
• UTD-FAST-Lab / RevBugBench
  ☆32Updated 2 years ago
• rssys / snowboard
  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…
  ☆27Updated 8 months ago
• lvtao-sec / Advance
  RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection
  ☆18Updated 4 years ago
• thufv / Deagle
  ☆24Updated 2 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆26Updated last year
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆78Updated 6 months ago
• bajinsheng / SGFuzz
  ☆97Updated 4 months ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆43Updated 2 months ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆15Updated last year
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Updated 3 months ago
• pddenhar / Z3-IC3-PDR
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆18Updated 9 years ago
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆30Updated 5 years ago
• eth-sri / learch
  ☆43Updated 2 years ago
• michael-emmi / ct-fuzz
  ☆11Updated 5 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆196Updated 2 months ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆65Updated 7 months ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆168Updated 2 months ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 5 years ago
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆59Updated 2 years ago