Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298162803> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4298162803 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.
- W4298162803 created "2022-10-01" @default.
- W4298162803 creator A5028568420 @default.
- W4298162803 creator A5058689103 @default.
- W4298162803 creator A5069809962 @default.
- W4298162803 date "2018-04-25" @default.
- W4298162803 modified "2023-10-16" @default.
- W4298162803 title "Shape Neutral Analysis of Graph-based Data-structures" @default.
- W4298162803 doi "https://doi.org/10.48550/arxiv.1804.09352" @default.
- W4298162803 hasPublicationYear "2018" @default.
- W4298162803 type Work @default.
- W4298162803 citedByCount "0" @default.
- W4298162803 crossrefType "posted-content" @default.
- W4298162803 hasAuthorship W4298162803A5028568420 @default.
- W4298162803 hasAuthorship W4298162803A5058689103 @default.
- W4298162803 hasAuthorship W4298162803A5069809962 @default.
- W4298162803 hasBestOaLocation W42981628031 @default.
- W4298162803 hasConcept C11413529 @default.
- W4298162803 hasConcept C118615104 @default.
- W4298162803 hasConcept C132525143 @default.
- W4298162803 hasConcept C134757568 @default.
- W4298162803 hasConcept C162319229 @default.
- W4298162803 hasConcept C164155591 @default.
- W4298162803 hasConcept C168773769 @default.
- W4298162803 hasConcept C199360897 @default.
- W4298162803 hasConcept C2778770139 @default.
- W4298162803 hasConcept C33923547 @default.
- W4298162803 hasConcept C41008148 @default.
- W4298162803 hasConcept C54732982 @default.
- W4298162803 hasConcept C80444323 @default.
- W4298162803 hasConcept C98183937 @default.
- W4298162803 hasConceptScore W4298162803C11413529 @default.
- W4298162803 hasConceptScore W4298162803C118615104 @default.
- W4298162803 hasConceptScore W4298162803C132525143 @default.
- W4298162803 hasConceptScore W4298162803C134757568 @default.
- W4298162803 hasConceptScore W4298162803C162319229 @default.
- W4298162803 hasConceptScore W4298162803C164155591 @default.
- W4298162803 hasConceptScore W4298162803C168773769 @default.
- W4298162803 hasConceptScore W4298162803C199360897 @default.
- W4298162803 hasConceptScore W4298162803C2778770139 @default.
- W4298162803 hasConceptScore W4298162803C33923547 @default.
- W4298162803 hasConceptScore W4298162803C41008148 @default.
- W4298162803 hasConceptScore W4298162803C54732982 @default.
- W4298162803 hasConceptScore W4298162803C80444323 @default.
- W4298162803 hasConceptScore W4298162803C98183937 @default.
- W4298162803 hasLocation W42981628031 @default.
- W4298162803 hasOpenAccess W4298162803 @default.
- W4298162803 hasPrimaryLocation W42981628031 @default.
- W4298162803 hasRelatedWork W1868334863 @default.
- W4298162803 hasRelatedWork W2105167013 @default.
- W4298162803 hasRelatedWork W2141151670 @default.
- W4298162803 hasRelatedWork W2568762190 @default.
- W4298162803 hasRelatedWork W2798810563 @default.
- W4298162803 hasRelatedWork W2930007110 @default.
- W4298162803 hasRelatedWork W2964307043 @default.
- W4298162803 hasRelatedWork W4241145878 @default.
- W4298162803 hasRelatedWork W4294362606 @default.
- W4298162803 hasRelatedWork W4298162803 @default.
- W4298162803 isParatext "false" @default.
- W4298162803 isRetracted "false" @default.
- W4298162803 workType "article" @default.