Slicing unconditional jumps with unnecessary control dependencies

DOI10.1007/978-3-030-68446-4_15OpenAlexW3130060996MaRDI QIDQ2119123

Yanyan Li

Publication date: 23 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-68446-4_15

zbMATH Keywords

program analysisprogram slicingunconditional jumps

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Specifying Imperative Data Obfuscations
• The program dependence graph and its use in optimization

This page was built for publication: Slicing unconditional jumps with unnecessary control dependencies