Date: 2017-04-30 18:44:12Software 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 NetwAdd to Reading ListSource URL: www.ieee-security.orgDownload Document from Source Website File Size: 514,41 KBShare Document on Facebook
|