redpig / safe-iop
Safe integer operation library for C
☆17Updated 10 years ago
Alternatives and similar repositories for safe-iop:
Users that are interested in safe-iop are comparing it to the libraries listed below
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 7 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Picon☆39Updated 8 years ago
- ELF binary patching utility☆41Updated 9 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 9 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- Update of original etrace program.☆67Updated last year
- Automatically spawn gdb on error.☆66Updated 2 years ago
- C library that implements the OTR protocol.☆61Updated 8 years ago
- estimate peak virtual memory use☆18Updated last month
- Python bindings for libgccjit.so☆48Updated 9 years ago
- ikgt manifest☆42Updated 2 years ago
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆16Updated 7 years ago
- Linux Kernel Lua Scripting Engine☆64Updated 9 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- 60 artisanal compiler crashes☆39Updated 8 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- DWARF explorer☆14Updated 9 years ago
- grep for C/C++ source files.☆27Updated 7 months ago
- ☆20Updated 9 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 8 years ago
- x86-64 Intel instruction set in JSON format☆49Updated 8 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago