Par4All / par4all Star 51 Code Issues Pull requests Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs fortran opencl c99 cuda parallelization abstract-interpretation automatic-parallelization interprocedural polyhedral-model Updated May 20, 2015 C
JetBrains-Research / CoFRA Star 6 Code Issues Pull requests A CFL-r-based static analyser static-code-analysis resharper taint-analysis interprocedural analysers cfl-r Updated Nov 13, 2019 C#
llvm-faultinjector / llvm-fault-injector Star 1 Code Issues Pull requests Custom-LLVM for Interprocedural Dependencies Checking and Fault Injection in Hardware Register. llvm dependency-analysis fault-injection interprocedural custom-llvm Updated Jan 21, 2023 LLVM
kshitijgorde / Interprocedural-CFG Star 0 Code Issues Pull requests java static-analysis control-flow-graph soot cfg interprocedural Updated Feb 4, 2018 GAP