Securing the SSA transform

DOI10.1007/978-3-319-66706-5_5zbMATH Open1420.68055OpenAlexW2747928832MaRDI QIDQ5233238FDOQ5233238

Authors: 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

Recommendations

• Securing a compiler transformation
• Securing a compiler transformation
• RSSA: A Reversible SSA Form
• A verifiable SSA program representation for aggressive compiler optimization
• Abstract State Machines 2004. Advances in Theory and Practice

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (7)

• Partial SSA form: compact representation for programs with indirect memory operations
• Euro-Par 2004 Parallel Processing
• Programming Languages and Systems
• RSSA: A Reversible SSA Form
• Securing a compiler transformation
• Securing a compiler transformation
• Algorithms for computing the static single assignment form

Uses Software

• CVT

This page was built for publication: Securing the SSA transform

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5233238)