Rebecca Ghidini

C-2PO: Thesis About a Weakly-Relational Pointer Analysis

2

This PR introduces a weakly-relational analysis between pointers (ref: [2-pointer Logic by Seidl et al.](https://link.springer.com/chapter/10.1007/978-3-031-56222-8_16])). The analysis can infer must-equalities and must-disequalities between terms which are built from pointer variables,...

example Kappa model that throws the error: ``` %agent: A(x y z) %agent: B(x y) %init: 1 A(),B() A(y[.]), A(y[.]), B(y[.]) -> ., A(y[1]), B(y[1]) @ 1 A(y[.]), A(z[_],x[.],y[.]), B(y[.])...