Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Refinement of static analysis of program code

Refinement of static analysis of program code

US Patent 11200144 · Granted Dec 14, 2021

Estimated economic value: $380,155,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Virtual network verification service2024
Analysis of role reachability with transitive tags2024
Distributed decomposition of string-automated reasoning using predicates2024
Policy scope management2024
Transitioning legacy software to be provably correct2023
Analysis of role reachability using policy complements2023
Automated threat modeling using machine-readable threat models2023
Automated threat modeling using machine-readable threat models2023
Automated packetless network reachability analysis2023
Security policy analyzer service and satisfiability engine2023
Static code analysis tool and configuration selection via codebase analysis2022
Techniques for analyzing security in computing environments with privilege escal2022