Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493385zbMATH OpenFDO

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)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Cited in

(3)

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

Describes a project that uses

Uses Software

• MOPS
• Bandera
• Java PathFinder
• SLAM

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)