Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Symbolic execution of javascript software using a control flow graph

Symbolic execution of javascript software using a control flow graph

US Patent 8656370 · Granted Feb 18, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Generating inputs for computer-program testing2022
Guiding automated testing of binary programs2021
Identifying inputs for automated computer-program testing operations2020
Branch coverage guided symbolic execution for hybrid fuzz testing of software bi2020
Concurrency vulnerability detection2020
Reducing buffer overflow2020
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
Determining valid inputs for an unknown binary program2017
Satisfiability checking2016