UVicSpace

Flow grammars: a methodology for automatically constructing static analyzers

Show simple item record

dc.contributor.author Uhl, James S.
dc.date.accessioned 2018-06-12T16:59:34Z
dc.date.available 2018-06-12T16:59:34Z
dc.date.copyright 1995 en_US
dc.date.issued 2018-06-12
dc.identifier.uri http://hdl.handle.net/1828/9436
dc.description.abstract A new control flow model called flow grammars is introduced which unifies the treatment of intraprocedural and interprocedural control flow. This model provides excellent support for the rapid prototyping of flow analyzers. Flow grammars are an easily understood, easily constructed and flexible representation of control flow, forming an effective bridge between the usual control flow graph model of traditional compilers and the continuation passing style of denotational semantics. A flow grammar semantics is given which is shown to summarize the effects all possible executions generated by a flow grammar conservatively. Various interpretations of flow grammars for data flow analysis are explored, including a novel bidirectional interprocedural variant. Several algorithms, based on a similar technique called grammar flow analysis, for solving the equations arising from the interpretations are given. Flow grammars were developed as a basis for FACT (Flow Analysis Compiler Tool), a compiler construction tool for the automatic construction of flow analyzers. Several important analyses from the literature are cast in the flow grammar framework and their implementation in a FACT prototype is discussed. en_US
dc.language English eng
dc.language.iso en en_US
dc.rights Available to the World Wide Web en_US
dc.subject Data flow computing en_US
dc.subject Computer programming en_US
dc.subject Computer architecture en_US
dc.subject Parallel processing (Electronic computers) en_US
dc.title Flow grammars: a methodology for automatically constructing static analyzers en_US
dc.type Thesis en_US
dc.contributor.supervisor Horspool, R. Nigel
dc.contributor.supervisor Müller, Hausi A.
dc.degree.department Department of Computer Science en_US
dc.degree.level Doctor of Philosophy Ph.D. en_US
dc.description.scholarlevel Graduate en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UVicSpace


Browse

My Account

Statistics

Help