Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)

Nicolas Berthier, Narges Khakpour

In the realm of sound object-oriented program analyses for information-flow control, very few approaches adopt flow-sensitive abstractions of the heap that enable a precise modelin…