Assertion: clasp | /r/MadeOf | static analyzer
Facets:
Source sentences:
text: Clasp contains a static analyzer written in Clasp-CL that uses the Clang AST/ASTMatcher library to automatically write its garbage collector interface with the MPS (~15,000 LOC).