Matches in SemOpenAlex for { <https://semopenalex.org/work/W2619074446> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2619074446 abstract "The present paper proposes the first static analysis for Android applications which is both flow-sensitive on the heap abstraction and provably sound with respect to a rich formal model of the Android platform. We formulate the analysis as a set of Horn clauses defining a sound over-approximation of the semantics of the Android application to analyse, borrowing ideas from recency abstraction and extending them to our concurrent setting. Moreover, we implement the analysis in HornDroid, a state-of-the-art information flow analyser for Android applications. Our extension allows HornDroid to perform strong updates on heap-allocated data structures, thus significantly increasing its precision, without sacrificing its soundness guarantees. We test our implementation on DroidBench, a popular benchmark of Android applications developed by the research community, and we show that our changes to HornDroid lead to an improvement in the precision of the tool, while having only a moderate cost in terms of efficiency. Finally, we assess the scalability of our tool to the analysis of real applications." @default.
- W2619074446 created "2017-06-05" @default.
- W2619074446 creator A5059351004 @default.
- W2619074446 creator A5074577020 @default.
- W2619074446 creator A5084675121 @default.
- W2619074446 creator A5087028513 @default.
- W2619074446 date "2017-08-01" @default.
- W2619074446 modified "2023-09-24" @default.
- W2619074446 title "A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications" @default.
- W2619074446 cites W100599422 @default.
- W2619074446 cites W124941384 @default.
- W2619074446 cites W1553894716 @default.
- W2619074446 cites W1558427762 @default.
- W2619074446 cites W179639259 @default.
- W2619074446 cites W1972796262 @default.
- W2619074446 cites W1988036170 @default.
- W2619074446 cites W2002771912 @default.
- W2619074446 cites W2006413814 @default.
- W2619074446 cites W2017025011 @default.
- W2619074446 cites W201827489 @default.
- W2619074446 cites W2027538101 @default.
- W2619074446 cites W2038173123 @default.
- W2619074446 cites W2078197322 @default.
- W2619074446 cites W2094835181 @default.
- W2619074446 cites W2131135493 @default.
- W2619074446 cites W2136271630 @default.
- W2619074446 cites W2145911832 @default.
- W2619074446 cites W2154713600 @default.
- W2619074446 cites W2170577595 @default.
- W2619074446 cites W2385667943 @default.
- W2619074446 cites W2544992706 @default.
- W2619074446 cites W2619074446 @default.
- W2619074446 cites W3005402394 @default.
- W2619074446 cites W3018596786 @default.
- W2619074446 cites W3020486320 @default.
- W2619074446 cites W3163546604 @default.
- W2619074446 cites W4206770190 @default.
- W2619074446 cites W4251181392 @default.
- W2619074446 cites W4255249960 @default.
- W2619074446 doi "https://doi.org/10.1109/csf.2017.19" @default.
- W2619074446 hasPublicationYear "2017" @default.
- W2619074446 type Work @default.
- W2619074446 sameAs 2619074446 @default.
- W2619074446 citedByCount "3" @default.
- W2619074446 countsByYear W26190744462017 @default.
- W2619074446 countsByYear W26190744462022 @default.
- W2619074446 countsByYear W26190744462023 @default.
- W2619074446 crossrefType "proceedings-article" @default.
- W2619074446 hasAuthorship W2619074446A5059351004 @default.
- W2619074446 hasAuthorship W2619074446A5074577020 @default.
- W2619074446 hasAuthorship W2619074446A5084675121 @default.
- W2619074446 hasAuthorship W2619074446A5087028513 @default.
- W2619074446 hasBestOaLocation W26190744462 @default.
- W2619074446 hasConcept C111472728 @default.
- W2619074446 hasConcept C111919701 @default.
- W2619074446 hasConcept C124304363 @default.
- W2619074446 hasConcept C134757568 @default.
- W2619074446 hasConcept C138885662 @default.
- W2619074446 hasConcept C149635348 @default.
- W2619074446 hasConcept C199360897 @default.
- W2619074446 hasConcept C41008148 @default.
- W2619074446 hasConcept C557433098 @default.
- W2619074446 hasConcept C97686452 @default.
- W2619074446 hasConceptScore W2619074446C111472728 @default.
- W2619074446 hasConceptScore W2619074446C111919701 @default.
- W2619074446 hasConceptScore W2619074446C124304363 @default.
- W2619074446 hasConceptScore W2619074446C134757568 @default.
- W2619074446 hasConceptScore W2619074446C138885662 @default.
- W2619074446 hasConceptScore W2619074446C149635348 @default.
- W2619074446 hasConceptScore W2619074446C199360897 @default.
- W2619074446 hasConceptScore W2619074446C41008148 @default.
- W2619074446 hasConceptScore W2619074446C557433098 @default.
- W2619074446 hasConceptScore W2619074446C97686452 @default.
- W2619074446 hasLocation W26190744461 @default.
- W2619074446 hasLocation W26190744462 @default.
- W2619074446 hasOpenAccess W2619074446 @default.
- W2619074446 hasPrimaryLocation W26190744461 @default.
- W2619074446 hasRelatedWork W1561877636 @default.
- W2619074446 hasRelatedWork W2017132110 @default.
- W2619074446 hasRelatedWork W2133497528 @default.
- W2619074446 hasRelatedWork W224445550 @default.
- W2619074446 hasRelatedWork W2345469769 @default.
- W2619074446 hasRelatedWork W2365976857 @default.
- W2619074446 hasRelatedWork W2384182433 @default.
- W2619074446 hasRelatedWork W23987500 @default.
- W2619074446 hasRelatedWork W2503054114 @default.
- W2619074446 hasRelatedWork W2183094711 @default.
- W2619074446 isParatext "false" @default.
- W2619074446 isRetracted "false" @default.
- W2619074446 magId "2619074446" @default.
- W2619074446 workType "article" @default.