agievich / GF2Links
A C++ library for algebra over GF(2)
☆16Updated 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 2 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆49Updated 5 years ago
- A library for dynamic binary rewriting☆59Updated 5 years ago
- A pure ANSI-C implementation of calculating a SimHash over 4-byte tuples (including multiplicities) for a given byte stream. Simple and r…☆46Updated 6 years ago
- ☆31Updated 5 years ago
- LLVM-based type and memory allocation tracking sanitizer☆56Updated last week
- ☆23Updated 2 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Updated 4 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Updated 5 years ago
- Dynamic Control Flow Recovery☆25Updated 7 years ago
- ROP database plugin for IDA☆32Updated 7 years ago
- TracerX Symbolic Virtual Machine☆32Updated 4 months ago
- ☆30Updated 5 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38Updated 5 years ago
- Tiny Code Generator Library☆46Updated 5 years ago
- Tracing framework for full system simulators☆57Updated 10 years 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
- Utility for dumping all the information Capstone has on given instructions.☆23Updated 4 years ago
- Use Intel Pin tools to analysis binary.☆38Updated 10 years ago
- This is the source of our Return Oriented Programming tool.☆14Updated 6 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated last year
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆15Updated 3 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- ☆22Updated 9 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆43Updated 2 years ago
- ☆45Updated 4 years ago
- Zydis Python Bindings (Work In Progress)☆32Updated 4 years ago
- Library for reading IDA Pro databases.☆29Updated 4 years ago