This a pointer analysis framework for symbolic execution applications. For more details, read this paper: https://davidtr1037.github.io/files/fse20main-p237-p-deb5bc6-47564-final.pdf

Source Code

The source code is available here: https://github.com/davidtr1037/klee-pspa.

Replication Package

The replication package is available here: https://srg.doc.ic.ac.uk/projects/pspa/artifact.html