Towards a Gold Standard for Points-to Analysis
Points-to analysis is a static program analysis that computes reference informationfor a given input program. It serves as input to many client applicationsin optimizing compilers and software engineering tools. Unfortunately, the Gold Standard – i.e., the exact reference information for a given pro...
Main Author: | Gutzmann, Tobias |
---|---|
Format: | Others |
Language: | English |
Published: |
Linnéuniversitetet, Institutionen för datavetenskap, fysik och matematik, DFM
2010
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-7381 |
Similar Items
-
Benchmarking Points-to Analysis
by: Gutzmann, Tobias
Published: (2013) -
Comparison of Points-to Analyses
by: Gutzmann, Tobias
Published: (2008) -
A Concurrent IFDS Dataflow Analysis Algorithm Using Actors
by: Rodriguez, Jonathan David
Published: (2010) -
A Concurrent IFDS Dataflow Analysis Algorithm Using Actors
by: Rodriguez, Jonathan David
Published: (2010) -
Towards a Framework for Static Analysis Based on Points-to Information
by: Edvinsson, Marcus
Published: (2007)