(Back up to the main CS7968 page)

Project requirements:

• Find a partner to work with, or not. That is, groups of 1 or 2 are fine.
• Write a 1-2 page proposal for adding a useful new feature to an existing compiler or program analyzer. This proposal will briefly describe the tool, the new feature, and the implementation strategy. Due 2/15/2007.
• Implement it.
• Write a short (5-7 page) report describing this work: its design, implementation, and results. Due 4/10/2007.
• Give a presentation about the work in class.

Open-source program analysis tools that may make good starting points for course projects:

tool and home page	implemented in	analyzes	analysis type	documentation?	notes	example projects
CCured	OCaml using CIL	C	enforces type-safe execution	good enough
CIL	OCaml	ANSI C, gcc, Microsoft C	typechecking, provides infrastructure for other analyses	good enough
cXprop	OCaml using CIL	C	context and path insensitive dataflow with pluggable domains, pretty good pointer analysis, and concurrency analysis specific to interrupt-driven software	no, but Nathan is the local expert		support the octagon transfer functions support propagation, folding, etc. for floating point values implement signed interval domain, including backwards operations implement a sparse dataflow representation
gcc	C	C, C++, Java	optimizing compiler	minimal	getting started will be relatively painful
Jikes RVM	Java	Java bytecode	not a static analyzer; performs analysis while JITing	??
LLVM	C++	C, C++	optimizing compiler	good
Locksmith	OCaml using CIL	C with pthreads	context sensitive lockset	minimal		see doc/notes.txt in the source distribution
ProGuard	Java	Java bytecode	optimizing compiler and obfuscator	??		add intervals or another abstract domain that is more interesting than constants
Saturn	OCaml using CIL, analysis are written in CLP	C	path, flow, and context sensitive summary-based analysis	good
Soot	Java	Java bytecode	optimizing compiler	??
Sparse	C	C	typechecking, random bugfinding	no
valgrind	C	x86 and PPC object code	not a static analyzer; performs analysis while JITing	??

---

This page is maintained by John Regehr, mail me if you find a mistake or if any content is unclear.