Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Buffer overflow detection based on a synthesis of assertions from templates and k-induction

Buffer overflow detection based on a synthesis of assertions from templates and k-induction

US Patent 11030304 · Granted Jun 8, 2021

Estimated economic value: $125,573,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Developing a programming language model for machine learning tasks2025
Build process security framework2025
Runtime application self-protection2025
Policy engine for supply chain security analysis2025
Query generalization for prevention of injection attacks2025
Automatic detection of deserialization attacks with Markov chains2024
Detecting security vulnerabilities in queries via an information flow graph2024
Alias analysis using labelled access paths2023
Automated function category detection2023
Application programming interface specification inference2023
Detecting second-order security vulnerabilities via modelling information flow t2023
Inferring watchpoints for understandable taint reports2023