2947 search results - page 371 / 590 » Analyzing Program Analyses |
195
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
178
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...
163
click to vote
SCAM
2008
IEEE
16 years 24 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
208
click to vote
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
217
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...