Alternatives and similar repositories for linux-source-3.13.2-cgc

Users that are interested in linux-source-3.13.2-cgc are comparing it to the libraries listed below

• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 9 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆49Updated 3 months ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆78Updated 8 years ago
• mechaphish / qemu-cgc
  QEMU modified to run CGC binaries.
  ☆13Updated 3 years ago
• kengiter / RuntimeASLR
  Re-randomizing the memory layout of a process at runtime
  ☆21Updated 9 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 12 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆34Updated 5 years ago
• sslab-gatech / aslr-guard
  Preventing code-reuse attacks by stopping code pointer leakages
  ☆37Updated 9 years ago
• angr / angr-z3
  The Z3 Theorem Prover - repository for staging python distributions
  ☆52Updated 6 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 11 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆32Updated 4 months ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• bitblaze-fuzzball / d-s-se-directed-tests
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Updated 6 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• CyberGrandChallenge / cgc2elf
  Convert Challenge Binaries to shared objects so service pollers can make use of the algorithm implementations
  ☆14Updated 9 years ago
• HexHive / HexVASAN
  ☆17Updated 6 years ago
• mechaphish / compilerex
  POV templates and compilation support for CGC binaries.
  ☆10Updated 3 years ago
• googleprojectzero / reil
  ☆60Updated 6 years ago
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆34Updated last year
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 8 months ago
• S2E / s2e-linux-kernel
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Updated last year
• mechaphish / multiafl
  AFL, modified to support multi-CB challenge sets for CGC.
  ☆19Updated 9 years ago
• GrammaTech / gtirb-rewriting
  Python API for rewriting GTIRB files
  ☆19Updated 3 months ago
• brainsmoke / minemu
  Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
  ☆42Updated 5 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆127Updated 3 years ago
• angr / binaries
  A repository with binaries for angr tests and examples.
  ☆63Updated last week
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• revng / qemu-upstream
  Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…
  ☆17Updated 2 months ago
• trtikm / Rebours
  A framework for control-flow recovery in binary programs.
  ☆10Updated 7 years ago
• angr / unicorn
  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
  ☆14Updated 6 years ago