Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964307043> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2964307043 endingPage "483" @default.
- W2964307043 startingPage "470" @default.
- W2964307043 abstract "Abstract Malformed data-structures can lead to runtime errors such as arbitrary memory access or corruption. Despite this, reasoning over data-structure properties for low-level heap manipulating programs remains challenging. In this paper we present a constraint-based program analysis that checks data-structure integrity, w.r.t. given target data-structure properties, as the heap is manipulated by the program. Our approach is to automatically generate a solver for properties using the type definitions from the target program. The generated solver is implemented using a Constraint Handling Rules (CHR) extension of built-in heap, integer and equality solvers. A key property of our program analysis is that the target data-structure properties are shape neutral , i.e., the analysis does not check for properties relating to a given data-structure graph shape , such as doubly-linked-lists versus trees. Nevertheless, the analysis can detect errors in a wide range of data-structure manipulating programs, including those that use lists, trees, DAGs, graphs, etc. We present an implementation that uses the Satisfiability Modulo Constraint Handling Rules (SMCHR) system. Experimental results show that our approach works well for real-world C programs." @default.
- W2964307043 created "2019-07-30" @default.
- W2964307043 creator A5028568420 @default.
- W2964307043 creator A5058689103 @default.
- W2964307043 creator A5069809962 @default.
- W2964307043 date "2018-07-01" @default.
- W2964307043 modified "2023-10-18" @default.
- W2964307043 title "Shape Neutral Analysis of Graph-based Data-structures" @default.
- W2964307043 cites W2005907808 @default.
- W2964307043 cites W2079333278 @default.
- W2964307043 cites W2138259059 @default.
- W2964307043 cites W4234159174 @default.
- W2964307043 doi "https://doi.org/10.1017/s147106841800025x" @default.
- W2964307043 hasPublicationYear "2018" @default.
- W2964307043 type Work @default.
- W2964307043 sameAs 2964307043 @default.
- W2964307043 citedByCount "1" @default.
- W2964307043 countsByYear W29643070432019 @default.
- W2964307043 crossrefType "journal-article" @default.
- W2964307043 hasAuthorship W2964307043A5028568420 @default.
- W2964307043 hasAuthorship W2964307043A5058689103 @default.
- W2964307043 hasAuthorship W2964307043A5069809962 @default.
- W2964307043 hasBestOaLocation W29643070431 @default.
- W2964307043 hasConcept C11413529 @default.
- W2964307043 hasConcept C118615104 @default.
- W2964307043 hasConcept C132525143 @default.
- W2964307043 hasConcept C134757568 @default.
- W2964307043 hasConcept C162319229 @default.
- W2964307043 hasConcept C164155591 @default.
- W2964307043 hasConcept C168773769 @default.
- W2964307043 hasConcept C173856430 @default.
- W2964307043 hasConcept C199360897 @default.
- W2964307043 hasConcept C2778770139 @default.
- W2964307043 hasConcept C33923547 @default.
- W2964307043 hasConcept C41008148 @default.
- W2964307043 hasConcept C54732982 @default.
- W2964307043 hasConcept C80444323 @default.
- W2964307043 hasConcept C98183937 @default.
- W2964307043 hasConceptScore W2964307043C11413529 @default.
- W2964307043 hasConceptScore W2964307043C118615104 @default.
- W2964307043 hasConceptScore W2964307043C132525143 @default.
- W2964307043 hasConceptScore W2964307043C134757568 @default.
- W2964307043 hasConceptScore W2964307043C162319229 @default.
- W2964307043 hasConceptScore W2964307043C164155591 @default.
- W2964307043 hasConceptScore W2964307043C168773769 @default.
- W2964307043 hasConceptScore W2964307043C173856430 @default.
- W2964307043 hasConceptScore W2964307043C199360897 @default.
- W2964307043 hasConceptScore W2964307043C2778770139 @default.
- W2964307043 hasConceptScore W2964307043C33923547 @default.
- W2964307043 hasConceptScore W2964307043C41008148 @default.
- W2964307043 hasConceptScore W2964307043C54732982 @default.
- W2964307043 hasConceptScore W2964307043C80444323 @default.
- W2964307043 hasConceptScore W2964307043C98183937 @default.
- W2964307043 hasIssue "3-4" @default.
- W2964307043 hasLocation W29643070431 @default.
- W2964307043 hasLocation W29643070432 @default.
- W2964307043 hasOpenAccess W2964307043 @default.
- W2964307043 hasPrimaryLocation W29643070431 @default.
- W2964307043 hasRelatedWork W1580779595 @default.
- W2964307043 hasRelatedWork W1979619055 @default.
- W2964307043 hasRelatedWork W2105167013 @default.
- W2964307043 hasRelatedWork W2401873228 @default.
- W2964307043 hasRelatedWork W2568762190 @default.
- W2964307043 hasRelatedWork W2798810563 @default.
- W2964307043 hasRelatedWork W2930007110 @default.
- W2964307043 hasRelatedWork W2964307043 @default.
- W2964307043 hasRelatedWork W4254561751 @default.
- W2964307043 hasRelatedWork W4298162803 @default.
- W2964307043 hasVolume "18" @default.
- W2964307043 isParatext "false" @default.
- W2964307043 isRetracted "false" @default.
- W2964307043 magId "2964307043" @default.
- W2964307043 workType "article" @default.