Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]

Abdullah Rasheed

Writing dataflow analyzers requires both language and domain-specificity. That is to say, each programming language and each program property requires its own analyzer. To enable a…