dslab-epfl / lfi

Related projects: ⓘ

• gsstark / libfuzzer-pg
  ☆24Updated 7 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆37Updated 7 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• SeanHeelan / InterParser
  A collection of scripts based on libclang for extracting API information from interpreters
  ☆24Updated 12 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 10 years ago
• thinkmoore / llvm-analysis
  Static analysis for llvm
  ☆20Updated 9 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆23Updated 9 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆27Updated 3 months ago
• dyninst / tools
  Tools built using Dyninst or Dyninst component libraries.
  ☆23Updated last year
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆42Updated 8 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 7 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆35Updated 3 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆75Updated 6 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
• mechaphish / multiafl
  AFL, modified to support multi-CB challenge sets for CGC.
  ☆18Updated 8 years ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆28Updated 8 years ago
• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆22Updated 9 years ago
• typetools / sparta
  Static Program Analysis for Reliable Trusted Apps
  ☆21Updated 5 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆29Updated 10 years ago
• LogicalTrust / minerva_lib
  polish fuzzy lop - fuzzer for libraries/APIs/*
  ☆30Updated last year
• ANSSI-FR / picon
  Picon
  ☆38Updated 7 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 2 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• Navidem / binarymutation
  The Binary Mutation code based on Uroboros
  ☆14Updated 5 years ago
• argp / bap
  Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.
  ☆33Updated 9 years ago
• angr / secdev-course
  ☆20Updated 6 years ago