Static Analysis of Android Programs

@inproceedings{Payet2011StaticAO,
  title={Static Analysis of Android Programs},
  author={{\'E}tienne Payet and Fausto Spoto},
  booktitle={CADE},
  year={2011}
}
• 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 • Classcast, dead code, nullness and termination analysis are… CONTINUE READING
Highly Cited
This paper has 65 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 44 extracted citations

Static Analysis of Android Apps : A Systematic Literature

L Lia, Tegawendé F. Bissyandéa, +5 authors Yves Le Traona
2016
View 7 Excerpts
Highly Influenced

Static window transition graphs for Android

Automated Software Engineering • 2018
View 5 Excerpts
Highly Influenced

Static analysis of android apps for lifecycle conformance

2017 8th International Conference on Information Technology (ICIT) • 2017
View 4 Excerpts
Highly Influenced

Static analysis of android apps: A systematic literature review

Information & Software Technology • 2017
View 10 Excerpts
Highly Influenced

SDLI: Static Detection of Leaks Across Intents

2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) • 2018
View 1 Excerpt

Static Analysis of Context Leaks in Android Applications

2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP) • 2017

65 Citations

01020'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 65 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Similar Papers

Loading similar papers…