Securing the SSA transform

DOI10.1007/978-3-319-66706-5_5MaRDI QIDQ5233238zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

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

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

Describes a project that uses

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)