Alternatives and similar repositories for Determinator

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

• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 years ago
• ut-osa / txos
  Operating system demonstrating system transactions
  ☆16Updated 8 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 12 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• coccinelle / coccinellery
  ☆113Updated last year
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆62Updated this week
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 3 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆50Updated last month
• intel / ikgt-uefi-loader
  Support UEFI load
  ☆10Updated 10 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 8 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆30Updated 7 years ago
• UTSASRG / FreeGuard
  ☆37Updated 7 years ago
• stefanheule / x86_64-instruction-count
  How many x86_64 instructions are there anyway?
  ☆22Updated 9 years ago
• nestedkernel / PerspicuOS
  This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…
  ☆55Updated 8 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆44Updated 9 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• trailofbits / RaceSanitizer
  A dynamic data race detector for programs
  ☆15Updated 9 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆52Updated 10 years ago
• 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
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆77Updated 9 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated last year
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• metta-systems / metta
  Metta OS
  ☆71Updated 10 months ago
• intel / satt
  ☆74Updated 3 years ago
• luhsra / multiverse
  A (GCC) compiler plugin for multiversing functions
  ☆20Updated 3 years ago