Improving Static Analysis Performance Using Rule-Filtering Technique

Abstract

Static analysis is an efficient approach for software assurance. It is indicated that the most effective usage of it is to perform analysis in an interactive way through software development process, which has a high performance requirement. This paper concentrates on rule-based static analysis tools and proposes an optimized rule-checking algorithm to… (More)

Topics

7 Figures and Tables

Slides referencing similar topics