GitHub repository: lu-cs-sde/clog
Primary language: C
Description: A declarative language for C static code checkers