4722 search results - page 349 / 945 » Representation-independent program analysis |
165
click to vote
PLDI
2009
ACM
16 years 1 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...
185
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
227
click to vote
RTAS
1996
IEEE
15 years 10 months ago
1996
IEEE
Recent progress in worst case timing analysis of programs has made it possible to perform accurate timing analysis of pipelined execution and instruction caching, which is necessa...
216
click to vote
SP
2007
IEEE
16 years 28 days ago
2007
IEEE
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...
187
click to vote
SAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...