Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with CFL-Reachability

Jingbo Lu. Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with CFL-Reachability. PhD thesis, University of New South Wales, Sydney, Australia, 2020. [doi]

No reviews for this publication, yet.