2673 search results - page 402 / 535 » Guided Static Analysis |
161
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
172
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
179
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
While there have been great advances in quantification of the genotype of organisms, including full genomes for many species, the quantification of phenotype is at a comparatively...
128
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
187
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...