Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Deploying a static code analyzer based on program synthesis from input-output examples

Deploying a static code analyzer based on program synthesis from input-output examples

US Patent 11775293 · Granted Oct 3, 2023

Estimated economic value: $205,636,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Inline conversation with artificial intelligence within code editor user interfa2025
Software development artifact name generation2025
Program improvement using large language models2025
Providing custom machine-learning models2024
Software development improvement stage optimization2024
Syntax subtree code strengthening2024
Syntax subtree code strengthening2024
Pattern base configuration verifier2024
Edit automation using an anchor target list2024
Edit automation using an anchor target list2024
Edit automation using an anchor target list2024
Edit automation using an anchor target list2024