Programming-Systems-Lab / dyclink

Related projects: ⓘ

• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 3 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• Ljiee / fairfuzz
  ☆14Updated 6 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆54Updated 5 years ago
• yotsubo / o-glassesX
  ☆10Updated 4 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• samir4321 / neural-taint-analysis
  implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'
  ☆13Updated 5 years ago
• nettrino / slowfuzz
  ☆50Updated 6 years ago
• neu-se / CONFETTI
  ☆18Updated last year
• sslab-gatech / caver
  ☆25Updated 8 years ago
• Aurore54F / HideNoSeek
  Static data flow-based analysis of JavaScript files to detect syntactic clones
  ☆22Updated 4 years ago
• VulnReproduction / VulnReproduction.github.io
  Home page for this github organization
  ☆22Updated 6 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆86Updated 6 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated 9 months ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 5 years ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆30Updated 4 months ago
• fabsx00 / querygen
  ☆11Updated 9 years ago
• havrikov / covering-input-structure
  Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
  ☆9Updated last year
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆60Updated 2 years ago
• cxreet / razor
  ☆39Updated 3 years ago
• isstac / badger
  ☆20Updated 5 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆42Updated 4 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆17Updated 3 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆40Updated 6 years ago
• VulnLoc / VulnLoc
  ☆26Updated 2 years ago
• Henrygwb / deepvsa
  ☆43Updated 2 years ago
• Dynamic-Rabbits / Dynamic-Rabbits
  ☆19Updated 2 years ago
• RiS3-Lab / muse
  Source code of MEUZZ fuzzer
  ☆43Updated 2 years ago