This Is AuburnElectronic Theses and Dissertations

Show simple item record

Static Program Analysis In Presence Of Multiple Configurations


Metadata FieldValueLanguage
dc.contributor.advisorHafiz, Munawar
dc.contributor.authorBehrang, Farnaz
dc.date.accessioned2014-07-11T15:03:57Z
dc.date.available2014-07-11T15:03:57Z
dc.date.issued2014-07-11
dc.identifier.urihttp://hdl.handle.net/10415/4252
dc.description.abstractC programs make heavy use of the C preprocessor, which makes them highly configurable. C programming IDEs ignore multiple configurations of C preprocessor because of its complexity. However, program analyses and transformations have to consider all possible macro configurations; otherwise, they will be incorrect. This problem is exacerbated in the context of program transformations: it is impossible to implement any non-trivial program transformation correctly without supporting sophisticated static analysis. We modified OpenRefactory/C, a framework for building correct and complex program transformations for C, to support configuration-aware static analysis and program transformations. We modified the program representation to include conditional directives and extended the static program analysis to be aware of multiple configurations. For evaluation, we used the Extract Function refactoring implemented in OpenRefactory/C.en_US
dc.rightsEMBARGO_NOT_AUBURNen_US
dc.subjectComputer Scienceen_US
dc.titleStatic Program Analysis In Presence Of Multiple Configurationsen_US
dc.typethesisen_US
dc.embargo.lengthNO_RESTRICTIONen_US
dc.embargo.statusNOT_EMBARGOEDen_US

Files in this item

Show simple item record