31 search results - page 3 / 7 » Open source vs. closed source software: towards measuring se... |
SIGSOFT
2004
ACM
14 years 6 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...
BMCBI
2011
13 years 23 days ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
Software consumers often need to choose between different software that provide the same functionality. Today, security is a quality that many consumers, especially system adminis...
CCS
2007
ACM
13 years 12 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...
SIGUCCS
2000
ACM
13 years 10 months ago
2000
ACM
Information and Access Technology Services at the University of Missouri-Columbia has long struggled with its physical location on the edge of campus. In my 20+ years of experienc...