Self-adaptive static analysis
نویسنده
چکیده
Static code analysis is a powerful approach to detect quality de ciencies such as performance bottlenecks, safety violations or security vulnerabilities already during a software system’s implementation. Yet, as current software systems continue to grow, current staticanalysis systems more frequently face the problem of insu cient scalability. We argue that this is mainly due to the fact that current static analyses are implemented fully manually, often in generalpurpose programming languages such as Java or C, or in declarative languages such as Datalog. This design choice prede nes the way in which the static analysis evaluates, and limits the optimizations and extensions static-analysis designers can apply. To boost scalability to a new level, we propose to fuse staticanalysis with just-in-time-optimization technology, introducing for the rst time static analyses that are managed and inherently self-adaptive. Those analyses automatically adapt themselves to yield a performance/precision tradeo that is optimal with respect to the analyzed software system and to the analysis itself. Self-adaptivity is enabled by the novel idea of designing a dedicated intermediate representation, not for the analyzed program but for the analysis itself. This representation allows for an automatic optimization and adaptation of the analysis code, both ahead-of-time (through static analysis of the static analysis) as well as just-in-time during the analysis’ execution, similar to just-in-time compilers.
منابع مشابه
An Energy Based Adaptive Pushover Analysis for Nonlinear Static Procedures
Nonlinear static procedure (NSP) is a common technique to predict seismic demands on various building structures by subjecting a monotonically increasing horizontal loading (pushover) to the structure. Therefore, the pushover analysis is an important part of each NSP. Accordingly, the current paper aims at investigating the efficiencyof various algorithms of lateral load patterns applied to the...
متن کاملSlope Stability Analysis Using a Self-Adaptive Genetic Algorithm
This paper introduces a methodology for soil slope stability analysis based on optimization, limit equilibrium principles and method of slices. In this study, the slope stability analysis problem is transformed into a constrained nonlinear optimization problem. To solve that, a Self-Adaptive Genetic Algorithm (GA) is utilized. In this study, the slope stability safety factors are the objective ...
متن کاملApplication of an Additive Self-tuning Controller for Static Synchronous Series Compensator for Damping of Sub-synchronous Resonance Oscillations
In this paper, an additive self-tuning (ST) control scheme is presented for a static synchronous series compensator (SSSC) to improve performance of conventional PI control system for damping sub-synchronous resonance (SSR) oscillations. The active and reactve series compensation are provided by a three-level 24-pulse SSSC and fixed capacitor. The proposed ST controller consists of a pole shift...
متن کاملA Comparison of Self-Compassion and Self-Esteem Based on Their Relationship With Adaptive and Maladaptive Emotion Regulation Strategies
Objective: The purpose of this study was to investigate the relationship between adaptive and maladaptive cognitive emotion regulation strategies, self-compassion, and self-esteem; and to determine whether self-compassion compared to self-esteem, was a better predictor of the scores on the adaptive and maladaptive cognitive emotion regulation strategies. Methods: This was a cross-section...
متن کاملThe Impact of Mutation Rate on the Computation Time of Evolutionary Dynamic Optimization
Mutation has traditionally been regarded as an important operator in evolutionary algorithms. In particular, there have been many experimental studies which showed the effectiveness of adapting mutation rates for various static optimization problems. Given the perceived effectiveness of adaptive and self-adaptive mutation for static optimization problems, there have been speculations that adapt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1710.07430 شماره
صفحات -
تاریخ انتشار 2017