bluepilot / scvs

Related projects ⓘ

Alternatives and complementary repositories for scvs

• SEI-CERT / scvs
  Secure Coding Validation Suite
  ☆68Updated 11 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆25Updated 10 years ago
• randomstuff / elfcat
  Dump sections or program entries from a ELF file
  ☆21Updated 8 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆29Updated 9 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 7 years ago
• radare / sal
  Scripting Assembly Language
  ☆12Updated 9 years ago
• dimkr / elfence
  An overlay that verifies signed ELF binaries
  ☆9Updated 9 years ago
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆11Updated 5 years ago
• kernelslacker / x86info
  x86info : x86 processor register decoder.
  ☆40Updated 9 months ago
• rofl0r / debuglib
  wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.
  ☆21Updated 2 years ago
• schieb / ELFManip
  Modify ELF executables
  ☆16Updated 5 years ago
• elfmaster / ecfs_exec
  Be able to execute memory snapshots so they can start running where they left off.
  ☆35Updated 9 years ago
• acama / xdisasm
  Simple binary file disassembler based on libopcodes and bfd from binutils.
  ☆27Updated 9 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• intel / satt
  ☆74Updated 2 years ago
• nccgroup / xendbg
  A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…
  ☆75Updated 4 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆68Updated 7 years ago
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 2 years ago
• elfmaster / static_binary_mitigations
  relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.
  ☆33Updated 6 years ago
• jhuapl-saralab / tracer
  Recursive process fork/exec tracing for Linux systems using ptrace()
  ☆21Updated 3 years ago
• q3k / phook
  A toolset for extending closed-source Linux processes
  ☆9Updated 8 years ago
• taviso / iknowthis
  iknowthis Linux SystemCall Fuzzer
  ☆20Updated 5 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 years ago
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆11Updated 7 years ago
• lucvoo / sparse
  mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git
  ☆29Updated 9 months ago
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆31Updated 5 months ago
• trailofbits / RaceSanitizer
  A dynamic data race detector for programs
  ☆14Updated 8 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆63Updated 8 months ago
• intel / ikgt-uefi-loader
  Support UEFI load
  ☆10Updated 9 years ago
• rieck / derrick
  A Simple Network Stream Recorder
  ☆35Updated 5 years ago