Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953153984> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2953153984 abstract "We propose a hierarchical abstract domain for the analysis of free-list memory allocators that tracks shape and numerical properties about both the heap and the free lists. Our domain is based on Separation Logic extended with predicates that capture the pointer arithmetics constraints for the heap-list and the shape of the free-list. These predicates are combined using a hierarchical composition operator to specify the overlapping of the heap-list by the free-list. In addition to expressiveness, this operator leads to a compositional and compact representation of abstract values and simplifies the implementation of the abstract domain. The shape constraints are combined with numerical constraints over integer arrays to track properties about the allocation policies (best-fit, first-fit, etc). Such properties are out of the scope of the existing analyzers. We implemented this domain and we show its effectiveness on several implementations of free-list allocators." @default.
- W2953153984 created "2019-06-27" @default.
- W2953153984 creator A5047029242 @default.
- W2953153984 creator A5047648083 @default.
- W2953153984 date "2016-08-19" @default.
- W2953153984 modified "2023-09-30" @default.
- W2953153984 title "Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators" @default.
- W2953153984 cites W1495368328 @default.
- W2953153984 cites W1508811155 @default.
- W2953153984 cites W1518247129 @default.
- W2953153984 cites W1558427762 @default.
- W2953153984 cites W165467913 @default.
- W2953153984 cites W1833029986 @default.
- W2953153984 cites W1887332367 @default.
- W2953153984 cites W1899349177 @default.
- W2953153984 cites W1993255342 @default.
- W2953153984 cites W1993449345 @default.
- W2953153984 cites W2015362443 @default.
- W2953153984 cites W2043100293 @default.
- W2953153984 cites W2048422440 @default.
- W2953153984 cites W2111513472 @default.
- W2953153984 cites W2118692759 @default.
- W2953153984 cites W2139401046 @default.
- W2953153984 cites W2151655370 @default.
- W2953153984 cites W65162005 @default.
- W2953153984 cites W84399048 @default.
- W2953153984 cites W85177704 @default.
- W2953153984 doi "https://doi.org/10.48550/arxiv.1608.05676" @default.
- W2953153984 hasPublicationYear "2016" @default.
- W2953153984 type Work @default.
- W2953153984 sameAs 2953153984 @default.
- W2953153984 citedByCount "0" @default.
- W2953153984 crossrefType "posted-content" @default.
- W2953153984 hasAuthorship W2953153984A5047029242 @default.
- W2953153984 hasAuthorship W2953153984A5047648083 @default.
- W2953153984 hasBestOaLocation W29531539841 @default.
- W2953153984 hasConcept C111472728 @default.
- W2953153984 hasConcept C11413529 @default.
- W2953153984 hasConcept C124304363 @default.
- W2953153984 hasConcept C134306372 @default.
- W2953153984 hasConcept C134757568 @default.
- W2953153984 hasConcept C136085584 @default.
- W2953153984 hasConcept C138885662 @default.
- W2953153984 hasConcept C150202949 @default.
- W2953153984 hasConcept C154945302 @default.
- W2953153984 hasConcept C162262903 @default.
- W2953153984 hasConcept C173608175 @default.
- W2953153984 hasConcept C176649486 @default.
- W2953153984 hasConcept C199360897 @default.
- W2953153984 hasConcept C26713055 @default.
- W2953153984 hasConcept C33923547 @default.
- W2953153984 hasConcept C34339311 @default.
- W2953153984 hasConcept C36503486 @default.
- W2953153984 hasConcept C41008148 @default.
- W2953153984 hasConcept C7263679 @default.
- W2953153984 hasConcept C80444323 @default.
- W2953153984 hasConcept C97686452 @default.
- W2953153984 hasConceptScore W2953153984C111472728 @default.
- W2953153984 hasConceptScore W2953153984C11413529 @default.
- W2953153984 hasConceptScore W2953153984C124304363 @default.
- W2953153984 hasConceptScore W2953153984C134306372 @default.
- W2953153984 hasConceptScore W2953153984C134757568 @default.
- W2953153984 hasConceptScore W2953153984C136085584 @default.
- W2953153984 hasConceptScore W2953153984C138885662 @default.
- W2953153984 hasConceptScore W2953153984C150202949 @default.
- W2953153984 hasConceptScore W2953153984C154945302 @default.
- W2953153984 hasConceptScore W2953153984C162262903 @default.
- W2953153984 hasConceptScore W2953153984C173608175 @default.
- W2953153984 hasConceptScore W2953153984C176649486 @default.
- W2953153984 hasConceptScore W2953153984C199360897 @default.
- W2953153984 hasConceptScore W2953153984C26713055 @default.
- W2953153984 hasConceptScore W2953153984C33923547 @default.
- W2953153984 hasConceptScore W2953153984C34339311 @default.
- W2953153984 hasConceptScore W2953153984C36503486 @default.
- W2953153984 hasConceptScore W2953153984C41008148 @default.
- W2953153984 hasConceptScore W2953153984C7263679 @default.
- W2953153984 hasConceptScore W2953153984C80444323 @default.
- W2953153984 hasConceptScore W2953153984C97686452 @default.
- W2953153984 hasLocation W29531539841 @default.
- W2953153984 hasOpenAccess W2953153984 @default.
- W2953153984 hasPrimaryLocation W29531539841 @default.
- W2953153984 hasRelatedWork W100570981 @default.
- W2953153984 hasRelatedWork W1486287063 @default.
- W2953153984 hasRelatedWork W23987500 @default.
- W2953153984 hasRelatedWork W2757277640 @default.
- W2953153984 hasRelatedWork W2773223713 @default.
- W2953153984 hasRelatedWork W2797886673 @default.
- W2953153984 hasRelatedWork W2953153984 @default.
- W2953153984 hasRelatedWork W3008864649 @default.
- W2953153984 hasRelatedWork W3121955897 @default.
- W2953153984 hasRelatedWork W4297797072 @default.
- W2953153984 isParatext "false" @default.
- W2953153984 isRetracted "false" @default.
- W2953153984 magId "2953153984" @default.
- W2953153984 workType "article" @default.