loonwerks / AGREEView external linksLinks
Assume-Guarantee REasoning Environment
☆19Dec 3, 2025Updated 2 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
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Oct 19, 2023Updated 2 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
- 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…☆21Mar 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 7 months ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 7 years ago
- A replication of the Baldur's Gate 3 Script Extender for MacOS☆22Updated this week
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Jan 26, 2026Updated 2 weeks ago
- CN separation logic refinement type system for C☆44Feb 3, 2026Updated last week
- TracerX Symbolic Virtual Machine☆32Sep 24, 2025Updated 4 months ago
- 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 last year
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆46Aug 22, 2024Updated last year
- headless-ida-mcp-server☆28Apr 4, 2025Updated 10 months ago
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆22Dec 28, 2025Updated last month
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆14Oct 23, 2025Updated 3 months ago
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆23Jan 3, 2026Updated last month
- Python infrastructure to train paths selectors for symbolic execution engines.☆11Feb 6, 2026Updated last week
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆102Updated this week
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆21Oct 27, 2025Updated 3 months ago
- Alphanumeric+1 shellcoding tools for RISC-V☆37Aug 12, 2019Updated 6 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- Open Source AADL2 Tool Environment☆50Oct 7, 2025Updated 4 months ago
- Example container image for running on Cloudflare's container runtime☆10Jan 22, 2025Updated last year
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Advanced futures library☆16Feb 3, 2026Updated last week
- Companion code and schematics for my breadboard Z80 series☆11Dec 6, 2020Updated 5 years ago
- Automatic analysis of SpiderMonkey and Firefox bugs on Bugzilla☆11Feb 5, 2026Updated last week