Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Datasets
Press/Media
Activities
Fellowships, Honors, and Prizes
Impacts
Search by expertise, name or affiliation
Loop-extended symbolic execution on binary programs
Prateek Saxena
, Pongsin Poosankam
,
Stephen McCamant
, Dawn Song
Computer Science and Engineering
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
144
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Loop-extended symbolic execution on binary programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Benchmark Suite
20%
Binary Forms
20%
Binary Programming
100%
Buffer Overflow Attack
20%
Data Dependency
20%
Direct Data
20%
Execution Path
20%
Execution Technique
20%
Grammar
20%
Loop Iteration
20%
Program Execution
20%
Real-world Application
20%
Software Vulnerability
20%
Symbolic Constraints
20%
Symbolic Execution
100%
Vulnerability
40%
Computer Science
Buffer Overflow
20%
Data Dependency
20%
Execution Path
20%
Loop Iteration
20%
Program Execution
20%
Symbolic Execution
100%
Variable Length
20%
Vulnerability Condition
20%
World Application
20%