Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897230829> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2897230829 abstract "We propose a shape analysis suitable for analysis engines that perform automatic invariant inference using an SMT solver. The proposed solution includes an abstract template domain that encodes the shape of the program heap based on logical formulae over bit-vectors. It is based on computing a points-to relation between pointers and symbolic addresses of abstract memory objects. Our abstract heap domain can be combined with value domains in a straightforward manner, which particularly allows us to reason about shapes and contents of heap structures at the same time. The information obtained from the analysis can be used to prove memory safety and reachability properties, expressed by user assertions, of programs manipulating dynamic data structures, mainly linked lists. The solution has been implemented in the 2LS framework and compared against state-of-the-art tools that perform the best in heap-related categories of the well-known Software Verification Competition (SV-COMP). Results show that 2LS outperforms these tools on benchmarks requiring combined reasoning about unbounded data structures and their numerical contents." @default.
- W2897230829 created "2018-10-26" @default.
- W2897230829 creator A5005128087 @default.
- W2897230829 creator A5036499962 @default.
- W2897230829 creator A5041166887 @default.
- W2897230829 creator A5066022930 @default.
- W2897230829 date "2018-10-01" @default.
- W2897230829 modified "2023-10-18" @default.
- W2897230829 title "Template-Based Verification of Heap-Manipulating Programs" @default.
- W2897230829 cites W1001614398 @default.
- W2897230829 cites W1508482211 @default.
- W2897230829 cites W1517071433 @default.
- W2897230829 cites W1522742464 @default.
- W2897230829 cites W1580779595 @default.
- W2897230829 cites W1581674879 @default.
- W2897230829 cites W1592587615 @default.
- W2897230829 cites W1686717288 @default.
- W2897230829 cites W1826991911 @default.
- W2897230829 cites W1839583963 @default.
- W2897230829 cites W1976401986 @default.
- W2897230829 cites W1976979256 @default.
- W2897230829 cites W2004419599 @default.
- W2897230829 cites W2014764321 @default.
- W2897230829 cites W2043100293 @default.
- W2897230829 cites W2045388381 @default.
- W2897230829 cites W2097698142 @default.
- W2897230829 cites W2137628566 @default.
- W2897230829 cites W2138245690 @default.
- W2897230829 cites W2161253570 @default.
- W2897230829 cites W2170577595 @default.
- W2897230829 cites W2211800868 @default.
- W2897230829 cites W2232378406 @default.
- W2897230829 cites W2570552138 @default.
- W2897230829 cites W2962805785 @default.
- W2897230829 cites W4238420531 @default.
- W2897230829 cites W4241317396 @default.
- W2897230829 doi "https://doi.org/10.23919/fmcad.2018.8603009" @default.
- W2897230829 hasPublicationYear "2018" @default.
- W2897230829 type Work @default.
- W2897230829 sameAs 2897230829 @default.
- W2897230829 citedByCount "3" @default.
- W2897230829 countsByYear W28972308292019 @default.
- W2897230829 countsByYear W28972308292020 @default.
- W2897230829 countsByYear W28972308292023 @default.
- W2897230829 crossrefType "proceedings-article" @default.
- W2897230829 hasAuthorship W2897230829A5005128087 @default.
- W2897230829 hasAuthorship W2897230829A5036499962 @default.
- W2897230829 hasAuthorship W2897230829A5041166887 @default.
- W2897230829 hasAuthorship W2897230829A5066022930 @default.
- W2897230829 hasBestOaLocation W28972308292 @default.
- W2897230829 hasConcept C11413529 @default.
- W2897230829 hasConcept C134757568 @default.
- W2897230829 hasConcept C136643341 @default.
- W2897230829 hasConcept C162319229 @default.
- W2897230829 hasConcept C164155591 @default.
- W2897230829 hasConcept C173856430 @default.
- W2897230829 hasConcept C199360897 @default.
- W2897230829 hasConcept C2777904410 @default.
- W2897230829 hasConcept C2778770139 @default.
- W2897230829 hasConcept C2779639559 @default.
- W2897230829 hasConcept C41008148 @default.
- W2897230829 hasConcept C80444323 @default.
- W2897230829 hasConcept C97686452 @default.
- W2897230829 hasConceptScore W2897230829C11413529 @default.
- W2897230829 hasConceptScore W2897230829C134757568 @default.
- W2897230829 hasConceptScore W2897230829C136643341 @default.
- W2897230829 hasConceptScore W2897230829C162319229 @default.
- W2897230829 hasConceptScore W2897230829C164155591 @default.
- W2897230829 hasConceptScore W2897230829C173856430 @default.
- W2897230829 hasConceptScore W2897230829C199360897 @default.
- W2897230829 hasConceptScore W2897230829C2777904410 @default.
- W2897230829 hasConceptScore W2897230829C2778770139 @default.
- W2897230829 hasConceptScore W2897230829C2779639559 @default.
- W2897230829 hasConceptScore W2897230829C41008148 @default.
- W2897230829 hasConceptScore W2897230829C80444323 @default.
- W2897230829 hasConceptScore W2897230829C97686452 @default.
- W2897230829 hasLocation W28972308291 @default.
- W2897230829 hasLocation W28972308292 @default.
- W2897230829 hasOpenAccess W2897230829 @default.
- W2897230829 hasPrimaryLocation W28972308291 @default.
- W2897230829 hasRelatedWork W1588132240 @default.
- W2897230829 hasRelatedWork W1652311832 @default.
- W2897230829 hasRelatedWork W1933894333 @default.
- W2897230829 hasRelatedWork W2118300983 @default.
- W2897230829 hasRelatedWork W2135396778 @default.
- W2897230829 hasRelatedWork W2166247150 @default.
- W2897230829 hasRelatedWork W2243428364 @default.
- W2897230829 hasRelatedWork W2462453872 @default.
- W2897230829 hasRelatedWork W3207171446 @default.
- W2897230829 hasRelatedWork W4243252198 @default.
- W2897230829 isParatext "false" @default.
- W2897230829 isRetracted "false" @default.
- W2897230829 magId "2897230829" @default.
- W2897230829 workType "article" @default.