Persisting and Reusing Results of Static Program Analyses on a Large Scale

Static Program Analysis (SPA) has long been established as an important technique for gaining insights into software systems. Over the last years, analysis designers increasingly produced analyses that are compositional, collaborative, or incremental in nature - thus relying on some form of existing...

Full description

Bibliographic Details

Published in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] pp. 888 - 900
Main Authors:	Dusing, Johannes, Hermann, Ben
Format:	Conference Proceeding
Language:	English
Published:	IEEE 11.09.2023
Subjects:	Benchmark testing Complexity theory Modular Analysis Prototypes Publishing Repository Mining Result Reuse Runtime Software systems Static Program Analysis Systematics
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!