Matches in SemOpenAlex for { <https://semopenalex.org/work/W1959424697> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1959424697 abstract "We present a framework for interprocedural shape analysis, which is contextand flow-sensitive with the ability to perform destructive pointer updates. Instances of the framework are precise enough to prove the absence of program errors such as null dereferences, memory leaks and verify conformance to API specifications. Technically, our analysis computes procedure summaries as transformers from inputs to outputs while ignoring parts of the heap not relevant to the procedure. This makes the analysis modular in the heap and thus allows reusing the effect of a procedure at different call-sites and even between different contexts occurring at the same call-site. A prototype of our framework was implemented and used to verify interesting properties of heap manipulating programs." @default.
- W1959424697 created "2016-06-24" @default.
- W1959424697 creator A5002512849 @default.
- W1959424697 creator A5061044883 @default.
- W1959424697 creator A5082349206 @default.
- W1959424697 date "2004-01-01" @default.
- W1959424697 modified "2023-10-17" @default.
- W1959424697 title "Interprocedural Functional Shape Analysis using Local Heaps" @default.
- W1959424697 cites W135583918 @default.
- W1959424697 cites W1480370622 @default.
- W1959424697 cites W1483359125 @default.
- W1959424697 cites W148396834 @default.
- W1959424697 cites W1553894716 @default.
- W1959424697 cites W1585404558 @default.
- W1959424697 cites W1593165330 @default.
- W1959424697 cites W1602537816 @default.
- W1959424697 cites W1755257908 @default.
- W1959424697 cites W1975914482 @default.
- W1959424697 cites W1985242567 @default.
- W1959424697 cites W1991837261 @default.
- W1959424697 cites W2007541742 @default.
- W1959424697 cites W2052664195 @default.
- W1959424697 cites W2080573945 @default.
- W1959424697 cites W2098495346 @default.
- W1959424697 cites W2103714221 @default.
- W1959424697 cites W2108824981 @default.
- W1959424697 cites W2130078434 @default.
- W1959424697 cites W2138245690 @default.
- W1959424697 cites W2158600037 @default.
- W1959424697 cites W2166858727 @default.
- W1959424697 cites W338991206 @default.
- W1959424697 hasPublicationYear "2004" @default.
- W1959424697 type Work @default.
- W1959424697 sameAs 1959424697 @default.
- W1959424697 citedByCount "5" @default.
- W1959424697 countsByYear W19594246972013 @default.
- W1959424697 crossrefType "journal-article" @default.
- W1959424697 hasAuthorship W1959424697A5002512849 @default.
- W1959424697 hasAuthorship W1959424697A5061044883 @default.
- W1959424697 hasAuthorship W1959424697A5082349206 @default.
- W1959424697 hasConcept C101468663 @default.
- W1959424697 hasConcept C127413603 @default.
- W1959424697 hasConcept C134757568 @default.
- W1959424697 hasConcept C150202949 @default.
- W1959424697 hasConcept C154945302 @default.
- W1959424697 hasConcept C199360897 @default.
- W1959424697 hasConcept C206588197 @default.
- W1959424697 hasConcept C41008148 @default.
- W1959424697 hasConcept C548081761 @default.
- W1959424697 hasConcept C7263679 @default.
- W1959424697 hasConcept C97686452 @default.
- W1959424697 hasConceptScore W1959424697C101468663 @default.
- W1959424697 hasConceptScore W1959424697C127413603 @default.
- W1959424697 hasConceptScore W1959424697C134757568 @default.
- W1959424697 hasConceptScore W1959424697C150202949 @default.
- W1959424697 hasConceptScore W1959424697C154945302 @default.
- W1959424697 hasConceptScore W1959424697C199360897 @default.
- W1959424697 hasConceptScore W1959424697C206588197 @default.
- W1959424697 hasConceptScore W1959424697C41008148 @default.
- W1959424697 hasConceptScore W1959424697C548081761 @default.
- W1959424697 hasConceptScore W1959424697C7263679 @default.
- W1959424697 hasConceptScore W1959424697C97686452 @default.
- W1959424697 hasLocation W19594246971 @default.
- W1959424697 hasOpenAccess W1959424697 @default.
- W1959424697 hasPrimaryLocation W19594246971 @default.
- W1959424697 hasRelatedWork W121457469 @default.
- W1959424697 hasRelatedWork W1494687202 @default.
- W1959424697 hasRelatedWork W1510368738 @default.
- W1959424697 hasRelatedWork W1973128987 @default.
- W1959424697 hasRelatedWork W1991837261 @default.
- W1959424697 hasRelatedWork W2002771912 @default.
- W1959424697 hasRelatedWork W2082000355 @default.
- W1959424697 hasRelatedWork W2133030258 @default.
- W1959424697 hasRelatedWork W2133680060 @default.
- W1959424697 hasRelatedWork W2137628566 @default.
- W1959424697 hasRelatedWork W2151360539 @default.
- W1959424697 hasRelatedWork W2151463894 @default.
- W1959424697 hasRelatedWork W2169953045 @default.
- W1959424697 hasRelatedWork W2798810563 @default.
- W1959424697 hasRelatedWork W280881733 @default.
- W1959424697 hasRelatedWork W3032226677 @default.
- W1959424697 hasRelatedWork W3100777132 @default.
- W1959424697 hasRelatedWork W3110216559 @default.
- W1959424697 hasRelatedWork W3136184307 @default.
- W1959424697 hasRelatedWork W7339949 @default.
- W1959424697 isParatext "false" @default.
- W1959424697 isRetracted "false" @default.
- W1959424697 magId "1959424697" @default.
- W1959424697 workType "article" @default.