Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

First Page		Document Content
Date: 2017-04-30 18:44:12 Software engineering Computer programming Computing Object-oriented programming languages KeY Symbolic execution Thread LLVM Parallel computing D Concolic testing		Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw Add to Reading List Source URL: www.ieee-security.org Download Document from Source Website File Size: 514,41 KB Share Document on Facebook

	Introduction to Peer-to-Peer System DocID: 1xVny - View Document
	Compiling with Continuations and LLVM 1. Kavon Farvardin DocID: 1xVfs - View Document
	Taming Undefined Behavior in LLVM Juneyoung Lee Yoonseung Kim Youngju Song Chung-Kil Hur Seoul National University, Korea DocID: 1xTNy - View Document
	PDF Document DocID: 1xSCl - View Document
	PDF Document DocID: 1xSoT - View Document