2957 search results - page 196 / 592 » Code analysis and CS-XML |
110
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
142
Voted
ISSAC
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
180
click to vote
BSDIA
1997
Springer
15 years 7 months ago
1997
Springer
This paper is a description of recent advances in off-line signature verification research performed at our laboratory. Related works pertain to structural interpretation of signa...
162
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
114
Voted
SOSP
2003
ACM
16 years 11 days 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...