3 citations · 8 across the 6 of their papers we have counts for
6 papers
CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Compiler
Shangtong Cao, Tianlei Song, Qiuping Yi +4
Modern compilers are complex software systems that must correctly translate high-level programming languages into machine code across multiple architectures. Cranelift, a fast and…
The Promise and Pitfalls of WebAssembly: Perspectives from the Industry
Ningyu He, Shangtong Cao, Haoyu Wang +2
As JavaScript has been criticized for performance and security issues in web applications, WebAssembly (Wasm) was proposed in 2017 and is regarded as the complementation for JavaSc…
WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation
Shangtong Cao, Ningyu He, Xinyu She +3
Wasm runtime is a fundamental component in the Wasm ecosystem, as it directly impacts whether Wasm applications can be executed as expected. Bugs in Wasm runtime bugs are frequentl…
WASMixer: Binary Obfuscation for WebAssembly
Shangtong Cao, Ningyu He, Yao Guo +1
WebAssembly (Wasm) is an emerging binary format that draws great attention from our community. However, Wasm binaries are weakly protected, as they can be read, edited, and manipul…
A General Static Binary Rewriting Framework for WebAssembly
Shangtong Cao, Ningyu He, Yao Guo +1
Binary rewriting is a widely adopted technique in software analysis. WebAssembly (Wasm), as an emerging bytecode format, has attracted great attention from our community. Unfortuna…
Characterizing and Detecting WebAssembly Runtime Bugs
Yixuan Zhang, Shangtong Cao, Haoyu Wang +6
WebAssembly (abbreviated WASM) has emerged as a promising language of the Web and also been used for a wide spectrum of software applications such as mobile applications and deskto…