Search Results for "source code static anala"

cowbel is a minimalist experimental programming language. It features strict types, static compilation into real machine code (via C), an object oriented system based on interfaces and composition, generics, no null, and a global garbage collector. It is intended to produce fast, tight code for use in systems programming, and to show that you don't need a complex language to be expressive and usable. We've moved! Go to http://cowlark.com/cowbel instead.

Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.

Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.