Aug 7, 2023 · Abstract—Static Program Analysis (SPA) has long been es- tablished as an important technique for gaining insights into software systems.

Our evaluation shows that reusing existing results with SPARRI can improve analysis performance by up to 92%. Furthermore, we see potential in applying it to ...

Sep 26, 2024 · Our evaluation shows that reusing existing results with SPARRI can improve analysis performance by up to 92%. Furthermore, we see potential in ...

Feb 19, 2024 · Static Program Analysis (SPA) is an often-used technique to inspect the usage, quality or security or software artifacts. It may for example be ...

Our evaluation shows that reusing existing results with SPARRI can improve analysis performance by up to 92%. Furthermore, we see potential in applying it to ...

Sep 15, 2024 · A more flexible two-constant modification to the string theory tire model is presented. Experiments were conducted on four types of scale model ...

Our evaluation shows that reusing existing results with SPARRI can improve analysis performance by up to 92%. Furthermore, we see potential in applying it to ...

Jul 8, 2023 · Our research paper Persisting and Reusing Results of Static Program Analyses on a Large Scale was accepted at ASE 2023 in Luxembourg. In our ...

Persisting and Reusing Results of Static Program Analyses on a Large Scale. J Düsing, B Hermann. 2023 38th IEEE/ACM International Conference on Automated ...

We propose a two-step (static+JIT) analysis framework called precise-yet-efficient (PYE) that helps generate precise analysis-results at runtime at a very low ...