Program Analysis System Zoo
ROPAS: Research On Program Analysis System
National Creative Research Initiatives Center
SNU
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.
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
- Talk
slides at ENS, 7/13/2001
- Talk slides
at SNU, 11/11/2002
- Static Monotonicity Analysis for Lambda-definable
Functions over Lattices
[pdf/
bibtex]
Andrzej Murawski and Kwangkeun Yi
Lecture Notes in Computer Science, Vol.2294, pp.139-153
Third International Workshop on Verification, Model Checking and
Abstract Interpretation, Venice, January 21-22, 2002
- Static Extensionality Analysis for Lambda-definable
Functions over Lattices
[pdf/
bibtex]
Kwangkeun Yi and Hyunjun Eo
ROPAS Technicaml Memo, No.2002-17, Oct. 2002
- Type Inference and Sanity Checks for Rabbit Program
Analysis Specifications
Youil Kim
Master Thesis, KAIST, Feb. 2003
ROPAS: Research On Program Analysis System/
National Creative Research Initiatives Center/
SNU