Based on these patterns, we proposed an approach of multi-taint parallel tracking to detect double-fetch bugs. We also implemented a prototype called DFTracker ...
Abstract. A race condition is a common trigger for concurrency bugs. As a special case, a race condition can also occur across the kernel and user space ...
Abstract A race condition is a common trigger for con- currency bugs. As a special case, a race condition can also occur across the kernel and user space ...
Based on these patterns, we proposed an approach of multi-taint parallel tracking to detect double-fetch bugs. We also implemented a prototype called DFTracker ...
People also ask
What is a double fetch bug?
What are concurrency bugs?
DFTracker: detecting double-fetch bugs by multi-taint parallel tracking. P Wang, K Lu, G Li, X Zhou. Frontiers of Computer Science, 1-17, 2016. 14, 2016.
Apr 11, 2019 · Document is current. Any future updates will be listed below. DFTracker: detecting double-fetch bugs by multi-taint parallel tracking.
DFTracker: detecting double-fetch bugs by multi-taint parallel tracking. Citing Article. February 2018. Frontiers of Computer Science (electronic). Pengfei Wang.
Double-fetch bugs (or vulnerabilities) stem from in-kernel system call execution fetching the same user data twice without proper data (re)sanitization, ...
DFTracker: detecting double-fetch bugs by multi-taint parallel tracking. Pengfei WANG, Kai LU, Gen LI, Xu ZHOU. 2019, 13(2): 247-263. https://doi.org/10.1007 ...
DFTracker: detecting double-fetch bugs by multi-taint parallel tracking ... Detecting harmful data races through parallel verification.