Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Resetting program state"'
Autor:
Csallner, Christoph
This dissertation attacks the well-known problem of path-imprecision in static program analysis. Our starting point is an existing static program analysis that over-approximates the execution paths of the analyzed program. We then make this over-appr
Externí odkaz:
http://hdl.handle.net/1853/24764
