Algèbres de Kleene pour l'analyse statique des programmes : un nouveau cadre

Authors: Fernandes, Therrezinha
Advisor: Desharnais, Jules
Abstract: Static program analysis consists of techniques for determining properties of programs without actually running them. Among the applications of static program analysis are the optimization by compilers of object code and the detection of malicious code or code that might be maliciously exploited. The obvious relevance and (sometimes critical) importance of such applications explain the many attempts to try to understand the general theoretical framework of static program analysis. Kleene algebra is the algebraic theory of finite automata and regular expressions. This algebraic tool has proven to be very suitable for the purpose of static analysis and verification of programs. The goal of this thesis is to develop an algebraic framework based on Kleene algebra to compute the solutions to a general class of intraprocedural dataflow analysis problems. The framework allows one to represent both the programs and the relevant properties in an homogeneous, compact and readable way. Traditional algorithms used to compute the result of an analysis are then replaced by algebraic manipulations of elements of a Kleene algebra.
Document Type: Thèse de doctorat
Issue Date: 2008
Open Access Date: 13 April 2018
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
25430.pdf1.1 MBAdobe PDFView/Open
All documents in CorpusUL are protected by Copyright Act of Canada.