China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Documentation of the CHINA Project

[Page last updated on 2001/03/20 16:45:10.]

You can find here all the existing documentation about the CHINA data-flow analyzer.

Understanding the Analyzer's Internals

The CHINA analyzer is a quite complex system and it exploits several original research results. The purpose of these pages is to explain as simply as possible the internal structure of the analyzer, the theoretical results upon which its inner mechanisms are based, and to guide the interested reader through the available literature.

The Parser

The Fixpoint Computation Engine

Abstract Domains

© The China
Development Group
china@cs.unipr.it

Home | Systems | Documentation | Experiments | Benchmarks | Projects | People | Links | About