3688 search results - page 86 / 738 » Static analysis of aspects |
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
86
Voted
SOSP
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
111
click to vote
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
107
click to vote
ICDAR
2005
IEEE
15 years 5 months ago
2005
IEEE
Static handwritten scripts are available only as images on documents and by definition do not contain dynamic information. This study is about extracting dynamic information from...
113
click to vote
ACSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose STILL, a generic defense based on Static Taint and InitiaLization anaLyses, to detect exploit code embedded in data streams/requests targeting at various Internet servi...