FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2888805005> ?p ?o ?g. }

• W2888805005 endingPage "262" @default.
• W2888805005 startingPage "243" @default.
• W2888805005 abstract "We present a modular analysis able to tackle out-of-bounds accesses in C strings. This analyzer is modular in the sense that it infers and tabulates (for reuse) input/output relations, automatically partitioned according to the shape of the input state. We show how the inter-procedural iterator discovers and generalizes contracts in order to improve their reusability for further analysis. This analyzer was implemented and was able to successfully analyze and infer relational contracts for functions such as strcpy, strcat." @default.
• W2888805005 created "2018-09-07" @default.
• W2888805005 creator A5062009115 @default.
• W2888805005 creator A5064914017 @default.
• W2888805005 creator A5069148908 @default.
• W2888805005 date "2018-01-01" @default.
• W2888805005 modified "2023-09-25" @default.
• W2888805005 title "Modular Static Analysis of String Manipulations in C Programs" @default.
• W2888805005 cites W1494768888 @default.
• W2888805005 cites W1503701626 @default.
• W2888805005 cites W1551571370 @default.
• W2888805005 cites W1558427762 @default.
• W2888805005 cites W1562865234 @default.
• W2888805005 cites W1599912326 @default.
• W2888805005 cites W1607645463 @default.
• W2888805005 cites W1657354101 @default.
• W2888805005 cites W181487622 @default.
• W2888805005 cites W1984342415 @default.
• W2888805005 cites W198958201 @default.
• W2888805005 cites W1991504773 @default.
• W2888805005 cites W2043100293 @default.
• W2888805005 cites W2113159073 @default.
• W2888805005 cites W2132661148 @default.
• W2888805005 cites W2746084993 @default.
• W2888805005 cites W3196044867 @default.
• W2888805005 cites W4230509083 @default.
• W2888805005 cites W4251718220 @default.
• W2888805005 cites W4252770885 @default.
• W2888805005 cites W777621473 @default.
• W2888805005 doi "https://doi.org/10.1007/978-3-319-99725-4_16" @default.
• W2888805005 hasPublicationYear "2018" @default.
• W2888805005 type Work @default.
• W2888805005 sameAs 2888805005 @default.
• W2888805005 citedByCount "8" @default.
• W2888805005 countsByYear W28888050052018 @default.
• W2888805005 countsByYear W28888050052020 @default.
• W2888805005 countsByYear W28888050052022 @default.
• W2888805005 countsByYear W28888050052023 @default.
• W2888805005 crossrefType "book-chapter" @default.
• W2888805005 hasAuthorship W2888805005A5062009115 @default.
• W2888805005 hasAuthorship W2888805005A5064914017 @default.
• W2888805005 hasAuthorship W2888805005A5069148908 @default.
• W2888805005 hasBestOaLocation W28888050052 @default.
• W2888805005 hasConcept C101468663 @default.
• W2888805005 hasConcept C11413529 @default.
• W2888805005 hasConcept C121332964 @default.
• W2888805005 hasConcept C137981799 @default.
• W2888805005 hasConcept C157486923 @default.
• W2888805005 hasConcept C158007255 @default.
• W2888805005 hasConcept C173608175 @default.
• W2888805005 hasConcept C18903297 @default.
• W2888805005 hasConcept C199360897 @default.
• W2888805005 hasConcept C206588197 @default.
• W2888805005 hasConcept C2777904410 @default.
• W2888805005 hasConcept C41008148 @default.
• W2888805005 hasConcept C48103436 @default.
• W2888805005 hasConcept C62520636 @default.
• W2888805005 hasConcept C76155785 @default.
• W2888805005 hasConcept C80444323 @default.
• W2888805005 hasConcept C86803240 @default.
• W2888805005 hasConcept C97686452 @default.
• W2888805005 hasConceptScore W2888805005C101468663 @default.
• W2888805005 hasConceptScore W2888805005C11413529 @default.
• W2888805005 hasConceptScore W2888805005C121332964 @default.
• W2888805005 hasConceptScore W2888805005C137981799 @default.
• W2888805005 hasConceptScore W2888805005C157486923 @default.
• W2888805005 hasConceptScore W2888805005C158007255 @default.
• W2888805005 hasConceptScore W2888805005C173608175 @default.
• W2888805005 hasConceptScore W2888805005C18903297 @default.
• W2888805005 hasConceptScore W2888805005C199360897 @default.
• W2888805005 hasConceptScore W2888805005C206588197 @default.
• W2888805005 hasConceptScore W2888805005C2777904410 @default.
• W2888805005 hasConceptScore W2888805005C41008148 @default.
• W2888805005 hasConceptScore W2888805005C48103436 @default.
• W2888805005 hasConceptScore W2888805005C62520636 @default.
• W2888805005 hasConceptScore W2888805005C76155785 @default.
• W2888805005 hasConceptScore W2888805005C80444323 @default.
• W2888805005 hasConceptScore W2888805005C86803240 @default.
• W2888805005 hasConceptScore W2888805005C97686452 @default.
• W2888805005 hasLocation W28888050051 @default.
• W2888805005 hasLocation W28888050052 @default.
• W2888805005 hasLocation W28888050053 @default.
• W2888805005 hasOpenAccess W2888805005 @default.
• W2888805005 hasPrimaryLocation W28888050051 @default.
• W2888805005 hasRelatedWork W196681074 @default.
• W2888805005 hasRelatedWork W2000953224 @default.
• W2888805005 hasRelatedWork W2038997378 @default.
• W2888805005 hasRelatedWork W2042546688 @default.
• W2888805005 hasRelatedWork W2043100293 @default.
• W2888805005 hasRelatedWork W2097118641 @default.
• W2888805005 hasRelatedWork W2124961065 @default.
• W2888805005 hasRelatedWork W2141735009 @default.
• W2888805005 hasRelatedWork W2230597162 @default.
• W2888805005 hasRelatedWork W2331347011 @default.
• W2888805005 hasRelatedWork W2525315481 @default.
• W2888805005 hasRelatedWork W2569507975 @default.
• W2888805005 hasRelatedWork W2625079116 @default.
• W2888805005 hasRelatedWork W2770770269 @default.

• next