A static analysis tool for MPI RMA properties using Phasar.
-
Updated
Jul 31, 2019 - LLVM
A static analysis tool for MPI RMA properties using Phasar.
Static code analysis tool based on the PhASAR framework
Add a description, image, and links to the phasar topic page so that developers can more easily learn about it.
To associate your repository with the phasar topic, visit your repo's landing page and select "manage topics."