stephenrkell / libsystrap

Related projects: ⓘ

• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• intel / satt
  ☆74Updated 2 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆45Updated 3 years ago
• HexHive / libdetox
  Fast and efficient binary translator
  ☆58Updated 5 years ago
• UTSASRG / FreeGuard
  ☆34Updated 6 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆75Updated 6 years ago
• jethrogb / ptdump
  Dump page tables on various OSes and analyze them
  ☆26Updated 8 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆54Updated 4 years ago
• bx / elf-bf-tools
  ☆110Updated 10 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 7 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆74Updated 3 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 10 years ago
• skeeto / ptrace-examples
  Examples for Linux ptrace(2)
  ☆134Updated 5 months ago
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆22Updated 9 years ago
• Bareflank / extended_apis
  deprecated
  ☆46Updated 5 years ago
• nccgroup / xendbg
  A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…
  ☆75Updated 3 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆61Updated 6 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 5 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆65Updated 8 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆41Updated 9 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆66Updated 6 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 4 years ago
• pmem / vltrace
  Tool tracing syscalls in a fast way using eBPF linux kernel feature
  ☆98Updated last year
• eklitzke / ptrace-call-userspace
  Example of how to use the ptrace(2) system call to call a userspace method.
  ☆143Updated 5 years ago
• rofl0r / debuglib
  wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.
  ☆20Updated 2 years ago
• endplay / omniplay
  Arnold source code
  ☆45Updated 5 years ago
• nelhage / ministrace
  A minimal toy implementation of strace(1)
  ☆168Updated last year
• pgbovine / strace-plus
  ☆22Updated this week