[SOAP'23] Sound and Precise Static Analysis using a generalization of Static Single Assignment(…) | ACM SIGPLAN | Podwise