Combining dynamic and static slicing for analysing assembler-Reference-Cited by-同舟云学术

Combining dynamic and static slicing for analysing assembler

Published:2010-03 Issue:3 Volume:75 Page:134-175
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Ward Martin,Zedan Hussein

Publisher

Elsevier BV

Subject

Software

Reference47 articles.

1. Dynamic program slicing;Agrawal;SIGPLAN Notices,1990

2. Proving total correctness of nondeterministic programs in infinitary logic;Back;Acta Informatica,1981

3. R. Balzer, EXDAMS — EXtendable debugging and monitoring system, in: Proceedings of the AFIPS SJCC, 1969, pp. 567–586

4. Árpád Beszédas, Csaba Faragó, Zsolt Mihály Szabó, János Csirik, Tibor Gyimothy, Union slices for program maintenance, in: 18th International Conference on Software Maintenance, ICSM, 3rd–6th October 2002, Montreal Quebec, 2002

5. Gianfranco Bilardi, Keshav Pingali, The static single assignment form and its computation, Cornell University Technical Report, http://www.cs.cornell.edu/Info/Projects/Bernoulli/papers/ssa.ps, July, 1999, pp. 1–37

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dynamic Slicing of WebAssembly Binaries;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01

2. Static stack-preserving intra-procedural slicing of webassembly binaries;Proceedings of the 44th International Conference on Software Engineering;2022-05-21

3. Formality, Agility, Security, and Evolution in Software Engineering;Software Technology: 10 Years of Innovation in IEEE Computer;2018-09-03

4. The formal semantics of program slicing for nonterminating computations;Journal of Software: Evolution and Process;2016-10-04

5. Reverse Engineering of ARM Binaries Using Formal Transformations;Proceedings of the 7th International Conference on Security of Information and Networks - SIN '14;2014