DRMacIver / structureshrinkLinks
Structured shrinking of unknown file formats
☆96Updated 7 years ago
Alternatives and similar repositories for structureshrink
Users that are interested in structureshrink are comparing it to the libraries listed below
Sorting:
- Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).☆86Updated 4 years ago
- Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html☆116Updated 2 years ago
- Module for enforcing language constraints in Python☆70Updated 2 years ago
- Hierarchical Delta Debugging Framework☆59Updated 6 months ago
- Python subsets☆41Updated 8 years ago
- My little fuzzing framework inspired by grinder☆99Updated 7 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆47Updated 7 years ago
- I'd just like to interject for a moment...☆51Updated 9 years ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆223Updated 2 months ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- Programmable Dropbox for secure IoT☆70Updated 8 years ago
- Default Repo description from terraform module☆1Updated 10 years ago
- A pythonic wrapper over `atd` to schedule deletion of files/directories.☆53Updated 7 years ago
- Fault injection library☆51Updated 8 years ago
- GramTest: A tool for Grammar based Test case generation☆86Updated last year
- A bytecode compiler for Python 3☆157Updated 4 years ago
- Enable piping of internal command output to external commands☆71Updated 6 years ago
- A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting☆46Updated 8 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- statistical similarity of binaries (Esh)☆73Updated 8 years ago
- undo in any program that uses readline☆162Updated 7 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- Run basic functions from stripped binaries cross platform☆111Updated 8 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- a function parameter type checker; a json validator☆81Updated 9 years ago
- generate a tree of diverse file names☆47Updated last year
- custom type systems for Clang☆98Updated 9 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago