Repository logo
 

Automatic generation of bit-vector analyses using OpenAnalysis

Simple item page
dc.contributor.authorHovland, Paul, author
dc.contributor.authorStrout, Michelle, author
dc.contributor.authorBehere, Shweta, author
dc.date.accessioned2007-01-03T06:48:56Z
dc.date.available2007-01-03T06:48:56Z
dc.date.issued2006
dc.description.abstractEffective program analysis is essential for program optimization, program understanding and error detection. Classic data-flow analysis techniques assume only scalar variables within a program. However, real programs consist of pointer usage, structures and arrays. One approach is to lower the higher-level semantics involving structures and arrays to a representation that has only scalar temporaries and accesses to memory. A conservative analysis assumption would be that all accesses to memory possibly overlap. Language-specific transformations must be performed on higher-level representations; therefore the lowering approach is not always applicable. Our aim is to effectively analyze programs containing aliases, arrays and other complex structures at a higher semantic level, while still using data-flow analysis specifications for scalars. In our approach, we describe the data-flow analysis specification in a set-based specification language, and automatically generate an analysis implementation that uses aliasing information to obtain precise dataflow analysis results. We generate the analysis implementations for the OpenAnalysis(OA) framework, so that they are language independent. OA is an open source analysis toolkit that separates program analysis from program representation. OA can be coupled with any imperative or imperative-based object-oriented programming language, by implementing various abstract interfaces. Thus, our data-flow analysis implementations can be used with any compiler infrastructure that has implemented an OA abstract interface. We currently limit our scope to separable bit-vector analyses. Future work includes extending the implementation generation technique to any domain specific data-flow analysis.
dc.format.mediumborn digital
dc.format.mediumStudent works
dc.format.mediumposters
dc.identifierCOFISTeC2006001.pdf
dc.identifierSTUFISTC2006100001POST
dc.identifier.urihttp://hdl.handle.net/10217/89367
dc.languageEnglish
dc.language.isoeng
dc.publisherColorado State University. Libraries
dc.relation.ispartofStudent Research Posters
dc.rightsCopyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright.
dc.subjectdata-flow analysis
dc.subjectbit-vector analysis
dc.subjectaliases
dc.subjectprogram analysis
dc.titleAutomatic generation of bit-vector analyses using OpenAnalysis
dc.typeText
thesis.degree.disciplineComputer Science
thesis.degree.disciplineNatural Sciences

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
COFISTeC2006001.pdf
Size:
273.53 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Student Research Posters