Sparse/ Summer of Code

This page includes information about Sparse's involvement in Google Summer of Code.

List of Projects

abstract-interpretation

Implement some checks based on abstract interpretation.

Posted Mon 12 Mar 2007 05:11:11 PM PDT Tags: soc
graph-enhancements

Enhance the graph backend to show the C source code and the linearized bytecode.

Posted Mon 12 Mar 2007 05:11:11 PM PDT Tags: soc
ffi

Use Sparse to generate FFI declarations for some higher-level language, such as Haskell, Python, or Java.

Posted Mon 12 Mar 2007 05:11:11 PM PDT Tags: soc
asm

Do something to parse assembly code or object code and turn it into some approximation to the Sparse linearized instruction format. This will help with analysis of the Linux kernel.

Ideally, this would also support inline assembly blocks. Those may even prove easier to start on.

Posted Mon 12 Mar 2007 05:11:11 PM PDT Tags: soc
compiler-backend

Write a compiler backend to generate code for some real architecture. Sparse already has a toy compiler backend for x86, but it handles only a small subset of C.

Posted Mon 12 Mar 2007 05:11:11 PM PDT Tags: soc
generate-bytecode-for-java-or-cli

Use the Sparse abstract syntax tree or linearized instruction format to generate bytecode for Java or .NET CLI.

Posted Mon 12 Mar 2007 05:11:11 PM PDT Tags: soc