Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries

Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries

US Patent 10635576 · Granted Apr 28, 2020

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Generating inputs for computer-program testing2022
Generating inputs for computer-program testing2022
Guiding automated testing of binary programs2021
Identifying inputs for automated computer-program testing operations2020
Concurrency vulnerability detection2020
Concurrency vulnerability detection2020
Reducing buffer overflow2020
Unexplored branch search in hybrid fuzz testing of software binaries2019
Unexplored branch search in hybrid fuzz testing of software binaries2019
Determination of valid input sequences for an unknown binary program2019
Determining a valid input for an unknown binary module2017
Autonomous reasoning system for vulnerability analysis2017