bluepilot / scvs
Secure Coding Validation Suite
☆16Updated 5 years ago
Alternatives and similar repositories for scvs:
Users that are interested in scvs are comparing it to the libraries listed below
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- Dump sections or program entries from a ELF file☆21Updated 9 years ago
- Secure Coding Validation Suite☆69Updated 12 years ago
- An overlay that verifies signed ELF binaries☆9Updated 10 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- A dynamic data race detector for programs☆14Updated 9 years ago
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Tool for findings bugs in epoll-based Linux servers☆29Updated 4 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 2 years ago
- EBNF grammar fuzzer☆18Updated 5 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆31Updated last year
- Support UEFI load☆10Updated 9 years ago
- ☆24Updated 9 years ago
- Alternative hexdump.☆15Updated 9 years ago
- Scripting Assembly Language☆12Updated 9 years ago
- A simple library focusing on demangling symbols for different programing languages☆43Updated 4 years ago
- A tiny tool to learn the assembly code☆11Updated 8 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- Tracks runtime instruction execution in Linux programs☆33Updated 11 years ago
- Modify ELF executables☆16Updated 6 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.☆33Updated 6 years ago
- Fork of QEMU with Virtual Machine Introspection patches☆13Updated last year
- estimate peak virtual memory use☆19Updated last month
- intelligent and automatic build system for C☆12Updated 3 years ago
- Useful macros for debugging purposes.☆16Updated 10 years ago
- yaSSL, or yet another SSL, is an embedded ssl library for programmers building security functionality into their applications and devices…☆11Updated 7 years ago
- ☆20Updated 9 years ago