476 search results - page 93 / 96 » Static analysis of PostScript code |
136
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
120
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
In May 2009, Google conducted a company wide FindBugs “fixit”. Hundreds of engineers reviewed thousands of FindBugs warnings, and fixed or filed reports against many of the...
124
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
146
Voted
EUROSYS
2010
ACM
16 years 20 days ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
157
Voted
EUROSYS
2010
ACM
16 years 20 days ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...