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

-- EelcoVisser - 02 Jan 2002


CategorySystem