494 search results - page 6 / 99 » Static Analysis for Guarded Code |
INFSOF
2011
13 years 21 hour ago
2011
CSMR
2009
IEEE
14 years 3 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
ACSAC
2008
IEEE
14 years 3 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...
KES
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...