Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Layered static program analysis framework for software testing

Layered static program analysis framework for software testing

US Patent 8527965 · Granted Sep 3, 2013

Estimated economic value: $31,610,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
Optimal index selection in polynomial time2021
Buffer overflow detection based on a synthesis of assertions from templates and 2021
Method for controlling a ventilation system for a vehicle interior2021
Happens-before-based dynamic concurrency analysis for actor-based programs2020
Efficient timestamp solution for analyzing concurrent software systems2020
Door system for a passenger car having at least two seat rows and method for ope2020
Selective object sensitive points-to analysis2019
Declarative program engine for large-scale program analysis2018
Scalable provenance generation from points-to information2017