Assume-Guarantee REasoning Environment
☆20Dec 3, 2025Updated 3 months ago
Alternatives and similar repositories for AGREE
Users that are interested in AGREE are comparing it to the libraries listed below
Sorting:
- ☆23Mar 24, 2023Updated 2 years ago
- ☆16Apr 15, 2019Updated 6 years ago
- ☆13May 5, 2018Updated 7 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆116Updated this week
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Specification and Analysis for Requirements Tool☆21Mar 10, 2021Updated 4 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- 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
- 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…☆22Mar 21, 2021Updated 4 years ago
- ☆27Nov 30, 2018Updated 7 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Jul 3, 2025Updated 8 months ago
- Automated Analysis Framework for Simulink/Stateflow models.☆60Feb 16, 2026Updated 2 weeks ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Jan 27, 2025Updated last year
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 7 years ago
- TracerX Symbolic Virtual Machine☆32Sep 24, 2025Updated 5 months ago
- CN separation logic refinement type system for C☆46Feb 16, 2026Updated 2 weeks ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Jan 12, 2023Updated 3 years ago
- 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 2 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆47Aug 22, 2024Updated last year
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆15Feb 25, 2026Updated last week
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆23Dec 28, 2025Updated 2 months ago
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated 2 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆13Updated this week
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Mar 30, 2020Updated 5 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆103Updated this week
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- headless-ida-mcp-server☆30Apr 4, 2025Updated 11 months ago
- A replication of the Baldur's Gate 3 Script Extender for MacOS☆24Feb 12, 2026Updated 3 weeks ago
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated 2 weeks ago
- Alphanumeric+1 shellcoding tools for RISC-V☆37Aug 12, 2019Updated 6 years ago
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- Open Source AADL2 Tool Environment☆51Feb 25, 2026Updated last week
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago