A Next-Generation Platform for Analyzing Executables-Reference-Cited by-同舟云学术

A Next-Generation Platform for Analyzing Executables

Published:2005 Issue: Volume: Page:212-229
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Reps T.,Balakrishnan G.,Lim J.,Teitelbaum T.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11575467_15.pdf

Reference43 articles.

1. PREfast with driver-specific rules (October 2004) WHDC, Microsoft Corp., http://www.microsoft.com/whdc/devtools/tools/PREfast-drv.mspx

2. Amme, W., Braun, P., Zehendner, E., Thomasset, F.: Data dependence analysis of assembly code. Int. J. Parallel Proc. (2000)

3. Balakrishnan, G., Reps, T.: Analyzing memory accesses in x86 executables. Comp. Construct., 5–23 (2004)

4. Balakrishnan, G., Reps, T., Melski, D., Teitelbaum, T.: WYSINWYX: What You See Is Not What You eXecute. In: IFIP Working Conf. on Verified Software: Theories, Tools, Experiments (2005)

5. Lecture Notes in Computer Science;T. Ball,2001

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

1. BETAC: Bidirectional Encoder Transformer for Assembly Code Function Name Recovery;2024 20th International Conference on the Design of Reliable Communication Networks (DRCN);2024-05-06

2. Neural reverse engineering of stripped binaries using augmented control flow graphs;Proceedings of the ACM on Programming Languages;2020-11-13

3. Statistical Reconstruction of Class Hierarchies in Binaries;ACM SIGPLAN Notices;2018-11-30

4. Statistical Reconstruction of Class Hierarchies in Binaries;Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems;2018-03-19

5. Verification across Intellectual Property Boundaries;ACM Transactions on Software Engineering and Methodology;2013-03