Nguyen Quang Do, L.2022-03-022022-03-022021978-1-4503-8468-1https://publica.fraunhofer.de/handle/publica/166889SOAP 2021, 10th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis. Proceedings