agievich / GF2
A C++ library for algebra over GF(2)
☆13Updated last year
Alternatives and similar repositories for GF2
Users that are interested in GF2 are comparing it to the libraries listed below
Sorting:
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆25Updated 5 years ago
- MCSema Build Windows download☆10Updated 4 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated last year
- E-Graph library☆14Updated last year
- fast probabilistic symmetry detection on graphs☆14Updated 2 months ago
- IDA plugin investigating the internal representation of IDC scripts☆14Updated last year
- Fetch and set configuration values from IDAPython scripts☆21Updated 4 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- ☆31Updated 4 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 5 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated 3 weeks ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 2 years ago
- Utility for dumping all the information Capstone has on given instructions.☆23Updated 3 years ago
- A tool which hides symbols exported from shared libraries or relocatable object files☆36Updated 2 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- Extracting high level semantic information from binary code☆65Updated 5 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 5 months ago
- Experimental dynamic binary instrumentation☆15Updated 5 years ago
- Linux assembly language minimal 'dynamic ELF' example plus experiments☆25Updated 4 years ago
- Basic Block Trace: DynamoRIO client☆27Updated 3 years ago
- Qiling Framework Documentation☆17Updated 2 months ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Updated last year
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Updated 3 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- ☆21Updated 5 years ago