Description: TaintInduce Project Page
analysis (3020) dependency (39) dataflow (18) taint (4) taintinduce (1)
Dynamic binary taint analysis has wide applications in the security analysis of commercial-off-the-shelf (COTS) binaries. One of the key challenges in dynamic binary analysis is to specify the taint rules that capture how taint information propagates for each instruction on an architecture. Most of the existing solutions specify taint rules using a deductive approach by summarizing the rules manually after analyzing the instruction semantics. Intuitively, taint propagation reflects on how an instruction inp
We provide a hosted Web-service for trying out the inference engine. The implementation of TaintInduce is available upon request.
One Engine To Serve'em All: Inferring Taint Rules Without Architectural Semantics. Zheng Leong Chua, Yanhao Wang, Teodora Băluță, Prateek Saxena, Zhenkai Liang, Purui Su. In the Network and Distributed System Security Symposium 2019 , San Diego, CA, US, Feb 2019.