DRMacIver / structureshrink
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
- Module for enforcing language constraints in Python☆70Updated 2 years ago
- Python subsets☆41Updated 8 years ago
- I'd just like to interject for a moment...☆51Updated 9 years ago
- Hierarchical Delta Debugging Framework☆59Updated 4 months ago
- My little fuzzing framework inspired by grinder☆99Updated 7 years ago
- Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html☆116Updated 2 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆222Updated last month
- A bytecode compiler for Python 3☆157Updated 4 years ago
- Default Repo description from terraform module☆1Updated 10 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆47Updated 7 years ago
- Programmable Dropbox for secure IoT☆70Updated 7 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- a function parameter type checker; a json validator☆81Updated 9 years ago
- Run basic functions from stripped binaries cross platform☆111Updated 8 years ago
- a python-like language with hindley-milner-like type system, which is compiled to c☆243Updated 3 years ago
- statistical similarity of binaries (Esh)☆73Updated 8 years ago
- C Python, made faster.☆341Updated 9 years ago
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago
- Python bytecode instrumentation library☆119Updated 8 years ago
- Compute excellent numbers☆9Updated last year
- ☆64Updated 7 years ago
- A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting☆46Updated 8 years ago
- undo in any program that uses readline☆162Updated 7 years ago
- Enable piping of internal command output to external commands☆71Updated 6 years ago
- Run experiments with Python - quick and clean.☆181Updated 3 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆245Updated last week
- A pythonic wrapper over `atd` to schedule deletion of files/directories.☆53Updated 7 years ago