Matches in SemOpenAlex for { <https://semopenalex.org/work/W1600917768> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1600917768 abstract "We describe an unusual application of dataflow analysis to reverse compilation from assembler source to ANSI-C. Most real architectures support (or more usually, mandate) the use of register-based operands in computations and provide status bits which are set as an implicit side-effect of arithmetic instructions. Naive translation of these semantics into C yields programs which are dominated by references to registers and the calculation of status results. The target processor for our reverse compiler is particularly prone to these effects since the functional units are surrounded by pipeline registers which must be loaded and unloaded around each computation, but the problem is common to all reverse compilers: how to render the computational core of a low-level algorithm in high level code that is comfortable for a human to read and which maintains the low level semantics. We apply a brute-force dataflow analysis to provide exact use-define information at all program points and then follow the use-define relationships to back-substitute expressions in an effort to remove register references. We also suppress dead status code calculations and perform limited alias analysis for some special purpose registers which can be accessed via more than one name. We show that use of these techniques can significantly reduce the degree to which the underlying architecture ‘shows through’ into the resulting C translation and that the computation times required are manageable for one-off translations." @default.
- W1600917768 created "2016-06-24" @default.
- W1600917768 creator A5008283753 @default.
- W1600917768 creator A5013759583 @default.
- W1600917768 date "2004-01-01" @default.
- W1600917768 modified "2023-09-27" @default.
- W1600917768 title "Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis" @default.
- W1600917768 cites W1578878051 @default.
- W1600917768 cites W1968803687 @default.
- W1600917768 cites W1981131019 @default.
- W1600917768 cites W2062949039 @default.
- W1600917768 cites W2070251230 @default.
- W1600917768 cites W2094080019 @default.
- W1600917768 cites W2134312016 @default.
- W1600917768 doi "https://doi.org/10.1007/978-3-540-30113-4_8" @default.
- W1600917768 hasPublicationYear "2004" @default.
- W1600917768 type Work @default.
- W1600917768 sameAs 1600917768 @default.
- W1600917768 citedByCount "0" @default.
- W1600917768 crossrefType "book-chapter" @default.
- W1600917768 hasAuthorship W1600917768A5008283753 @default.
- W1600917768 hasAuthorship W1600917768A5013759583 @default.
- W1600917768 hasConcept C111919701 @default.
- W1600917768 hasConcept C115168132 @default.
- W1600917768 hasConcept C128916667 @default.
- W1600917768 hasConcept C169590947 @default.
- W1600917768 hasConcept C173608175 @default.
- W1600917768 hasConcept C184337299 @default.
- W1600917768 hasConcept C199360897 @default.
- W1600917768 hasConcept C200833197 @default.
- W1600917768 hasConcept C202491316 @default.
- W1600917768 hasConcept C41008148 @default.
- W1600917768 hasConcept C42383842 @default.
- W1600917768 hasConcept C43521106 @default.
- W1600917768 hasConcept C489000 @default.
- W1600917768 hasConcept C55526617 @default.
- W1600917768 hasConcept C77088390 @default.
- W1600917768 hasConcept C88468194 @default.
- W1600917768 hasConcept C96324660 @default.
- W1600917768 hasConceptScore W1600917768C111919701 @default.
- W1600917768 hasConceptScore W1600917768C115168132 @default.
- W1600917768 hasConceptScore W1600917768C128916667 @default.
- W1600917768 hasConceptScore W1600917768C169590947 @default.
- W1600917768 hasConceptScore W1600917768C173608175 @default.
- W1600917768 hasConceptScore W1600917768C184337299 @default.
- W1600917768 hasConceptScore W1600917768C199360897 @default.
- W1600917768 hasConceptScore W1600917768C200833197 @default.
- W1600917768 hasConceptScore W1600917768C202491316 @default.
- W1600917768 hasConceptScore W1600917768C41008148 @default.
- W1600917768 hasConceptScore W1600917768C42383842 @default.
- W1600917768 hasConceptScore W1600917768C43521106 @default.
- W1600917768 hasConceptScore W1600917768C489000 @default.
- W1600917768 hasConceptScore W1600917768C55526617 @default.
- W1600917768 hasConceptScore W1600917768C77088390 @default.
- W1600917768 hasConceptScore W1600917768C88468194 @default.
- W1600917768 hasConceptScore W1600917768C96324660 @default.
- W1600917768 hasLocation W16009177681 @default.
- W1600917768 hasOpenAccess W1600917768 @default.
- W1600917768 hasPrimaryLocation W16009177681 @default.
- W1600917768 hasRelatedWork W1482060838 @default.
- W1600917768 hasRelatedWork W1515967176 @default.
- W1600917768 hasRelatedWork W1556657664 @default.
- W1600917768 hasRelatedWork W1572523360 @default.
- W1600917768 hasRelatedWork W2100229967 @default.
- W1600917768 hasRelatedWork W2130432003 @default.
- W1600917768 hasRelatedWork W2968111836 @default.
- W1600917768 hasRelatedWork W3092708771 @default.
- W1600917768 hasRelatedWork W97816082 @default.
- W1600917768 hasRelatedWork W1979576862 @default.
- W1600917768 isParatext "false" @default.
- W1600917768 isRetracted "false" @default.
- W1600917768 magId "1600917768" @default.
- W1600917768 workType "book-chapter" @default.