trailofbits / anselmLinks
Detect patterns of bad behavior in function calls
☆26Updated 4 years ago
Alternatives and similar repositories for anselm
Users that are interested in anselm are comparing it to the libraries listed below
Sorting:
- Code to fuzz bignum libraries☆45Updated 6 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 12 years ago
- estimate peak virtual memory use☆18Updated 2 months ago
- Differential fuzzing for elliptic curves☆23Updated last year
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆39Updated 7 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Updated 5 years ago
- python library for dumping a linux process from memory☆34Updated 15 years ago
- ROP gadget finder and analysis in pure Javascript☆29Updated 3 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆35Updated 4 years ago
- relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.☆33Updated 6 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- MapGuard is a library that enforces a security policy for mmap based page allocations.☆21Updated 5 months ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26Updated 4 years ago
- Corpora used to seed NSS' fuzzing targets☆10Updated this week
- A pure ANSI-C implementation of calculating a SimHash over 4-byte tuples (including multiplicities) for a given byte stream. Simple and r…☆45Updated 6 years ago
- Writeups of CTF challenges I do☆13Updated 5 years ago
- ELF binary that runs on several different *nix flavours. Works out which variant it's being run on and runs code specific to that.☆39Updated 4 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 6 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 8 years ago
- Write ups of solution for CTF challenges I solved☆25Updated 3 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆34Updated 7 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Updated 3 years ago
- Triton based R2 plugin for concolic execution and total control☆32Updated 6 years ago
- Block-based software vulnerability fuzzing framework☆49Updated 6 years ago
- A ptrace based sandbox. (PoC)☆14Updated 7 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- Heap analysis tooling for dlmalloc☆31Updated 3 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆17Updated last month
- A set of tools based on radare2 for analysis of ROP gadgets and payloads.☆15Updated 9 years ago