Alternatives and similar repositories for dyclink:

Users that are interested in dyclink are comparing it to the libraries listed below

• 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
• Aurore54F / HideNoSeek
  Static data flow-based analysis of JavaScript files to detect syntactic clones
  ☆22Updated 4 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆63Updated 3 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆54Updated 5 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• sslab-gatech / caver
  ☆26Updated 9 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• DeepSoftwareAnalytics / LibDB
  ☆34Updated 2 years ago
• fabsx00 / querygen
  ☆11Updated 9 years ago
• sola-da / StaticBugCheckers
  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…
  ☆11Updated 6 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• isstac / badger
  ☆20Updated 6 years ago
• twelveand0 / CarrotsBlender
  holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…
  ☆20Updated 4 years ago
• yahnik / TaintTracking
  Implementation of Taint Tracking in LLVM compiler.
  ☆10Updated 12 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated last year
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• havrikov / covering-input-structure
  Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
  ☆9Updated last year
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆26Updated 6 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago
• squizz617 / vuddy
  VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
  ☆52Updated 7 months ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆42Updated 3 years ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• eth-sri / learch
  ☆39Updated last year
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• secure-software-engineering / ideal
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Updated 6 years ago
• srasthofer / FuzzDroid
  ☆22Updated 7 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated 2 weeks ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 6 years ago