Accelerating static program analysis with artifact reuse

Assignee

• Synopsys

Inventors

• Marc-André Laverdière-Papineau (6 patents)
• Kenneth Robert Block (2 patents)
• Nebojsa Bozovic (2 patents)
• Simon Fredrick Vicente Goldsmith (4 patents)
• Charles-Henri Marie Jacques Gros (2 patents)
• Thomas Hildebrandt (12 patents)
• Thierry M. Lavoie (4 patents)
• Ryan Edward Ulch (2 patents)

View full patent text on Google Patents →