Abstract:Static analysis is a mature field with applications to bug detection, security analysis, and code optimization, etc. To facilitate these applications, static analysis frameworks play an essential role by providing a series of fundamental services such as program abstraction, control flow graph construction, and points-to/alias information computation, etc. However, despite impressive progress of static analysis, and this field has seen several popular frameworks in the last decades, it is still not clear how a static analysis framework should be designed in a way that analysis developers could benefit more: for example, what a good IR (for analysis) ought to look like? What functionalities should the module of fundamental analyses provide to ease client analyses? How to develop and integrate new analysis conveniently? How to manage multiple analyses? To answer these questions, in this work, we discuss the design trade-offs for the crucial components of a static analysis framework, and argue for the most appropriate design by following the HBDC (Harnessing the Best Designs of Classics) principle: for each crucial component, we compare the design choices made for it (possibly) by different classic frameworks such as Soot, WALA, SpotBugs and Doop, and choose arguably the best one, but if none is good enough, we then propose a better design. These selected or newly proposed designs finally constitute Tai-e, a new static analysis framework for Java. Specifically, Tai-e is novel in the designs of several aspects like IR, pointer analysis and development of new analyses, etc., leading to an easy-to-learn, easy-to-use and efficient system. To our knowledge, this is the first work that systematically explores the designs and implementations of various static analysis frameworks, and we believe it provides useful materials and viewpoints for building better static analysis infrastructures.

Framework-Oriented Analysis

Object Oriented Finite Element Method and Its Application in C++

A Feature-Oriented Framework Model for Object-Oriented Framework: an MDA Approach

Modeling Object-Oriented Framework with Z

Framework Feature Oriented Model And Its Application In Gef Framework Modeling

THE GENERAL MODEL OF CHEMICAL PROCESS SYSTEM IS BUILDED BY THE APPLICATION FRAMEWORKS TECHNOLOGY

Object-oriented analysis and design of O3CACSD using OMT

MOF Based Framework for Integration of Software Architecture Analysis Results

Modeling Measurement Framework with Feature Oriented Framework Modeling Language

THAOP: An Aspect Oriented Programming Framework

Towards a Programming Framework for Activity-Oriented Context-Aware Applications.

Object Oriented Design Based on Role and Rule

Function block oriented architecture for open distributed automation

A framework for automated finite element analysis with an ontology-based approach

Abstract high-maintainable classes from legacy systems based on formal concepts analysis

The Ordering System of Technical Objects Based on Meta Object Facility

Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics

An Approach to Transforming Parallel Function Specification into Java Program Framework.

DESIGN AND IMPLEMENTATION OF AN OO SOFTWARE AUTOMATIC TESTING FRAMEWORK

B-FES/o: an ontology-based scheme for functional modeling in design for semantic Web applications