Topic: "static-program-analysis"
flowr-analysis/flowr
Sophisticated static program analysis framework for the R programming language.
Language: TypeScript - Size: 29.1 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 76 - Forks: 9
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++ - Size: 610 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 34 - Forks: 9
ruudkoot/phd
Stuff related to my Ph.D. research
Language: Haskell - Size: 136 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
nkrusch/dissertation
My doctoral dissertation ❀
Language: TeX - Size: 30.9 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
SwathiSBhat/Static-program-analysis-techniques
Implementation of different forms of static program analysis techniques
Language: C++ - Size: 6.14 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
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++ - Size: 7.3 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 2
