Accelerating static program analysis with summary reuse

A system performs static program analysis with artifact reuse. The system identifies artifacts associated with the software program being analyzed. The system processes the identified artifacts for performing static program analysis and transmits either the artifacts or identifiers for the artifacts...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bozovic, Nebojsa, Lavoie, Thierry M, Gros, Charles-Henri Marie Jacques, Laverdière-Papineau, Marc-André, Goldsmith, Simon Fredrick Vicente, Hildebrandt, Thomas Henry, Ulch, Ryan Edward, Block, Kenneth Robert
Format:	Patent
Sprache:	eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!