Program Analysis System Zoo
ROPAS: Research On Program Analysis System
National Creative Research Initiatives Center
KAIST
Overview
- We need a convenient tool to generate realistic program
analyzers. We first aim it for being used in our LET Project, in developing our nML
compiler for FCC (fixpoint-carrying-code).
- The best way to transfer our program analysis technology to
the industry is to provide a convenient high-level tool.
- System Zoo supports an ensemble of various program analysis frameworks:
abstract interpretation, data flow analysis, set-based analysis,
type-based analysis, and model checking.
- Seminar
slides at ENS, 7/13/2001
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:
The Specification Language Beetle
Beetle is for an ensemble of type-based analysis and model
checking. The generated analyzer will be tightly coupled with the
type-inference phase of our nML compiler system.
ROPAS: Research On Program Analysis System/
National Creative Research Initiatives Center/
KAIST