44 search results - page 1 / 9 » Emerging Framework for The Evaluation of Open Source Securit... |
ISSA
2008
13 years 6 months ago
2008
The drive from the South African Government towards the adoption of open source software across all platforms, incurred a number of research and development questions. The open so...
ECEASST
2010
12 years 11 months ago
2010
Abstract: Recently, Free and Open Source Software (FOSS) has emerged as an alternative to Commercial-Off-The-Shelf (COTS) software. Now, FOSS is perceived as a viable long-term sol...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
PST
2008
13 years 6 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...