A New Algorithm for Identifying Loops in Decompilation

DOI10.1007/978-3-540-74061-2_11MaRDI QIDQ3612001zbMATH OpenOpenAlexFDO

Authors Tao Wei, Jian Mao, Wei Zou, Yu Chen

Publication date 3 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74061-2_11

zbMATH Keywords

control flow analysisdecompilationloop identifyingunstructuredness coefficient

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• On the detection of some loops in recursive computations
• Detecting loop-carried dependences in programs with dynamic data structures
• Alternating control flow reconstruction
• Loop Analysis by Quantification over Iterations
• A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
• Control flow obfuscation with irreducible loops and self-modifying code

Cited in

(3)

• scientific article; zbMATH DE number 3907745 (Why is no real title available?)
• scientific article; zbMATH DE number 7453190 (Why is no real title available?)
• Lower-bound synthesis using loop specialization and Max-SMT

This page was built for publication: A New Algorithm for Identifying Loops in Decompilation

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