Matches in SemOpenAlex for { <https://semopenalex.org/work/W179639259> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W179639259 endingPage "1201" @default.
- W179639259 startingPage "1192" @default.
- W179639259 abstract "Android is a programming language based on Java and an operating system for embedded and mobile devices, whose upper layers are written in the Android language itself. As a language, it features an extended event-based library and dynamic inflation of graphical views from declarative XML layout files. A static analyzer for Android programs must consider such features, for correctness and precision. Our goal is to extend the Julia static analyzer, based on abstract interpretation, to perform formally correct analyses of Android programs. This article is an in-depth description of such an extension, of the difficulties that we faced and of the results that we obtained. We have extended the class analysis of the Julia analyzer, which lies at the heart of many other analyses, by considering some Android key specific features such as the potential existence of many entry points to a program and the inflation of graphical views from XML through reflection. We also have significantly improved the precision of the nullness analysis on Android programs. We have analyzed with Julia most of the Android sample applications by Google and a few larger open-source programs. We have applied tens of static analyses, including classcast, dead code, nullness and termination analysis. Julia has found, automatically, bugs, flaws and inefficiencies both in the Google samples and in the open-source applications. Julia is the first sound static analyzer for Android programs, based on a formal basis such as abstract interpretation. Our results show that it can analyze real third-party Android applications, without any user annotation of the code, yielding formally correct results in at most 7 min and on standard hardware. Hence it is ready for a first industrial use." @default.
- W179639259 created "2016-06-24" @default.
- W179639259 creator A5051480560 @default.
- W179639259 creator A5063276563 @default.
- W179639259 date "2012-11-01" @default.
- W179639259 modified "2023-10-16" @default.
- W179639259 title "Static analysis of Android programs" @default.
- W179639259 cites W1996245589 @default.
- W179639259 cites W2043100293 @default.
- W179639259 cites W2075091218 @default.
- W179639259 cites W2088238746 @default.
- W179639259 cites W2106355420 @default.
- W179639259 cites W2111422217 @default.
- W179639259 cites W2132464057 @default.
- W179639259 cites W3000743918 @default.
- W179639259 cites W4237438816 @default.
- W179639259 cites W4251912342 @default.
- W179639259 doi "https://doi.org/10.1016/j.infsof.2012.05.003" @default.
- W179639259 hasPublicationYear "2012" @default.
- W179639259 type Work @default.
- W179639259 sameAs 179639259 @default.
- W179639259 citedByCount "75" @default.
- W179639259 countsByYear W1796392592012 @default.
- W179639259 countsByYear W1796392592013 @default.
- W179639259 countsByYear W1796392592014 @default.
- W179639259 countsByYear W1796392592015 @default.
- W179639259 countsByYear W1796392592016 @default.
- W179639259 countsByYear W1796392592017 @default.
- W179639259 countsByYear W1796392592018 @default.
- W179639259 countsByYear W1796392592019 @default.
- W179639259 countsByYear W1796392592020 @default.
- W179639259 countsByYear W1796392592021 @default.
- W179639259 countsByYear W1796392592022 @default.
- W179639259 crossrefType "journal-article" @default.
- W179639259 hasAuthorship W179639259A5051480560 @default.
- W179639259 hasAuthorship W179639259A5063276563 @default.
- W179639259 hasBestOaLocation W1796392592 @default.
- W179639259 hasConcept C111919701 @default.
- W179639259 hasConcept C115168132 @default.
- W179639259 hasConcept C169590947 @default.
- W179639259 hasConcept C199360897 @default.
- W179639259 hasConcept C2780654840 @default.
- W179639259 hasConcept C41008148 @default.
- W179639259 hasConcept C548217200 @default.
- W179639259 hasConcept C55439883 @default.
- W179639259 hasConcept C557433098 @default.
- W179639259 hasConcept C8797682 @default.
- W179639259 hasConcept C97686452 @default.
- W179639259 hasConcept C98183937 @default.
- W179639259 hasConceptScore W179639259C111919701 @default.
- W179639259 hasConceptScore W179639259C115168132 @default.
- W179639259 hasConceptScore W179639259C169590947 @default.
- W179639259 hasConceptScore W179639259C199360897 @default.
- W179639259 hasConceptScore W179639259C2780654840 @default.
- W179639259 hasConceptScore W179639259C41008148 @default.
- W179639259 hasConceptScore W179639259C548217200 @default.
- W179639259 hasConceptScore W179639259C55439883 @default.
- W179639259 hasConceptScore W179639259C557433098 @default.
- W179639259 hasConceptScore W179639259C8797682 @default.
- W179639259 hasConceptScore W179639259C97686452 @default.
- W179639259 hasConceptScore W179639259C98183937 @default.
- W179639259 hasIssue "11" @default.
- W179639259 hasLocation W1796392591 @default.
- W179639259 hasLocation W1796392592 @default.
- W179639259 hasLocation W1796392593 @default.
- W179639259 hasLocation W1796392594 @default.
- W179639259 hasLocation W1796392595 @default.
- W179639259 hasLocation W1796392596 @default.
- W179639259 hasOpenAccess W179639259 @default.
- W179639259 hasPrimaryLocation W1796392591 @default.
- W179639259 hasRelatedWork W179639259 @default.
- W179639259 hasRelatedWork W1836373119 @default.
- W179639259 hasRelatedWork W1967226206 @default.
- W179639259 hasRelatedWork W2169244823 @default.
- W179639259 hasRelatedWork W2172022734 @default.
- W179639259 hasRelatedWork W2408273498 @default.
- W179639259 hasRelatedWork W2477316223 @default.
- W179639259 hasRelatedWork W2619866502 @default.
- W179639259 hasRelatedWork W4213389936 @default.
- W179639259 hasRelatedWork W4291701070 @default.
- W179639259 hasVolume "54" @default.
- W179639259 isParatext "false" @default.
- W179639259 isRetracted "false" @default.
- W179639259 magId "179639259" @default.
- W179639259 workType "article" @default.