Back to Results
First PageMeta Content
Data types / Abstract interpretation / Symbolic execution / C++ / Pointer / C / Type system / Buffer overflow / Sizeof / Computing / Software engineering / Computer programming


EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler Stanford University Computer Systems Laboratory {cristic, twohey, vganesh, engl
Add to Reading List

Document Date: 2006-03-02 02:20:53

Open Document

File Size: 193,01 KB

Share Result on Facebook

Company

Dawson Engler Stanford University Computer Systems Laboratory / /

IndustryTerm

machinery / concrete solution / system software / file systems / static analysis tools / /

OperatingSystem

UNIX / BSD / GNU / Linux / /

Organization

Stanford University / US Federal Reserve / /

Person

Cristian Cadar / Paul Twohey / /

ProgrammingLanguage

C / /

Technology

UNIX / Linux / API / /

SocialTag