- Zyan Disassembler - An x86/x86-64 disassembler written in C++ that shows promise. “Fast and lightweight.”
- Shut up snitch! – reverse engineering and exploiting a critical Little Snitch vulnerability
- radamsa C++ bindings
- oss-security: Asus wireless routers Global buffer overflow and Stack buffer overflow in networkmap
- The Weak Bug - Exploiting a Heap Overflow in VMware
- Some Qemu images to play with - Qemu images for userlands in various architectures.
-pin_memory_size <bytes> to pin to force it to use less memory. Useful if you want to constraint the amount of memory PIN will use. Pin docs recommend
<bytes> be greater than 30mb.
Angr, or more specifically claripy, has a, “Replacement Solver.” Using the replacement solver allows you to build symbolic expressions while solving over the IR and then tell the solver, “Always replace variable X with value Y,” while solving. This allows you to quickly build expressions up to a point, at which time you can then tell the solver, “Solve as you normally would.”