CodeHawk Abstract Interpretation Engine and Analyzers
☆76Oct 22, 2026Updated last week
Alternatives and similar repositories for codehawk
Users that are interested in codehawk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆41Oct 23, 2026Updated last week
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆33Oct 22, 2026Updated last week
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆153Sep 18, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆199Oct 29, 2022Updated 4 years ago
- Static Analyzer for LLVM based on the Crab Abstract Interpretation Library☆290Sep 12, 2026Updated last month
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Aug 7, 2019Updated 7 years ago
- Static analysis framework for C☆253Updated this week
- PPLite: convex polyhedra library for Abstract Interpretation☆31Aug 4, 2026Updated 2 months ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 7 years ago
- Binding to CRlibm☆14Jul 25, 2023Updated 3 years ago
- s-expression codecs and updates for OCaml☆12Mar 23, 2017Updated 9 years ago
- Simple OCaml interface for Gnuplot☆11Oct 6, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆45Mar 6, 2026Updated 7 months ago
- Native toplevel for the OCaml language☆32May 5, 2012Updated 14 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 9 years ago
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated last month
- Static range analysis for the LLVM compiler infrastructure.☆57Oct 8, 2019Updated 7 years ago
- ☆59Jan 27, 2023Updated 3 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 5 years ago
- A random generator of Lua programs☆12Mar 5, 2026Updated 7 months ago
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml☆16Apr 21, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Abstract domain library for sets☆10Feb 23, 2023Updated 3 years ago
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆24Dec 25, 2025Updated 10 months ago
- Cerberus C semantics☆103Oct 22, 2026Updated last week
- MIT's abstract interpretation class taught by Cousot☆38Oct 13, 2014Updated 12 years ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 3 years ago
- OptiTrust☆15Oct 12, 2026Updated 2 weeks ago
- An OCaml EDSL for describing and solving strategic games☆18Sep 10, 2023Updated 3 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated 2 years ago
- a webassembly wasm decompiler and Static Analysis Framework based on llvm IR. (Work In Progress)☆95Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Example OCaml library written using Rust and ocaml-rs☆17Mar 10, 2021Updated 5 years ago
- Bindings to FFTW3.☆15Feb 6, 2022Updated 4 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- ML's radishal Universal Levenshtein Automata library.☆13Jan 5, 2022Updated 4 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Aug 3, 2021Updated 5 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆66May 20, 2025Updated last year
- A Shape Analyzer Based on Symbolic Memory Graphs☆81Oct 1, 2026Updated 3 weeks ago