Alternating Control Flow Reconstruction

DOI10.1007/978-3-642-27940-9_18zbMath1326.68099OpenAlexW71443740MaRDI QIDQ2891419

Johannes Kinder, Dmitry Kravchenko

Publication date: 15 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://infoscience.epfl.ch/record/170009/files/vmcai12.pdf

Mathematics Subject Classification ID

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

Uses Software

• DART
• BitBlaze
• Jakstab

Cites Work

• Refinement-Based CFG Reconstruction from Unstructured Programs
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• Compiler Construction

This page was built for publication: Alternating Control Flow Reconstruction