A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
☆15May 14, 2024Updated last year
Alternatives and similar repositories for EBF
Users that are interested in EBF are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 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 5 years ago
- Automated Code Repair suite powered by ESBMC and LLMs.☆42Feb 20, 2026Updated 2 months ago
- Mirror of git://git.code.sf.net/p/libdwarf/code☆15Dec 30, 2015Updated 10 years ago
- Unified Maude model-checking tool☆13Apr 16, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Nov 13, 2020Updated 5 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Mar 31, 2017Updated 9 years ago
- A dynamic data race detector for programs☆15Jan 2, 2016Updated 10 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Jan 24, 2015Updated 11 years ago
- Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes☆16Jul 20, 2019Updated 6 years ago
- Decompiler of LLVM bitcode to C☆92Dec 4, 2025Updated 5 months ago
- ☆75Nov 11, 2017Updated 8 years ago
- Examples for NASAC 2019 interrupt race detection competition☆10Dec 4, 2019Updated 6 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Jul 23, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- data race detection☆14Jun 18, 2016Updated 9 years ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 7 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- objdump for TempleOS BINaries☆14Nov 11, 2020Updated 5 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- valgrind fork with mmap tracing support☆25Jun 22, 2020Updated 5 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- Distributed QC for Qiskit☆16Jan 18, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- NACHO - National Automated Clearing House Objects, a C# library for the NACHA ACH input file structure☆14Aug 6, 2021Updated 4 years ago
- This is a stale repository and only there for the commit history. All development moved over to the llvm-project repository! Was: LLVM Op…☆16Mar 17, 2020Updated 6 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆106Updated this week
- collection of helper tools for fuzzing☆17Oct 3, 2023Updated 2 years ago
- Automated Clearing House (ACH) demo in ruby☆16May 1, 2026Updated last week
- Compositional Verification of Security Protocols☆34Apr 30, 2026Updated last week
- CHERI C/C++ Programming Guide☆67Apr 22, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆22Oct 5, 2022Updated 3 years ago
- Verified implementations for the Noise family of protocols☆17Jun 18, 2024Updated last year
- Writing Radare2 plugins in various languages☆19Mar 19, 2026Updated last month
- BehaVerify: A Formal Verification Tool for Behavior Trees☆24Apr 29, 2026Updated last week
- Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020☆32Mar 24, 2023Updated 3 years ago
- Splash 2 Benchmarks☆21Oct 29, 2014Updated 11 years ago
- The Heterogeneous Tool Set☆62Oct 7, 2025Updated 7 months ago