SEI-CERT / scvs
Secure Coding Validation Suite
☆68Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for scvs
- Secure Coding Validation Suite☆16Updated 5 years ago
- A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber☆153Updated 7 years ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 4 years ago
- Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems☆33Updated 7 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 7 years ago
- Assesses CPU security of embedded devices. #nsacyber☆138Updated 8 years ago
- ☆108Updated 4 months ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.☆33Updated 6 years ago
- Oink is a collaboration of C++ static analysis tools.☆154Updated 2 years ago
- Code examples for the talk Secure Coding Practices in C++☆52Updated last year
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- This is the new ftrace (https://github.com/elfmaster/ftrace) - Much faster, better resolution but not complete yet! :)☆106Updated 6 years ago
- Melkor is a very intuitive and easy-to-use ELF file format fuzzer to find functional and security bugs in ELF parsers.☆149Updated 11 months ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆214Updated 2 years ago
- PIN tool runtracer suite☆44Updated 9 years ago
- Gdb Extension Framework is a bunch of python code around the gdb api.☆51Updated 3 years ago
- Collection of scripts for radare2☆28Updated 5 years ago
- Code to fuzz bignum libraries☆45Updated 6 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆28Updated 9 years ago
- ☆17Updated 7 years ago
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆67Updated 11 years ago
- C Quality Metrics☆64Updated 2 years ago
- a grammar-based data generator☆58Updated 5 years ago
- Linux Kernel Source Tree Reducer☆78Updated 3 weeks ago
- Binary Analysis Tool (LEGACY)☆79Updated 2 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- Mathilda is a C++ class for distributing web requests to worker processes☆29Updated 8 years ago
- Be able to execute memory snapshots so they can start running where they left off.☆35Updated 9 years ago