![Dataflow / Symbolic execution / Algorithm / Information flow / Dependence analysis / Pointer / Information / Taint checking / Computing / Software engineering / Parallel computing Dataflow / Symbolic execution / Algorithm / Information flow / Dependence analysis / Pointer / Information / Taint checking / Computing / Software engineering / Parallel computing](https://www.pdfsearch.io/img/8b0cf4daa776d36e105907b2d3220fd2.jpg)
| Document Date: 2013-03-28 20:19:28 Open Document File Size: 247,64 KBShare Result on Facebook
Company Microsoft / / / Event Product Issues / / Facility Carnegie Mellon University / / IndustryTerm diagnosis algorithm / benign and malicious software components / computed using compiler algorithms / binary applications / diagnosis solution / binary search / word processing applications / search procedure / benign software / online taint propagation / malicious software components / word processors / large benign applications / online taint propagation phase / large off-the-shelf applications / search space / malicious software / binary search algorithm / / OperatingSystem Windows XP / Microsoft Windows / / Organization UC Berkeley / Carnegie Mellon University / / Person Min Gyung Kang / Stephen McCamant† Pongsin Poosankam / Dawn Song / / / Position HTML Aurel Editor / RTF VNU Editor / Aurel RTF Editor / VNU Editor / / Product BitBlaze binary analysis platform / BitBlaze platform / Tracecap / DTA+ / operand / BitBlaze / bytes / branches / / ProgrammingLanguage C / Python / HTML / / RadioStation Word 2003 / / Technology word processors / ASCII / diagnosis algorithm / binary search algorithm / HTML / efficiently computed using compiler algorithms / Windows word processors / cmp / /
SocialTag |