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

-- EelcoVisser - 02 Jan 2002

---

CategorySystem