Documentation

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