2673 search results - page 364 / 535 » Guided Static Analysis |
198
click to vote
ISSTA
1991
ACM
15 years 8 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
165
click to vote
VL
1991
IEEE
15 years 8 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
171
click to vote
BNCOD
2007
15 years 6 months ago
2007
The XQuery language is the standard query language for XML. The result of XQuery queries are typically XML documents in other formats. We introduce the term output schemas of an X...
123
click to vote
SE
2008
15 years 6 months ago
2008
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...
142
click to vote
DIMVA
2006
15 years 6 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...