Alternatives and similar repositories for Determinator

Users that are interested in Determinator are comparing it to the libraries listed below

• ut-osa / txos
  Operating system demonstrating system transactions
  ☆16Updated 8 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆52Updated 2 weeks ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆32Updated 7 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 3 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 12 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 8 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 7 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 8 years ago
• lttng / lttng-modules
  This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…
  ☆98Updated last week
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆64Updated last month
• isec-tugraz / secure-block-device
  The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…
  ☆36Updated 7 years ago
• coccinelle / coccinellery
  ☆113Updated last year
• envytools / valgrind
  valgrind fork with mmap tracing support
  ☆24Updated 5 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• eklitzke / demangle
  Tool to demangle C++ symbols.
  ☆58Updated 2 years ago
• UTSASRG / FreeGuard
  ☆38Updated 7 years ago
• elcritch / etrace
  Update of original etrace program.
  ☆68Updated 2 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆110Updated 3 years ago
• vitkyrka / kninja
  Ninja build file generator for the Linux kernel
  ☆56Updated 5 years ago
• project-oak / hafnium-verification
  ☆28Updated 5 years ago
• intel / ikgt-uefi-loader
  Support UEFI load
  ☆10Updated 10 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆210Updated 5 years ago
• cemeyer / structhole
  A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)
  ☆22Updated 8 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆83Updated 11 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆58Updated last year
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆156Updated 3 years ago