||Control Flow Analysis using the Succinct Solver
||Tomczak, Lukasz Jaroslaw
||Nielson, Hanne Riis (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
||Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
||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.
||Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Creation date: 2010-07-09
Update date: 2010-07-09