Object-file-format description language and its usage in retargetable decompilation.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Object-file-format description language and its usage in retargetable decompilation.
Συγγραφείς: Krˇoustek, Jakub, Kolárˇ, Dusˇan
Πηγή: AIP Conference Proceedings; Sep2012, Vol. 1479 Issue 1, p466-469, 4p, 1 Diagram
Θεματικοί όροι: Formal languages, Binary number system, Decompilers (Computer programs), Coding theory, Programming languages, Computer architecture, Computer operating systems
Περίληψη: Parsing and processing of binary object files is a preliminary task of several tools, such as linkers, disassemblers, and debuggers. Retargetable tools, i.e. tools that are not limited to a particular platform, have to deal with handling of several object file formats. However, there is no generic system, which can be used for this task at the moment. In this paper, the formal language for the description of object file formats is proposed. This language is used in the existing retargetable decompiler developed within the Lissom project. In this project, the language is used for an object file parsing and its automatic conversion into the internal COFF-based file format. Furthermore, the language is general enough to be used in other retargetable tools. We illustrate the usage of this language on the ELF file format. [ABSTRACT FROM AUTHOR]
Copyright of AIP Conference Proceedings is the property of American Institute of Physics and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Βάση Δεδομένων: Complementary Index
FullText Text:
  Availability: 0
Header DbId: edb
DbLabel: Complementary Index
An: 80711792
RelevancyScore: 849
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 849.346557617188
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Object-file-format description language and its usage in retargetable decompilation.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Krˇoustek%2C+Jakub%22">Krˇoustek, Jakub</searchLink><br /><searchLink fieldCode="AR" term="%22Kolárˇ%2C+Dusˇan%22">Kolárˇ, Dusˇan</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: AIP Conference Proceedings; Sep2012, Vol. 1479 Issue 1, p466-469, 4p, 1 Diagram
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Formal+languages%22">Formal languages</searchLink><br /><searchLink fieldCode="DE" term="%22Binary+number+system%22">Binary number system</searchLink><br /><searchLink fieldCode="DE" term="%22Decompilers+%28Computer+programs%29%22">Decompilers (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Coding+theory%22">Coding theory</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+architecture%22">Computer architecture</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+operating+systems%22">Computer operating systems</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Parsing and processing of binary object files is a preliminary task of several tools, such as linkers, disassemblers, and debuggers. Retargetable tools, i.e. tools that are not limited to a particular platform, have to deal with handling of several object file formats. However, there is no generic system, which can be used for this task at the moment. In this paper, the formal language for the description of object file formats is proposed. This language is used in the existing retargetable decompiler developed within the Lissom project. In this project, the language is used for an object file parsing and its automatic conversion into the internal COFF-based file format. Furthermore, the language is general enough to be used in other retargetable tools. We illustrate the usage of this language on the ELF file format. [ABSTRACT FROM AUTHOR]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>Copyright of AIP Conference Proceedings is the property of American Institute of Physics and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=80711792
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1063/1.4756167
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 4
        StartPage: 466
    Subjects:
      – SubjectFull: Formal languages
        Type: general
      – SubjectFull: Binary number system
        Type: general
      – SubjectFull: Decompilers (Computer programs)
        Type: general
      – SubjectFull: Coding theory
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Computer architecture
        Type: general
      – SubjectFull: Computer operating systems
        Type: general
    Titles:
      – TitleFull: Object-file-format description language and its usage in retargetable decompilation.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Krˇoustek, Jakub
      – PersonEntity:
          Name:
            NameFull: Kolárˇ, Dusˇan
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 26
              M: 09
              Text: Sep2012
              Type: published
              Y: 2012
          Identifiers:
            – Type: issn-print
              Value: 0094243X
          Numbering:
            – Type: volume
              Value: 1479
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: AIP Conference Proceedings
              Type: main
ResultId 1