The following pages link to Static Analysis (Q5466564):
Displaying 15 items.
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- Summarization for termination: No return! (Q845247) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Interprocedural shape analysis using separation logic-based transformer summaries (Q2233537) (← links)
- Fragment abstraction for concurrent shape analysis (Q2323989) (← links)
- A relational framework for higher-order shape analysis (Q2819695) (← links)
- Summary-Based Inter-Procedural Analysis via Modular Trace Refinement (Q2978543) (← links)
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack (Q3000594) (← links)
- (Q3024897) (← links)
- Relational inductive shape analysis (Q3189844) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- Interprocedural Shape Analysis with Separated Heap Abstractions (Q3613389) (← links)
- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs (Q4916088) (← links)
- Algebraic Methodology and Software Technology (Q5312985) (← links)
- Static Analysis (Q5897438) (← links)