85 search results - page 6 / 17 » Exploring Multiple Execution Paths for Malware Analysis |
SC
2005
ACM
15 years 5 months ago
2005
ACM
Parallel applications running on high-end computer systems manifest a complexity of performance phenomena. Tools to observe parallel performance attempt to capture these phenomena...
109
click to vote
GRAPHICSINTERFACE
2007
15 years 1 months ago
2007
This paper describes a communication-minded visualization called progressive multiples that supports both the forensic analysis and presentation of multidimensional event data. We...
119
Voted
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
105
click to vote
CADE
2010
Springer
15 years 22 days ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...