#

interprocedural

Here are 4 public repositories matching this topic...

Par4All / par4all

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

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

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

java static-analysis control-flow-graph soot cfg interprocedural

Updated Feb 4, 2018
GAP

Improve this page

Add a description, image, and links to the interprocedural topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the interprocedural topic, visit your repo's landing page and select "manage topics."