785 search results - page 37 / 157 » Static Analysis of Android Programs |
116
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
133
click to vote
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
137
click to vote
SP
2002
IEEE
15 years 1 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
122
click to vote
ICAS
2006
IEEE
15 years 8 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...