2673 search results - page 75 / 535 » Guided Static Analysis |
100
Voted
SCAM
2008
IEEE
15 years 7 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...
92
Voted
SOSP
2003
ACM
15 years 9 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...
120
click to vote
ICSM
2007
IEEE
15 years 7 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...
95
Voted
IADIS
2003
15 years 2 months ago
2003
This article proposes an approach to the generation of guided tours over indexed information resources on user demand. It represents an alternative to more sophisticated hyperdocu...
118
click to vote
ICDAR
2005
IEEE
15 years 6 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...