Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069959685> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2069959685 abstract "String analysis is critical for many verification techniques. However, accurately modeling string variables is a challeng- ing problem. Current approaches are generally customized for certain problem domains or have critical limitations in handling loops, providing context-sensitive inter-procedural analysis, and performing efficient analysis on complicated apps. To address these limitations, we propose a general framework, Violist, for string analysis that allows researchers to more flexibly choose how they will address each of these challenges by separating the representation and interpreta- tion of string operations. In our evaluation, we show that our approach can achieve high accuracy on both Java and Android apps in a reasonable amount of time. We also com- pared our approach with a popular and widely used string analyzer and found that our approach has higher precision and shorter execution time while maintaining the same level of recall." @default.
- W2069959685 created "2016-06-24" @default.
- W2069959685 creator A5036531724 @default.
- W2069959685 creator A5039127761 @default.
- W2069959685 creator A5068522574 @default.
- W2069959685 creator A5082251778 @default.
- W2069959685 date "2015-08-30" @default.
- W2069959685 modified "2023-10-11" @default.
- W2069959685 title "String analysis for Java and Android applications" @default.
- W2069959685 cites W1504051120 @default.
- W2069959685 cites W1561331110 @default.
- W2069959685 cites W1809751277 @default.
- W2069959685 cites W1980011878 @default.
- W2069959685 cites W1986056191 @default.
- W2069959685 cites W1994243132 @default.
- W2069959685 cites W1998285060 @default.
- W2069959685 cites W2001693166 @default.
- W2069959685 cites W2003751975 @default.
- W2069959685 cites W2008158744 @default.
- W2069959685 cites W2008620926 @default.
- W2069959685 cites W2010205170 @default.
- W2069959685 cites W2017035494 @default.
- W2069959685 cites W2032417133 @default.
- W2069959685 cites W2039468209 @default.
- W2069959685 cites W2080404640 @default.
- W2069959685 cites W2085925880 @default.
- W2069959685 cites W2094568767 @default.
- W2069959685 cites W2103660000 @default.
- W2069959685 cites W2107604680 @default.
- W2069959685 cites W2110318050 @default.
- W2069959685 cites W2111487235 @default.
- W2069959685 cites W2117402063 @default.
- W2069959685 cites W2129626531 @default.
- W2069959685 cites W2130782807 @default.
- W2069959685 cites W2134646643 @default.
- W2069959685 cites W2140506847 @default.
- W2069959685 cites W2149612134 @default.
- W2069959685 cites W2157260510 @default.
- W2069959685 cites W2170830071 @default.
- W2069959685 doi "https://doi.org/10.1145/2786805.2786879" @default.
- W2069959685 hasPublicationYear "2015" @default.
- W2069959685 type Work @default.
- W2069959685 sameAs 2069959685 @default.
- W2069959685 citedByCount "26" @default.
- W2069959685 countsByYear W20699596852016 @default.
- W2069959685 countsByYear W20699596852017 @default.
- W2069959685 countsByYear W20699596852018 @default.
- W2069959685 countsByYear W20699596852019 @default.
- W2069959685 countsByYear W20699596852020 @default.
- W2069959685 countsByYear W20699596852021 @default.
- W2069959685 crossrefType "proceedings-article" @default.
- W2069959685 hasAuthorship W2069959685A5036531724 @default.
- W2069959685 hasAuthorship W2069959685A5039127761 @default.
- W2069959685 hasAuthorship W2069959685A5068522574 @default.
- W2069959685 hasAuthorship W2069959685A5082251778 @default.
- W2069959685 hasConcept C111919701 @default.
- W2069959685 hasConcept C157486923 @default.
- W2069959685 hasConcept C199360897 @default.
- W2069959685 hasConcept C33923547 @default.
- W2069959685 hasConcept C37914503 @default.
- W2069959685 hasConcept C41008148 @default.
- W2069959685 hasConcept C548217200 @default.
- W2069959685 hasConcept C557433098 @default.
- W2069959685 hasConcept C80444323 @default.
- W2069959685 hasConcept C97686452 @default.
- W2069959685 hasConcept C98183937 @default.
- W2069959685 hasConceptScore W2069959685C111919701 @default.
- W2069959685 hasConceptScore W2069959685C157486923 @default.
- W2069959685 hasConceptScore W2069959685C199360897 @default.
- W2069959685 hasConceptScore W2069959685C33923547 @default.
- W2069959685 hasConceptScore W2069959685C37914503 @default.
- W2069959685 hasConceptScore W2069959685C41008148 @default.
- W2069959685 hasConceptScore W2069959685C548217200 @default.
- W2069959685 hasConceptScore W2069959685C557433098 @default.
- W2069959685 hasConceptScore W2069959685C80444323 @default.
- W2069959685 hasConceptScore W2069959685C97686452 @default.
- W2069959685 hasConceptScore W2069959685C98183937 @default.
- W2069959685 hasFunder F4320306076 @default.
- W2069959685 hasLocation W20699596851 @default.
- W2069959685 hasOpenAccess W2069959685 @default.
- W2069959685 hasPrimaryLocation W20699596851 @default.
- W2069959685 hasRelatedWork W179639259 @default.
- W2069959685 hasRelatedWork W2103380617 @default.
- W2069959685 hasRelatedWork W2334842536 @default.
- W2069959685 hasRelatedWork W2765641823 @default.
- W2069959685 hasRelatedWork W2867457158 @default.
- W2069959685 hasRelatedWork W2895825088 @default.
- W2069959685 hasRelatedWork W3036603968 @default.
- W2069959685 hasRelatedWork W3111646971 @default.
- W2069959685 hasRelatedWork W4245636084 @default.
- W2069959685 hasRelatedWork W4297908618 @default.
- W2069959685 isParatext "false" @default.
- W2069959685 isRetracted "false" @default.
- W2069959685 magId "2069959685" @default.
- W2069959685 workType "article" @default.