Modular static program analysis
From MaRDI portal
Recommendations
Cited in
(48)- An abstract interpretation framework for optimizing dynamic modular logic languages
- Inferring functional properties of matrix manipulating programs by abstract interpretation
- Program analysis tools
- Type inference for record concatenation and subtyping
- A relational shape abstract domain
- Fuzzy set abstraction
- Improving thread-modular abstract interpretation
- Multilevel static analysis for improving program quality
- On multi-language abstraction. Towards a static analysis of multi-language programs
- A multi-domain incremental analysis engine and its application to incremental resource analysis
- A divide-and-conquer approach for analysing overlaid data structures
- TVLA: A system for implementing static analyses
- Points-to and side-effect analyses for programs built with precompiled libraries
- A modular static analysis approach to affine loop invariants detection
- Sound non-statistical clustering of static analysis alarms
- Modularly combining numeric abstract domains with points-to analysis, and a scalable static numeric analyzer for Java
- Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
- Precondition inference from intermittent assertions and application to contracts on collections
- Static analysis of PostScript code
- scientific article; zbMATH DE number 1822434 (Why is no real title available?)
- Modular analysis of executables using on-demand Heyting completion
- Galois Connections for Recursive Types
- Incremental Abstract Interpretation
- An algebraic approach to the static analysis of concurrent software
- Modular control flow analysis for libraries
- Separate abstract interpretation for control-flow analysis
- Program verification: state of the art, problems, and results. I
- Static analysis of arithmetical congruences
- Watchpoint semantics: A tool for compositional and focussed static analyses
- Incremental and modular context-sensitive analysis
- Compositional may-must program analysis: unleashing the power of alternation
- Automatic modular abstractions for linear constraints
- Separate compositional analysis of class-based object-oriented languages
- Trace partitioning in abstract interpretation based static analyzers
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- A generic framework for context-sensitive analysis of modular programs
- scientific article; zbMATH DE number 2243645 (Why is no real title available?)
- Modular software fault isolation as abstract interpretation
- Principles of staged static+dynamic partial analysis
- Lifting numeric relational domains to algebraic data types
- Result invalidation for incremental modular analyses
- An input-output relational domain for algebraic data types and functional arrays
- Partial program analysis for staged compilation systems
- Static analysis based on formal models and incremental computation in Go programming
- Extending separation logic with fixpoints and postponed substitution
- Why does Astrée scale up?
- Deriving escape analysis by abstract interpretation
- Resource-usage-aware configuration in software product lines
This page was built for publication: Modular static program analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738384)
