785 search results - page 134 / 157 » Static Analysis of Android Programs |
DSN
2005
IEEE
15 years 7 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
100
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
118
Voted
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
122
click to vote
POPL
1990
ACM
15 years 6 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
137
click to vote
CSMR
2004
IEEE
15 years 5 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...