Conference item icon

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


More by this author
Institution:
University of Oxford
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Broadcom Foundation More from this funder
Tel Aviv University University Authentication Initiative More from this funder
Expand funders...
Publisher:
Springer Publisher's website
Journal:
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings Journal website
Volume:
9291
Pages:
252-274
Series:
Lecture Notes in Computer Science
Host title:
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Publication date:
2015-09-02
Acceptance date:
2015-06-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Source identifiers:
581039
ISBN:
9783662482872
Pubs id:
pubs:581039
UUID:
uuid:8afe6cc2-700e-4530-8018-ff394ed65cdc
Local pid:
pubs:581039
Deposit date:
2016-01-03

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP