Securing the SSA Transform

DOI10.1007/978-3-319-66706-5_5zbMath1420.68055OpenAlexW2747928832MaRDI QIDQ5233238

Chaoqiang Deng, Kedar S. Namjoshi

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66706-5_5

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (1)

Securing a compiler transformation

Uses Software

• CVT

This page was built for publication: Securing the SSA Transform