S. Chandra, N. Heintze, D. MacQueen, D. Oliva and M. Siff, "ckit: an extensible C frontend in ML", to be released as an SML/NJ library. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Analysis of Large Code Bases: The Compile-Link-Analyze Model - Heintze (1999) (3 citations) Self-citation (Heintze) (Correct)
....direct dependencies) before it is recomputed, and the overall effect is to consolidate a number of recomputations of these expensive dependencies. 5 Results Our dependence analysis system is implemented using a mix of ML and C. The compile phase is implemented in ML using the ckit frontend[5]. The linker analysis is implemented in C. The performance of the points to analysis dominates the overall runtime of the system in most cases, runtime when no target is specified is within a few percent of the runtime when targets are specified. Many points to analyses implementations have ....
S. Chandra, N. Heintze, D. MacQueen, D. Oliva and M. Siff, "ckit: an extensible C frontend in ML", to be released as an SML/NJ library.
Demand-Driven Pointer Analysis - Heintze, Tardieu (2001) (11 citations) Self-citation (Heintze) (Correct)
....for C programs. It consists of three components. The first component is a compiler which translates each module of a preprocessed C code into an object file , which is a highly indexed database of statements of the kind we defined in Section 2. It is written in SML using the CKit frontend [13]. The second component is a linker that combines the databases into a single object file. The third component reads this object file and performs pointer analysis. Both the linker and analyzer are implemented in C. This architecture, called CLA, as well as the core of the analyzer are described in ....
S. Chandra, N. Heintze, D. MacQueen, D. Oliva and M. Siff, "ckit: an extensible C frontend in ML", available as an SML/NJ library.
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C .. - Heintze, Tardieu (2001) (41 citations) Self-citation (Heintze) (Correct)
....We have observed a slow down by a factor in excess of 50K for gimp (45,000s c.f. 0.8s user time) when both of these components of the algorithm are turned off. 6. RESULTS Our analysis system is implemented using a mix of ML and C. The compile phase is implemented in ML using the ckit frontend[6]. The linker and the analyzer are implemented in C. Our implementation deals with full C including structs, unions, arrays and function call return (including indirect calls) Support for many of these features is based on simple syntactic transformations in the compile phase. The fieldbased ....
S. Chandra, N. Heintze, D. MacQueen, D. Oliva and M. Siff, "ckit: an extensible C frontend in ML", to be released as an SML/NJ library.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC