Back to Results
First PageMeta Content
Computer programming / Symbolic execution / Concolic testing / Buffer overflow / Algorithm / Infinite loop / Function / Stack / Dependence analysis / Software bugs / Software engineering / Computing


Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University
Add to Reading List

Document Date: 2013-09-09 05:44:56

Open Document

File Size: 248,29 KB

Share Result on Facebook

City

Chicago / /

Company

MIT Lincoln Laboratories / Intel / Microsoft / Lincoln Labs / /

Country

United States / /

Currency

USD / /

/

Facility

Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California / /

IndustryTerm

symbolic execution tools / bug-finding tools / real-world applications / software engineering / iterative test generation tool / coverage tool / grammar-based input generation tool / security applications / vulnerability search / bruteforce exhaustive search / sample applications / software bugs / loop detection analysis algorithms / loop-extended symbolic execution tool / dynamic analysis tools / iterative undirected search / automated tools / important applications / give algorithms / software errors / iterative search / generation tool / real-world software / bug finding tools / web server / binary analysis infrastructure / web service / security-related applications / exploration tool / particular applications / important security applications / iterative search process / pre-processing time / search space / post-processing time / search heuristics / /

MarketIndex

Lincoln Labs / /

OperatingSystem

Linux / Microsoft Windows / /

Organization

National Science Foundation / MIT / University of California / Berkeley / Air Force office of Scientific Research / Carnegie Mellon University / ◦ARG DNS Response Fmt String PATH PATH Method◦URI◦Version Command / /

Person

Zhenkai Liang / Addison Wesley / David Molnar / Juan Caballero / Gang Xu / /

/

Position

author / security analyst / representative / General / forward control flow graph edges / programmer / /

ProgrammingLanguage

SQL / Microsoft SQL Server / C / Python / /

ProvinceOrState

Illinois / California / /

Technology

RAM / We give algorithms / Analysis algorithm / DNS / Linux / loop detection analysis algorithms / HTTP / UDP / html / two key algorithms / Operating Systems / web server / /

URL

http /

SocialTag