Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System and method for overflow detection using partial evaluations

System and method for overflow detection using partial evaluations

US Patent 8578343 · Granted Nov 5, 2013

Estimated economic value: $83,874,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Automated function category detection2023
Optimal index selection in polynomial time2023
Encoding dependencies in call graphs2021
Encoding dependencies in call graphs2021
Verification of software-defined networking (SDN) policies for specific topologi2021
Optimal index selection in polynomial time2021
Buffer overflow detection based on a synthesis of assertions from templates and 2021
Buffer overflow detection based on a synthesis of assertions from templates and 2021
Path-sensitive static analysis2021
Method for controlling a ventilation system for a vehicle interior2021
Happens-before-based dynamic concurrency analysis for actor-based programs2020
Happens-before-based dynamic concurrency analysis for actor-based programs2020