Program Analysis course, Autumn 2009 @ DTU

=A While language compiler for the .NET platform= * [#What_is_the_While_language? What is the While language?] * [#Why_a_compiler_for_a_toy_language? Why a compiler for a toy language?] * [#License License] * [#Command_line_options Command line options] * [#Course_Syntax_(the_/cours...

Yoyak is a generic abstract interpreter for various static program analyses.

BANSHEE is a toolkit that simplfies the task of building constraint-based program analyses. Program analyses are widely used in compilers and software engineering tools for discovering or verifying specific properties of software systems, such as type safety and opportunities for program optimizatio...

See http://www.davidglasser.net/point/2007/01/16/output/ for a description of this project; currently in an early stage of active development. To browse the repository in a less raw form, you can use [http://jc.ngo.org.uk:81/svnweb/amock/ Nik Clayton's SVN::Web for Google Code].