Static analysis of android programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6803 LNAI, Issue , 2011, Pages 439-445

  Payet, Étienne ^a   Spoto, Fausto ^b  

^a UNIVERSITÉ DE LA RÉUNION   (France)

^b UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT INTERPRETATIONS; DYNAMIC INFLATION; EMBEDDED DEVICE; EVENT-BASED; OPEN-SOURCE PROGRAM; PROGRAMMING LANGUAGE; STATIC ANALYZERS;

ABSTRACTING; AUTOMATION; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING; ROBOTS;

STATIC ANALYSIS;

EID: 80051693391     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22438-6_33     Document Type: Conference Paper

References (6)

1. Cousot, P., Cousot, R.: Abstract Interpretation: A Unifed Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of the 4th Symposium on Principles of Programming Languages (POPL 1977), pp. 238-252. ACM Press, New York (1977)
2. Miné, A.: A New Numerical Abstract Domain Based on Difference-Bound Matrices. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol. 2053, pp. 155-172. Springer, Heidelberg (2001) (Pubitemid 33282936)
3. Palsberg, J., Schwartzbach, M.I.: Object-Oriented Type Inference. In: Paepcke, A. (ed.) Proc. of the 6th International ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 1991). ACM SIGPLAN Notices, vol. 26(11), pp. 146-161. ACM Press, New York (1991)
4. Spoto, F.: Precise null-Pointer Analysis. Software and Systems Modeling 10(2), 219-252 (2011)
5. Spoto, F., Jensen, T.: Class Analyses as Abstract Interpretations of Trace Semantics. ACM Transactions on Programming Languages and Systems (TOPLAS) 25(5), 578-630 (2003) (Pubitemid 41283896)
6. Spoto, F., Mesnard, F., Payet, É.: A Termination Analyzer for Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages and Systems (TOPLAS) 32(3), 70 pages (2010)