article

Recovery of jump table case statements from binary code

Authors:

Cristina Cifuentes,

Mike Van EmmerikAuthors Info & Claims

Science of Computer Programming, Volume 40, Issue 2-3

Pages 171 - 188

https://doi.org/10.1016/S0167-6423(01)00014-4

Published: 01 July 2001 Publication History

Abstract

No abstract available.

Cited By

View all

Jiang MDai QZhang WChang RZhou YLuo XWang RLiu YRen K(2023)A Comprehensive Study on ARM Disassembly ToolsIEEE Transactions on Software Engineering10.1109/TSE.2022.318781149:4(1683-1703)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1109/TSE.2022.3187811
An XVerbeek FRavindran B(2022)DSV: Disassembly Soundness Validation Without Assuming a Ground TruthNASA Formal Methods10.1007/978-3-031-06773-0_34(636-655)Online publication date: 24-May-2022
https://dl.acm.org/doi/10.1007/978-3-031-06773-0_34
Jiang MZhou YLuo XWang RLiu YRen KKhurshid SPăsăreanu C(2020)An empirical study on ARM disassembly toolsProceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3395363.3397377(401-414)Online publication date: 18-Jul-2020
https://dl.acm.org/doi/10.1145/3395363.3397377
Show More Cited By

Index Terms

Recovery of jump table case statements from binary code
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Error handling and recovery
    2. Software verification and validation
      1. Process validation
        Walkthroughs
  2. Software notations and tools
    1. Compilers
      1. Source code generation

Recommendations

Recovery of Jump Table Case Statements from Binary Code
IWPC '99: Proceedings of the 7th International Workshop on Program Comprehension

One of the fundamental problems with the analysis of binary (executable) code is that of recognizing, in a machine-independent way, the target addresses of n-conditional branches implemented via a jump table. Without these addresses, the decoding of the ...
Code automorphisms and permutation decoding of certain Reed-Solomon binary images

We consider primitive Reed-Solomon (RS) codes over the field F₂^m of length n = 2^m - 1. Building on Lacan et al.'s results for the case of binary extension fields, we show that the binary images of certain two-parity symbol RS [n, n - 2,3] code, have a ...
Detecting code clones in binary executables
ISSTA '09: Proceedings of the eighteenth international symposium on Software testing and analysis

Large software projects contain significant code duplication, mainly due to copying and pasting code. Many techniques have been developed to identify duplicated code to enable applications such as refactoring, detecting bugs, and protecting intellectual ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Science of Computer Programming

Science of Computer Programming Volume 40, Issue 2-3

Special issue on program comprehension (IWPC '99)

July 2001

109 pages

ISSN:0167-6423

Editors:
E. Astesiano
Univ. di Genova, Genoa, Italy
,
J. Bergstra
Univ. of Amsterdam, Amsterdam, The Netherlands
,
Dennis Smith
Carnegie Mellon Univ., Pittsburgh, PA
,
Steve Woods
Carnegie Mellon Univ., Pittsburgh, PA

Issue’s Table of Contents

Publisher

Elsevier North-Holland, Inc.

United States

Publication History

Published: 01 July 2001

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jiang MDai QZhang WChang RZhou YLuo XWang RLiu YRen K(2023)A Comprehensive Study on ARM Disassembly ToolsIEEE Transactions on Software Engineering10.1109/TSE.2022.318781149:4(1683-1703)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1109/TSE.2022.3187811
An XVerbeek FRavindran B(2022)DSV: Disassembly Soundness Validation Without Assuming a Ground TruthNASA Formal Methods10.1007/978-3-031-06773-0_34(636-655)Online publication date: 24-May-2022
https://dl.acm.org/doi/10.1007/978-3-031-06773-0_34
Jiang MZhou YLuo XWang RLiu YRen KKhurshid SPăsăreanu C(2020)An empirical study on ARM disassembly toolsProceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3395363.3397377(401-414)Online publication date: 18-Jul-2020
https://dl.acm.org/doi/10.1145/3395363.3397377
Escalada JOrtin FScully T(2017)An Efficient Platform for the Automatic Extraction of Patterns in Native CodeScientific Programming10.1155/2017/32738912017(3)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1155/2017/3273891
Gedich ALazdin A(2015)Improved algorithm for identification of switch tables in executable codeProceedings of the 17th Conference of Open Innovations Association FRUCT10.1109/FRUCT.2015.7117969(44-49)Online publication date: 27-Apr-2015
https://dl.acm.org/doi/10.1109/FRUCT.2015.7117969
Flexeder AMihaila BPetter MSeidl H(2010)Interprocedural control flow reconstructionProceedings of the 8th Asian conference on Programming languages and systems10.5555/1947873.1947892(188-203)Online publication date: 28-Nov-2010
https://dl.acm.org/doi/10.5555/1947873.1947892
Izumida TFutatsugi KMori A(2010)A generic binary analysis method for malwareProceedings of the 5th international conference on Advances in information and computer security10.5555/1927197.1927216(199-216)Online publication date: 22-Nov-2010
https://dl.acm.org/doi/10.5555/1927197.1927216
Paleari RMartignoni LFresi Roglia GBruschi DTonella POrso A(2010)N-version disassemblyProceedings of the 19th international symposium on Software testing and analysis10.1145/1831708.1831741(265-274)Online publication date: 12-Jul-2010
https://dl.acm.org/doi/10.1145/1831708.1831741
Barrett EKing A(2010)Range and Set Abstraction using SATElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2010.09.003267:1(17-27)Online publication date: 1-Oct-2010
https://dl.acm.org/doi/10.1016/j.entcs.2010.09.003
Nebenzahl DSagiv MWool A(2006)Install-Time Vaccination of Windows Executables to Defend against Stack Smashing AttacksIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2006.143:1(78-90)Online publication date: 1-Jan-2006
https://dl.acm.org/doi/10.1109/TDSC.2006.14
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Recovery of Jump Table Case Statements from Binary Code

Code automorphisms and permutation decoding of certain Reed-Solomon binary images

Detecting code clones in binary executables

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations