Generates CIL MLIR dialect from C/C++ source.
☆35Feb 10, 2021Updated 5 years ago
Alternatives and similar repositories for cil
Users that are interested in cil are comparing it to the libraries listed below
Sorting:
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 8 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆23Feb 11, 2026Updated 2 weeks ago
- ☆16Updated this week
- A Clang/LLVM add-on to enforce coding rules☆33Nov 15, 2013Updated 12 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- Public proposals, extensions, information and materials from the SYCL working group☆15Jan 26, 2024Updated 2 years ago
- Program synthesis tools and utilities for LLVM.☆20Jul 6, 2023Updated 2 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- E-Graph library☆21Apr 4, 2024Updated last year
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- ☆33Oct 15, 2018Updated 7 years ago
- obfuscation that aims to not stand out☆24Mar 27, 2022Updated 3 years ago
- HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Ap…☆22Jul 6, 2021Updated 4 years ago
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated last year
- A symbolic execution engine for LLVM IR☆51Apr 25, 2022Updated 3 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- A stateful fuzzing engine.☆45Nov 14, 2018Updated 7 years ago
- A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.☆43Jan 22, 2026Updated last month
- ☆23Mar 13, 2023Updated 2 years ago
- C++ wrapper around KLEE and AFL for intelligent, coverage guided fuzzing. Developed while doing research at MWR Infosecurity☆18Aug 1, 2018Updated 7 years ago
- LLVM meets Code Property Graphs☆96Feb 27, 2021Updated 5 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆23Dec 3, 2021Updated 4 years ago
- Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis☆32Feb 8, 2026Updated 3 weeks ago
- Commodity Obfuscation Engine for Intel SGX☆20Jul 21, 2019Updated 6 years ago
- The toolchain of Chosen-instruction attack☆21May 3, 2022Updated 3 years ago
- A program synthesis framework for verified lifting applications☆61May 30, 2025Updated 9 months ago
- A Free World Class High Performance SAT Solver☆21Jul 12, 2021Updated 4 years ago
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆56Oct 17, 2025Updated 4 months ago
- 💀💀💀 The former home of clangir incubator, now part of the official llvm-project.☆589Feb 21, 2026Updated last week
- a Halide language To MLIR compiler.☆25Aug 30, 2021Updated 4 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38May 11, 2020Updated 5 years ago
- LLVM Graph View for VSCode☆40Mar 25, 2025Updated 11 months ago
- ☆26Sep 21, 2022Updated 3 years ago
- Fork of llvm/llvm-project for f18. In sync with f18-mlir and f18.☆27Jun 7, 2023Updated 2 years ago