CKIT
Program-Transformation.Org: The Program Transformation Wiki
ckit is a C front end written in SML that translates CProgrammingLanguage source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. It also provides facilities for extending the C language with additional syntactic constructs, which can be useful for implementing "C-like" domain-specific languages as well as C dialects. Ckit is currently used as the front end for a variety of tools for StaticAnalysis? of C code and at least one DomainSpecificLanguage.
Resources
- http://cm.bell-labs.com/cm/cs/what/smlnj/doc/ckit/
- ftp://ftp.research.bell-labs.com/dist/smlnj/packages/ckit-1.0.tar.gz
CategorySystem