Combining dynamic and static slicing for analysing assembler

DOI10.1016/J.SCICO.2009.11.001MaRDI QIDQ2266945zbMATH OpenOpenAlexFDO

Authors Hussein Zedan, Martin Ward

Publication date 26 February 2010

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2009.11.001

zbMATH Keywords

abstractionassemblerdynamic slicingformal methodsprogram transformationslicingstatic slicing

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Static and dynamic slicing of constraint logic programs
• Dynamic program slicing
• Understanding program slices
• Program Slicing
• Dynamic slicing: a generic analysis based on a natural semantics format

Cites work

• Algorithms for computing the static single assignment form
• Combining dynamic and static slicing for analysing assembler
• Dynamic program slicing
• Flow diagrams, turing machines and languages with only two formation rules
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1927431 (Why is no real title available?)
• Pigs from sausages? Reengineering from assembler to C via FermaT transformations
• Portability by automatic translation: A large-scale case study
• Program Slicing
• Proving total correctness of nondeterministic programs in infinitary logic
• The 3x + 1 Problem and Its Generalizations

Cited in

(2)

• Hybrid analysis: Static \& dynamic memory reference analysis
• Combining dynamic and static slicing for analysing assembler

Describes a project that uses

Uses Software

• Consit
• FermaT
• Bogart

This page was built for publication: Combining dynamic and static slicing for analysing assembler

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2266945)