| Document Date: 2014-05-29 15:38:01 Open Document File Size: 843,12 KBShare Result on Facebook
Company Checkpoint / E. Performance Tuning M AYHEM / V SA / M AYHEM / Intel / The CEC / / Currency USD / / / Event Product Issues / / Facility Checkpoint Restoration / David Brumley Carnegie Mellon University / / IndustryTerm online fashion / Online execution throughput / generation algorithm / wireless configuration utility iwconfig / online version / binary-search strategy / optimizations as proposed by previous systems / online execution tasks / hybrid execution algorithm / online executors / basic server / bounds resolution algorithm / offline systems / online symbolic execution / index search trees / online executions / online execution / binary search / online exploration / online execution run / Online millions / online phase / search tree / online mode / binary search tree / search space / / OperatingSystem Linux / Ubuntu / Windows XP / Microsoft Windows / / Organization David Brumley Carnegie Mellon University Pittsburgh / / Person Sang Kil Cha / Alexandre Rebert / David Brumley Carnegie / / Position manager in an OS / guard / manager / the checkpoint database / and test case directories / branch guard / Symbolic Execution Server Symbolic Evaluator Path Selector Test Cases Buggy Inputs Exploit Generator Checkpoint Manager / General / suspended interpreter / interpreter / checkpoint manager / manager starts generating checkpoints / Manager Exploits Input Spec / memory manager / / Product orzHttpd / the SES / jump instruction / branch point / instructions / branch condition / / ProgrammingLanguage C / C++ / / ProvinceOrState Illinois / / Technology hybrid execution algorithm / RAM / bounds resolution algorithm / Linux / API / Operating System / IST generation algorithm / IST algorithm / ASCII / HTTP / Caching / light-weight RPC protocol / /
SocialTag |