research
∙
11/07/2022
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)
In the realm of sound object-oriented program analyses for information-f...
research
∙
11/02/2022