☆24Jun 30, 2026Updated 3 months ago
Alternatives and similar repositories for symbolic-range-analysis
Users that are interested in symbolic-range-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated last year
- [100% AI Generated Code] Lightweight LLVM Symbolic Execution Engine☆25Jun 1, 2026Updated 4 months ago
- LLVM Graph View for VSCode☆41Mar 25, 2025Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆25May 1, 2025Updated last year
- Bit-vector expression simplifier for binary analysis and deobfuscation☆55Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Jan 23, 2020Updated 6 years ago
- ☆45Sep 21, 2026Updated last month
- ☆12Sep 19, 2026Updated last month
- A circuit-based Boolean satisfiability (SAT) solver☆19Jan 12, 2026Updated 9 months ago
- ☆20Mar 20, 2026Updated 7 months ago
- breaking decompilers☆59May 9, 2025Updated last year
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆21Oct 8, 2024Updated 2 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 4 years ago
- A specialized version of iced-x86 for binary lifting☆24Jun 25, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implement LLVM passes in python☆11Feb 2, 2025Updated last year
- ☆11Nov 28, 2024Updated last year
- watchOS kernel R/W + live process memory dumping on Apple Watch Series 4 (watchOS 10.6.2 - latest). Named after the children's book Peepo…☆30Jun 22, 2026Updated 3 months ago
- SIFA-based attacks on AES☆38Dec 14, 2024Updated last year
- SLOT: SMT-LLVM Optimizing Translation☆63Apr 17, 2025Updated last year
- x86-64 Symbolic Execution & LLVM IR Lifting Framework for Deobfuscation☆119Sep 25, 2026Updated 3 weeks ago
- Personal curation of Clang/LLVM patches.☆11Feb 27, 2021Updated 5 years ago
- ☆13Aug 17, 2026Updated 2 months ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 8 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.
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- clinglite: REPL in C++. A lightweight C++ wrapper on top of Cling (the interactive C++ interpreter from CERN)☆17Mar 26, 2026Updated 6 months ago
- ☆13Sep 25, 2023Updated 3 years ago
- Affinidi Trust Development Kit - Rust☆15Updated this week
- Striga is an experimental lifter from x86_64 to LLVM IR written in Python.☆120Jun 22, 2026Updated 3 months ago
- ☆65Jan 8, 2026Updated 9 months ago
- Opensource uPlay API Emulator☆13Jan 25, 2016Updated 10 years ago
- Virtual machine with a custom instruction set in C☆16Jul 17, 2018Updated 8 years ago
- Disassembler for Zeus VM custom instruction set for IDA Pro, based on OALabs one.☆19May 13, 2026Updated 5 months 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 C++ REPL for IDA Pro / IDA C++ SDK☆96Mar 26, 2026Updated 6 months ago
- Cracking MBAs☆80Sep 13, 2026Updated last month
- MBA deobfuscator via Program Synthesis and Term Rewriting☆74Jul 6, 2026Updated 3 months ago
- This repo contains the tests and results that were done during the research of SATURN☆44Dec 10, 2020Updated 5 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Dec 3, 2021Updated 4 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 5 years ago
- an obfuscator based on LLVM which can obfuscate the program execution trajectory☆105Mar 15, 2021Updated 5 years ago