sslab-gatech / ucognito

Related projects ⓘ

Alternatives and complementary repositories for ucognito

• klee / klee-web
  KLEE in the browser
  ☆50Updated 4 months ago
• bshastry / melange-checkers
  Clang SA checkers developed as part of the Melange framework
  ☆17Updated 8 years ago
• nettrino / IntFlow
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Updated 9 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆65Updated 9 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆58Updated 4 years ago
• programa-stic / ropc-llvm
  ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.
  ☆66Updated 11 years ago
• MozillaSecurity / quokka
  INACTIVE - http://mzl.la/ghe-archive - Quokka is a utility to launch and monitor application for faults.
  ☆40Updated 5 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 7 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆83Updated 8 years ago
• d33tah / aflize
  A program that automatically generates AFL-enabled builds of Debian packages.
  ☆92Updated 4 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 7 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆79Updated 6 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• susperius / PyFuzz2
  My little fuzzing framework inspired by grinder
  ☆99Updated 7 years ago
• maurer / symfuzz
  ☆61Updated 9 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆42Updated 3 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆113Updated 7 years ago
• sslab-gatech / caver
  ☆25Updated 9 years ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 4 years ago
• axt / bingraphvis
  ☆42Updated 2 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆91Updated 6 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆239Updated 11 months ago
• intel / jit-spray-poc-for-ksp
  ☆28Updated 2 years ago
• dariosharp / SZpy
  Z3 Symbolic Execution python
  ☆28Updated 6 years ago
• S2E / docs
  Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
  ☆76Updated 4 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆74Updated 3 years ago