785 search results - page 59 / 157 » Static Analysis of Android Programs |
99
Voted
FASE
2010
Springer
15 years 9 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
121
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...
119
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
102
click to vote
ENTCS
2006
15 years 2 months ago
2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
124
click to vote
ICPP
1998
IEEE
15 years 6 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...