7 search results - page 1 / 2 » Control Flow Graph Reconstruction for Assembly Language Prog... |
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
RELMICS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
RTCSA
2000
IEEE
13 years 11 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
CGO
2004
IEEE
13 years 11 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...