Skip to content

Consolidate pointer-aliasing analyses

Original issue created by @PhilippWendler on 2017-09-07 at 15:35:46, last modified on 2017-09-07 at 18:24:02

Currently there are at least two CPAs for pointer-alias analysis, the AndersenCPA and the PointerCPA (in the pointer2 package). It should be evaluated whether these two CPAs can be merged into a single CPA, which should be sound and fast enough such that it can be added to most standard configurations of CPAchecker.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information