Show simple item record

dc.contributor.author
Ferrara, Pietro
dc.contributor.author
Müller, Peter
dc.contributor.author
Novacek, Milos
dc.date.accessioned
2017-10-24T14:27:42Z
dc.date.available
2017-06-10T22:11:55Z
dc.date.available
2017-10-24T14:27:42Z
dc.date.issued
2013
dc.identifier.uri
http://hdl.handle.net/20.500.11850/72669
dc.identifier.doi
10.3929/ethz-a-010110962
dc.description.abstract
Effective static analysis of heap manipulating programs is required to track precise information about the heap structures and values computed by the program. In this paper, we introduce a combined heap and value analysis that infers complex invariants for recursive data structures like lists and trees, in particular relations between value fields of heap-allocated objects. Our analysis does not require any manual annotation of the program. Different performance/precision ratios are achieved by selecting different value domains. The analysis has been implemented in the generic static analyzer Sample. The experimental results show that the analysis infers invariants automatically that required manual annotations in the state-of-the-art analyses.
en_US
dc.language.iso
en
en_US
dc.publisher
ETH-Zürich, Departement Informatik
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
Value analysis
en_US
dc.subject
Static analysis
en_US
dc.subject
CODING (SOFTWARE ENGINEERING)
en_US
dc.subject
PROCESS MANAGEMENT (OPERATING SYSTEMS)
en_US
dc.subject
SPECIAL PROGRAMMING METHODS
en_US
dc.subject
PROZESSVERWALTUNG + PROZESSMANAGEMENT (BETRIEBSSYSTEME)
en_US
dc.subject
SPEZIELLE PROGRAMMIERMETHODEN
en_US
dc.subject
Abstract domains
en_US
dc.subject
Abstract interpretation
en_US
dc.subject
KODIERUNG (SOFTWARE ENGINEERING)
en_US
dc.subject
Heap analysis
en_US
dc.title
Automatic Inference of Heap Properties Exploiting Value Domains
en_US
dc.type
Report
dc.rights.license
In Copyright - Non-Commercial Use Permitted
dc.date.published
2014
ethz.journal.title
Technical report / Department of Computer Science
ethz.journal.volume
794
en_US
ethz.size
25 p.
en_US
ethz.code.ddc
0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.notes
Updated version from 15. September 2014 see: http://e-citations.ethbib.ethz.ch/view/pub:139737.
en_US
ethz.identifier.nebis
010110962
ethz.publication.place
Zürich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.date.deposited
2017-06-10T22:12:40Z
ethz.source
ECOL
ethz.source
ECIT
ethz.identifier.importid
imp5936510f4a54753159
ethz.identifier.importid
imp59366b57a82f258392
ethz.ecolpid
eth:8382
ethz.ecitpid
pub:115133
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-18T15:07:17Z
ethz.rosetta.lastUpdated
2017-10-24T14:27:45Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Automatic%20Inference%20of%20Heap%20Properties%20Exploiting%20Value%20Domains&rft.jtitle=Technical%20report%20/%20Department%20of%20Computer%20Science&rft.date=2013&rft.volume=794&rft.au=Ferrara,%20Pietro&M%C3%BCller,%20Peter&Novacek,%20Milos&rft.genre=report&
 Search via SFX

Files in this item

Thumbnail

Publication type

Show simple item record