Hybrid top-down and bottom-up interprocedural analysis
Interprocedural static analyses are broadly classified into top-down and bottom-up, depending upon how they compute, instantiate, and reuse procedure summaries. Both kinds of analyses are challenging to scale: top-down analyses are hindered by ineffective reuse of summaries whereas bottom-up analyse...
Main Authors: | Zhang, X, Mangal, R, Naik, M, Yang, H |
---|---|
Format: | Conference item |
Published: |
Association for Computing Machinery
2014
|
Similar Items
-
A correspondence between two approaches to interprocedural analysis in the presence of join
by: Yang, H, et al.
Published: (2014) -
Bottom-up or top-down?
by: Johansen-Berg, H
Published: (2001) -
Top down oder bottom up?
Published: (2018-03-01) -
Modularity in lattices: a case study on the correspondence between top-down and bottom-up analysis
by: Castelnuovo, G, et al.
Published: (2015) -
Combining top-down and bottom-up accountability
by: Serra, D
Published: (2008)