@hackage / dhscanner-kbgen

knowledge base predicates for static code analysis