niklasb / tcr

Related projects ⓘ

Alternatives and complementary repositories for tcr

• openjudge / sandbox
  The sandbox libraries (libsandbox & pysandbox) are an open-source suite of software components for C/C++ and Python developers to create …
  ☆184Updated 11 years ago
• trailofbits / RaceSanitizer
  A dynamic data race detector for programs
  ☆14Updated 8 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆13Updated 7 years ago
• HexHive / datashield
  ☆17Updated 3 years ago
• dyninst / tools
  Tools built using Dyninst or Dyninst component libraries.
  ☆24Updated last year
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆26Updated 5 months ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated 11 months ago
• drepper / gcc-opt-enabled
  ☆14Updated 2 years ago
• rizlik / dropper
  Automatic ROP chain generator
  ☆11Updated 9 years ago
• Cisco-Talos / crashdog
  ☆18Updated 6 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 3 years ago
• LogicalTrust / minerva_lib
  polish fuzzy lop - fuzzer for libraries/APIs/*
  ☆31Updated last year
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 6 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• bitblaze-fuzzball / d-s-se-directed-tests
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Updated 4 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• joxeankoret / ubsnippets
  Undefined Behaviour Snippets
  ☆17Updated 7 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆58Updated 4 years ago
• jbrower95 / crop
  ROP Payload Compiler
  ☆11Updated 7 years ago
• jcdutton / reference
  Reference material for libbeauty
  ☆25Updated 2 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• disasmwinnie / proxbbe
  ProXBBE (Protocol eXtraction By Binary Execution)
  ☆30Updated 7 years ago
• MohamadMansouri / funcDiffEval
  Evaluating function diffing existing techniques
  ☆11Updated 5 years ago
• saadtaame / pairing-heap
  A c++ implementation of the Two-Pass Pairing Heap data structure.
  ☆11Updated 8 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated 9 months ago
• dtzWill / ioc-clang
  Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…
  ☆22Updated 12 years ago
• sciencemanx / symexec
  Basic x86 Symbolic Execution for educational purposes
  ☆18Updated 7 years ago
• jhector / breakout
  hacklu2014 x86_64 exploitation challenge using DWARF bytecode
  ☆21Updated 10 years ago