Conference item
Modularity in lattices: a case study on the correspondence between top-down and bottom-up analysis
- Abstract:
-
Interprocedural analyses are compositional when they compute over-approximations of procedures in a bottom-up fashion. These analyses are usually more scalable than top-down analyses, which compute a different procedure summary for every calling context. However, compositional analyses are rare in practice as it is difficult to develop them with enough precision.
We esta... Expand abstract
- Publication status:
- Published
- Peer review status:
- Reviewed (other)
Actions
Access Document
- Files:
-
-
(Accepted manuscript, pdf, 529.4KB)
-
- Publisher copy:
- 10.1007/978-3-662-48288-9_15
Authors
Funding
Tel Aviv University University Authentication Initiative
More from this funder
Bibliographic Details
- Publisher:
- Springer Publisher's website
- Host title:
- Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
- Series:
- Lecture Notes in Computer Science
- Journal:
- Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings Journal website
- Volume:
- 9291
- Pages:
- 252-274
- Publication date:
- 2015-09-02
- Acceptance date:
- 2015-06-01
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- ISBN:
- 9783662482872
Item Description
- Pubs id:
-
pubs:581039
- UUID:
-
uuid:8afe6cc2-700e-4530-8018-ff394ed65cdc
- Local pid:
- pubs:581039
- Source identifiers:
-
581039
- Deposit date:
- 2016-01-03
Terms of use
- Copyright holder:
- Springer-Verlag Berlin Heidelberg
- Copyright date:
- 2015
- Notes:
- © Springer-Verlag Berlin Heidelberg 2015. This paper was first presented at the 22nd International Symposium, SAS 2015, September 9-11, 2015. Saint-Malo, France. This is the accepted manuscript version of the article. The final version is available online from Springer at: 10.1007/978-3-662-48288-9_15
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record