2673 search results - page 231 / 535 » Guided Static Analysis |
156
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
168
click to vote
AOSD
2004
ACM
15 years 11 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
142
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...
132
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Performance evaluation tools enable analysts to shed light on how applications behave both from a general point of view and at concrete execution points, but cannot provide detaile...
130
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...