| Document Date: 2015-01-21 19:48:40
Open Document File Size: 221,01 KBShare Result on Facebook
City SVN / Austin / Larson / / Company Amazon / Godefroid / Intel / Microsoft / / Currency USD / / Event Reorganization / Product Release / / Facility VEX library / building Metafuzz / / IndustryTerm error site / mplayer media player / prototype tool / static binary analysis tool / Online Constraint Generation / post-processing step / test case generation infrastructure / zzuf black box fuzz testing tool / generational search / memory checking tool / software projects / symbolic execution tool / convert tool / software security / static analysis algorithms / software developers / constraint systems / web service / test infrastructure / offline constraint generation tool / on-demand computing / prior symbolic execution tool / web site infrastructure / symbolic execution tools / static analysis tools / zzuf tool / x86 applications / software applications / call site / media playing software / binary instrumentation tool / x86 in our current tool / media files / media players / important software / memcheck tool / target software / / OperatingSystem Linux / BSD / / Organization UC Berkeley / / Person Xue Cong Li / David A. Wagner / / Position representative / programmer / / Product Metafuzz / SmartFuzz / Metafuzz / a web service / a web service / Metafuzz / Valgrind / Valgrind binary instrumentation tool / / ProgrammingLanguage HTML / Visual C++ / / Technology Virtual Machine / RAM / Linux / static analysis algorithms / HTML / / URL http /
SocialTag |
Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li