GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'
programming-language
static-analysis
yacc
static-analyzer
programming-language-theory
introduction-to-static-analysis
-
Updated
May 13, 2021 - C