41 search results - page 3 / 9 » Generalizing symbolic execution to library classes |
SOSP
2007
ACM
14 years 2 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
POPL
2009
ACM
14 years 4 days ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
SCAM
2007
IEEE
13 years 11 months ago
2007
IEEE
Modern applications are becoming increasingly more dynamic and flexible. In Java software, one important flexibility mechanism is dynamic class loading. Unfortunately, the vast ...
ICSE
1998
IEEE-ACM
13 years 9 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
SIGSOFT
2009
ACM
14 years 6 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...