static-program-analysis

There are 6 repositories 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
Language:C++41 2 19
flowr-analysis/flowr
A program slicer and dataflow analyzer for the R programming language.
Language:TypeScript36 2 7663
ruudkoot/phd
Stuff related to my Ph.D. research
Language:Haskell3 2 00
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 🌸
Language:C++1 2 03
ruitianzhong/Tai-e-assignments
Static program analysis assignments based on Tai-e
Language:Java0 1 00
SwathiSBhat/Static-program-analysis-techniques
Implementation of different forms of static program analysis techniques
Language:C++0 1 00