Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Path-sensitive analysis framework for bug checking

Path-sensitive analysis framework for bug checking

US Patent 9189318 · Granted Nov 17, 2015

Estimated economic value: $39,583,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Automated function category detection2023
Data transmission method, terminal, and RAN device2022
Method, device, and computer program product for edge resource aggregation2022
Data processing method and device2022
Direct electrical detection of current-induced spin polarization due to spin-mom2022
Encoding dependencies in call graphs2021
Scheduling method and base station2021
Buffer overflow detection based on a synthesis of assertions from templates and 2021
Direct electrical detection of current-induced spin polarization due to spin-mom2020
Scheduling method and base station2020
Happens-before-based dynamic concurrency analysis for actor-based programs2020
Efficient timestamp solution for analyzing concurrent software systems2020