Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries-Reference-Cited by-同舟云学术

Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Lehmann Daniel¹,Pradel Michael¹

Affiliation:

1. University of Stuttgart, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3519939.3523449

Reference75 articles.

1. 2021. WABT: The WebAssembly Binary Toolkit. https://github.com/WebAssembly/wabt 2021. WABT: The WebAssembly Binary Toolkit. https://github.com/WebAssembly/wabt

2. Toufique Ahmed , Vincent Hellendoorn , and Premkumar T . Devanbu . 2019 . Learning Lenient Parsing & Typing via Indirect Supervision. CoRR , abs/1910.05879 (2019), arxiv:1910.05879. arxiv:1910.05879 Toufique Ahmed, Vincent Hellendoorn, and Premkumar T. Devanbu. 2019. Learning Lenient Parsing & Typing via Indirect Supervision. CoRR, abs/1910.05879 (2019), arxiv:1910.05879. arxiv:1910.05879

3. Georgi Geshev Alex Plaskett Fabian Beterke. 2018. Apple Safari – Wasm Section Exploit. https://labs.f-secure.com/assets/BlogFiles/apple-safari-wasm-section-vuln-write-up-2018-04-16.pdf Georgi Geshev Alex Plaskett Fabian Beterke. 2018. Apple Safari – Wasm Section Exploit. https://labs.f-secure.com/assets/BlogFiles/apple-safari-wasm-section-vuln-write-up-2018-04-16.pdf

4. The adverse effects of code duplication in machine learning models of code

5. Typilus: neural type hints

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

1. SelfPiCo: Self-Guided Partial Code Execution with LLMs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Multi-modal Learning for WebAssembly Reverse Engineering;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. JABBERWOCK: A Tool for WebAssembly Dataset Generation and Its Application to Malicious Website Detection;Journal of Information Processing;2024

4. WASMixer: Binary Obfuscation for WebAssembly;Lecture Notes in Computer Science;2024

5. Characterizing and Detecting WebAssembly Runtime Bugs;ACM Transactions on Software Engineering and Methodology;2023-12-21