Pinned Repositories
angr
A powerful and user-friendly binary analysis platform!
autoblob
AutoBlob: Automatic Blob loading for CLE
awesome-angr
A collection of resources/tools and analyses for the angr binary analysis framework.
claripy
An abstraction layer for constraint solvers.
ctfd-oracle-challenges
Oracle challenge type for CTFd
degrigis.github.io
hardened_malloc
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platforms. It will gain more portability / integration over time.
libtiff
TIFF decoding library from https://gitlab.com/libtiff/libtiff
pwncheat
symbion-use-cases
Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
degrigis's Repositories
degrigis/awesome-angr
A collection of resources/tools and analyses for the angr binary analysis framework.
degrigis/symbion-use-cases
Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
degrigis/angr
A powerful and user-friendly binary analysis platform!
degrigis/autoblob
AutoBlob: Automatic Blob loading for CLE
degrigis/claripy
An abstraction layer for constraint solvers.
degrigis/ctfd-oracle-challenges
Oracle challenge type for CTFd
degrigis/degrigis.github.io
degrigis/hardened_malloc
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platforms. It will gain more portability / integration over time.
degrigis/libtiff
TIFF decoding library from https://gitlab.com/libtiff/libtiff
degrigis/pwncheat
degrigis/pwntools
CTF framework and exploit development library
degrigis/py-evm
A Python implementation of the Ethereum Virtual Machine (plus analysis add-ons)
degrigis/pyvex
Python bindings for Valgrind's VEX IR.
degrigis/teether
degrigis/voxintenebris
“The quieter you become, the more you can hear”
degrigis/Web3Bugs
Demystifying Exploitable Bugs in Smart Contracts