i dont really limit the search to code analysis projects only i acknowledge these may be absent but i feel eager to work on a project of this particular kind as this may help both in understanding the ideas behind code analysis and writing better programs