agievich / GF2Links
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:
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆29Updated 3 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
- Convert a raw firmware image to an ELF file.☆14Updated 6 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆25Updated 5 years ago
- fast probabilistic symmetry detection on graphs☆14Updated 3 weeks ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 5 years ago
- E-Graph library☆14Updated last year
- ☆31Updated 4 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 4 months ago
- MCSema Build Windows download☆11Updated 4 years ago
- A framework for control-flow recovery in binary programs.☆10Updated 6 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 2 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 6 months ago
- The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)☆13Updated 4 years ago
- Interactive Control Flow Graph Visualization.☆35Updated 3 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Updated 8 months ago
- Library for reading IDA Pro databases.☆26Updated 4 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- ☆12Updated 5 years ago
- A library for performing memory forensics over the IEEE 1394 interface.☆18Updated 6 years ago
- Basic Block Trace: DynamoRIO client☆27Updated 3 years ago
- Binary Deobfuscation Series☆22Updated 5 years ago
- Fetch and set configuration values from IDAPython scripts☆21Updated 4 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆42Updated 4 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Updated 5 years ago