Alternatives and similar repositories for OSTEP-slides

Users that are interested in OSTEP-slides are comparing it to the libraries listed below

• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 5 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• Lawliar / ConAFL
  AFL enhanced for concurrency bug and vulnerabilities
  ☆20Updated 4 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆24Updated 2 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 2 weeks ago
• tl455047 / DTaint
  Dtaint: taint analysis based on DFSan and llvm instrumentation
  ☆28Updated 3 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• axt / cfg-explorer
  CFG explorer for binaries
  ☆81Updated 7 months ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated 2 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• puzhuoliu / Awesome-Concurrency-Vulnerability-Paper
  Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.
  ☆13Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆29Updated 2 years ago
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Updated 5 years ago
• secartifacts / secartifacts.github.io
  Website for Research Artifacts from the Security Community
  ☆18Updated last week
• pangine / disasm-benchmark
  Pangine disassembly ground truth benchmark
  ☆11Updated 4 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• yijiufly / SigmaDiff
  Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"
  ☆18Updated last year
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆14Updated last year
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 6 years ago
• fuzzm / fuzzm-project
  ☆28Updated 3 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆29Updated 4 years ago