Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68381MaRDI QIDQ5493385FDOQ5493385

Authors: Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum, Thomas Reps 

Publication date: 20 October 2006

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

Recommendations

• Compiler Construction
• Recovery of jump table case statements from binary code
• Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables
• Relational abstract interpretation of arrays in assembly code
• Verified abstract interpretation techniques for disassembling low-level self-modifying code

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (3)

• Compiler Construction
• Recovery of jump table case statements from binary code
• Interactive function identification decreasing the effort of reverse engineering

Uses Software

• SLAM
• Java PathFinder
• Bandera
• MOPS

This page was built for publication: Programming Languages and Systems

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