flanfly / panopticon
A libre cross-platform disassembler.
☆33Updated 7 years ago
Alternatives and similar repositories for panopticon:
Users that are interested in panopticon are comparing it to the libraries listed below
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 6 years ago
- JIT Assembler Library for multiple ISAs☆74Updated 9 years ago
- x86-64 kernel in Rust☆31Updated 8 years ago
- An 'origin' command that continue to the origin of a piece of data in rr☆47Updated 6 years ago
- A random number generator for generating large prime numbers, suitable for cryptography.☆52Updated 4 years ago
- Microcode parser for AMD, Intel, and VIA processors☆133Updated 9 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- an open source toolkit for PCI bus exploration☆70Updated 8 years ago
- AppJailLauncher in Rust☆109Updated 3 years ago
- ☆67Updated 3 years ago
- 60 artisanal compiler crashes☆39Updated 8 years ago
- A Genetic File, Syscall and Network Fuzzer.☆59Updated 7 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 8 years ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Updated 9 years ago
- NASM Standard Library for shellcode☆69Updated 8 years ago
- ☆85Updated 7 years ago
- [INACTIVE] const-time Rust experiment☆97Updated 9 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- Clang SA checkers developed as part of the Melange framework☆17Updated 9 years ago
- A debugger frontend☆142Updated 9 years ago
- Reference implementations (software)☆85Updated 8 years ago
- Slides and very basic examples☆111Updated 7 years ago