785 search results - page 58 / 157 » Static Analysis of Android Programs |
127
click to vote
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
218
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
105
click to vote
TOPLAS
2008
15 years 2 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
151
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
116
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...