Alternatives and similar repositories for AGREE

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

• loonwerks / formal-methods-workbench

  View on GitHub
  ☆23Mar 24, 2023Updated 2 years ago
• collins-research / FuzzM

  View on GitHub
  ☆16Apr 15, 2019Updated 6 years ago
• BaDSeED-SEC / strngr

  View on GitHub
  ☆13May 5, 2018Updated 7 years ago
• kind2-mc / kind2

  View on GitHub
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆116Feb 5, 2026Updated last week
• tetrane / tetrane-oss

  View on GitHub
  Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.
  ☆21Feb 9, 2023Updated 3 years ago
• lgwagner / SpeAR

  View on GitHub
  Specification and Analysis for Requirements Tool
  ☆21Mar 10, 2021Updated 4 years ago
• binsec / haunted

  View on GitHub
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Oct 19, 2023Updated 2 years ago
• seclab-ucr / SyzScope

  View on GitHub
  SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
  ☆24Nov 17, 2021Updated 4 years ago
• mlfbrown / sys2

  View on GitHub
  Sys, but no longer in Haskell
  ☆19Mar 14, 2022Updated 3 years ago
• paradise-fi / divine

  View on GitHub
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Mar 21, 2021Updated 4 years ago
• jrozner / synfuzz

  View on GitHub
  ☆27Nov 30, 2018Updated 7 years ago
• loonwerks / jkind

  View on GitHub
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Jul 3, 2025Updated 7 months ago
• NASA-SW-VnV / CoCoSim

  View on GitHub
  Automated Analysis Framework for Simulink/Stateflow models.
  ☆59May 31, 2025Updated 8 months ago
• OpenAADL / ocarina

  View on GitHub
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆73Mar 23, 2022Updated 3 years ago
• macaron-et / wasabi-aeg

  View on GitHub
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆34Jul 29, 2018Updated 7 years ago
• SoftSec-KAIST / Reassessor

  View on GitHub
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆34Jan 27, 2025Updated last year
• tdimino / bg3se-macos

  View on GitHub
  A replication of the Baldur's Gate 3 Script Extender for MacOS
  ☆22Feb 8, 2026Updated last week
• tracer-x / TracerX

  View on GitHub
  TracerX Symbolic Virtual Machine
  ☆32Sep 24, 2025Updated 4 months ago
• rems-project / cn

  View on GitHub
  CN separation logic refinement type system for C
  ☆44Feb 3, 2026Updated last week
• static-analysis-engineering / CodeHawk-Binary

  View on GitHub
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆38Jan 26, 2026Updated 2 weeks ago
• anhvvcs / corana

  View on GitHub
  Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…
  ☆29Mar 6, 2024Updated last year
• zhangxiaochuan / MIRROR

  View on GitHub
  The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.
  ☆29Jan 12, 2023Updated 3 years ago
• ge-high-assurance / VERDICT

  View on GitHub
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆46Aug 22, 2024Updated last year
• ShiftLeftSecurity / fuzzyc2cpg

  View on GitHub
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Oct 15, 2020Updated 5 years ago
• cnitlrt / headless-ida-mcp-server

  View on GitHub
  headless-ida-mcp-server
  ☆28Apr 4, 2025Updated 10 months ago
• frknaykc / Dragon-ThreatResearchHQ

  View on GitHub
  A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…
  ☆14Oct 23, 2025Updated 3 months ago
• PySymGym / PySymGym

  View on GitHub
  Python infrastructure to train paths selectors for symbolic execution engines.
  ☆11Updated this week
• huntoai / phishing-ai-agent

  View on GitHub
  Red-Team - AI Agent to Phish Employees based on Social Intelligence.
  ☆22Dec 28, 2025Updated last month
• djiangtw / performance-and-benchmarking-public

  View on GitHub
  A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…
  ☆23Jan 3, 2026Updated last month
• vanhauser-thc / dynTaintTracer

  View on GitHub
  a taint tracer based on DynamoRIO, currently ARM only
  ☆41Mar 30, 2020Updated 5 years ago
• trailofbits / KRFAnalysis

  View on GitHub
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆38Oct 12, 2022Updated 3 years ago
• diffblue / hw-cbmc

  View on GitHub
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆102Updated this week
• andreafioraldi / FuzzSplore

  View on GitHub
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆37Feb 6, 2021Updated 5 years ago
• dovedb / DoveDB_MVP

  View on GitHub
  Redefining Video Management with power of SQL
  ☆11Oct 15, 2023Updated 2 years ago
• UWASL / dedup-bench

  View on GitHub
  DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…
  ☆22Oct 27, 2025Updated 3 months ago
• eurecom-s3 / dissecting_afl

  View on GitHub
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Oct 3, 2022Updated 3 years ago
• RischardV / riscv-alphanumeric-shellcoding

  View on GitHub
  Alphanumeric+1 shellcoding tools for RISC-V
  ☆37Aug 12, 2019Updated 6 years ago
• osate / osate2

  View on GitHub
  Open Source AADL2 Tool Environment
  ☆50Oct 7, 2025Updated 4 months ago
• andreafioraldi / ConstrainedMemorySanitizer

  View on GitHub
  ☆15May 6, 2021Updated 4 years ago