Program Analysis System Zoo



ROPAS: Research On Program Analysis System
National Creative Research Initiatives Center
SNU

Overview

The Specification Language Rabbit


Rabbit is for an ensemble of abstract interpretation, set-based analysis, higher-order data flow analysis, and model checking.
The language definition (syntax and well-formedness rules) is available:

Related Papers/Talks


ROPAS: Research On Program Analysis System/ National Creative Research Initiatives Center/ SNU