Alternatives and similar repositories for soaap:

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

• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 11 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆27Updated 8 months ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 4 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆41Updated 9 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• klee / klee-web
  KLEE in the browser
  ☆51Updated 7 months ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆59Updated this week
• utds3lab / sgx-log
  Securing System Logs With Intel SGX
  ☆14Updated 7 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆55Updated 9 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 3 months ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 3 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆99Updated 4 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 7 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆51Updated 8 months ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆27Updated 4 years ago
• kengiter / RuntimeASLR
  Re-randomizing the memory layout of a process at runtime
  ☆21Updated 8 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 9 years ago