Retargetable multi-level debugging in HW/SW codesign

Křoustek, Jakub; Přikryl, Zdeněk; Kolář, Dušan; Hruška, Tomáš

doi:10.1109/icm.2011.6177413

Cited by 3 publications

(5 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(2) In the operation part, processor instruction set (i.e., assembler language syntax, binary encoding, and behavior of each instruction) is specified. ISAC is, for example, used for ASIP design and automatic generation of a complete toolchain-C/C++ compiler [23], several simulator types [24], multi-level debugger [25], etc.…”

Section: Lissom Project's Retargetable Decompilermentioning

confidence: 99%

Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler

Durfina

Křoustek

et al. 2012

2012 19th Working Conference on Reverse Engineering

Self Cite

View full text Add to dashboard Cite

Detection and recovery of high-level control structures, such as functions and their arguments, plays an important role in decompilation. It has a direct impact on the quality of the generated code because it is needed for generating functionally equivalent and highly readable code. In this paper, we present an innovative, platform-independent method of detection and recovery of functions and their arguments. This method is based on static code interpretation and iterative bidirectional search over reconstructed basic blocks. This approach has been adopted and tested in an existing retargetable decompiler. According to our experimental results, the proposed retargetable solution is fully competitive with existing hand-coded decompilers.

show abstract

Section: Lissom Project's Retargetable Decompilermentioning

confidence: 99%

Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler

Durfina

Křoustek

et al. 2012

2012 19th Working Conference on Reverse Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…The platform-specific analysis of executables is a partially solved problem, because implementation of such tool is a straightforward task [8,15]. The existing toolchains usually contain both dynamic and static tools.…”

Section: State Of the Artmentioning

confidence: 99%

“…In other projects (ArchC, Sim-nML, EXPRESSION, LISA, etc), the situation is very similar -they support various types of automatically-generated simulators and debuggers, but the static analysis is very limited [8].…”

Section: State Of the Artmentioning

confidence: 99%

“…The debugger allows dynamic analysis on the different levels (e.g. microarchitecture, instruction level, and source-level) [8]. The first two levels do not need any additional information, while the source-level debugger needs debugging information.…”

Section: Figmentioning

confidence: 99%

“…Debugging information can be exploited for generating translated simulator that can achieve higher speeds (up to 120 MHz, in average 113MHz [12]). The simulation speed drop off in debugging mode is about 1-12% based on the number of breakpoints and their positions within machine-code [8].…”

Section: Executable With Debugging Informationmentioning

confidence: 99%

See 2 more Smart Citations

Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis

Křoustek¹,

Kolář²

2013

AIP

View full text Add to dashboard Cite

Abstract:Program comprehension and reverse engineering are two large domains of computer science that have one common goal -analysis of existing programs and understanding their behaviour. In present, methods of source-code analysis are well established and used in practice by software engineers. On the other hand, analysis of executable code is a more challenging task that is not fully covered by existing tools. Furthermore, methods of retargetable executable-code analysis are rare because of their complexity. In this paper, we present a complex platform-independent toolchain for executable-code analysis that supports both static and dynamic analysis. This toolchain, developed within the Lissom project, exploits several previously designed methods and it can be used for debugging user's applications as well as malware analysis, etc. The main contribution of this paper is to interconnect the existing methods and illustrate their usage on the real-world scenarios. Furthermore, we introduce a concept of a new retargetable method -the hybrid analysis. It can eliminate the shortcomings of the static and dynamic analysis in future.

show abstract

Context parsing (not only) of the object-file-format description language

Křoustek

Kolář

2013

COMSIS J

View full text Add to dashboard Cite

The very first step of each tool such as linker, disassembler, or debugger is parsing of an input executable or object file. These files are stored in one of the existing object file formats (OFF). Retargetable tools are not limited to any particular target platform and they have to deal with handling of several OFFs. Handling of these formats is similar to parsing of computer languages - both of them have a predefined structure and a list of allowed constructions. However, OFF constructions are heavily mutually interconnected and they create context-sensitive units. In present, there is no generic system, which can be used for OFF description and its effective parsing. In this paper, we propose a formal language that can be used for OFF description. Furthermore, we present a design of a context parser of this language that is based on the formal models. The major advance of this solution is an ability to describe context-sensitive properties on the level of the language itself. This concept is planned to be used in the existing retargetable decompiler developed within the Lissom project. In this project, the language and its parser will be used for an object file parsing and its automatic conversion into the internal uniform file format. It is important to say that the concept of this parser can be utilized within other programming languages.

show abstract

Retargetable multi-level debugging in HW/SW codesign

Cited by 3 publications

References 3 publications

Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler

Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler

Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis

Context parsing (not only) of the object-file-format description language

Contact Info

Product

Resources

About