Change Pattern Detection for Optimising Incremental Static Analysis
Static analyses can be used by developers to compute properties of a program, enabling eg,
bug detection and program verification. However, reanalysing a program from scratch upon …
bug detection and program verification. However, reanalysing a program from scratch upon …
[PDF][PDF] MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis.
Information Flow Control is important for securing applications, primarily to preserve the
confidentiality and integrity of applications and the data they process. Statically determining …
confidentiality and integrity of applications and the data they process. Statically determining …
MAF: a framework for modular static analysis of higher-order languages
A modular static analysis decomposes a program's analysis into analyses of its parts, or
components. An intercomponent analysis instructs an intra-component analysis to analyse …
components. An intercomponent analysis instructs an intra-component analysis to analyse …
A parallel worklist algorithm and its exploration heuristics for static modular analyses
One way to speed up static programme analysis is to make use of today's multi-core CPUs
by parallelising the analysis. Existing work on parallel analysis usually targets traditional …
by parallelising the analysis. Existing work on parallel analysis usually targets traditional …
[PDF][PDF] Incremental Static Program Analysis through Reified Computational Dependencies
Q Stiévenart, G Hedin, B Hermann - 2024 - jvdp.eu
Over the last few decades, computers have become an indispensable part of modern
society. As the programs running on these computers play an essential role in everyday life …
society. As the programs running on these computers play an essential role in everyday life …