Beta 1

Title Control Flow Analysis using the Succinct Solver
Author Tomczak, Lukasz Jaroslaw
Supervisor Nielson, Hanne Riis (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2010
Abstract This master thesis will focus on defining Control Flow Analyses for a simple functional language. The analyses in question are a 0-CFA and a 1-CFA analyses which are extended with a simple Data Flow Analysis. Additionally, a 1-CFA analysis is given that incorporates the Signs Detection Analysis. The analysis for a given program code will be written in the form of constraints by the use of the Alternation-free Least Fixed Point Logic (AFLP). These will be solved by an external tool the Succinct Solver. The reader is assumed to be familiar with the concepts presented in the course: 02242 Program Analysis held at DTU. Additionally, experience with a functional programming language is highly recommended.
Imprint Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2010-49
Original PDF ep10_49_net.pdf (0.53 MB)
Admin Creation date: 2010-07-09    Update date: 2010-07-09    Source: dtu    ID: 264990    Original MXD