static-program-analysis

There are 0 repository under static-program-analysis topic.

• meton-robean / CFG_DFG_generator

  generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG

  cfg-dfg-generatorllvmmcsemastatic-program-analysis
  Language:C++ 36
• flowr

  Code-Inspect / flowr

  A program slicer and dataflow analyzer for the R programming language.

  dataflow-analysisprogram-slicingrstatic-analyzerstatic-program-analysis
  Language:TypeScript 13

• ruudkoot / phd

  Stuff related to my Ph.D. research

  static-program-analysisterm-rewritingtype-inferenceunification-algorithm
  Language:Haskell 3

• rtshkmr / CS3203-StaticProgramAnalyzer

  🌸 A Static Program Analyzer for a made-up programming language called SIMPLE, with a made-up query language called PQL (Program Query Language). Written entirely in C++, without any dependencies, this reinventing of the wheel was a genuine journey of growth as part of a team of 6, Team 35 🌸

  cpp17static-program-analysis
  Language:C++ 1