There are 0 repository under interprocedural topic.
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
A CFL-r-based static analyser
Custom-LLVM for Interprocedural Dependencies Checking and Fault Injection in Hardware Register.