SAVE: static analysis on versioning entities

Authors:
Bastian Braun
Affiliations:
University of Hamburg, Hamburg, Germany
Venue:
Proceedings of the fourth international workshop on Software engineering for secure systems
Year:
2008

Citing 6
Cited 1

A Spiral Model of Software Development and Enhancement

Computer
Incremental analysis of side effects for C software system

ICSE '97 Proceedings of the 19th international conference on Software engineering
An incremental flow- and context-sensitive pointer aliasing analysis

Proceedings of the 21st international conference on Software engineering
Incremental data flow analysis

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
Predicting vulnerable software components

Proceedings of the 14th ACM conference on Computer and communications security

The fourth international workshop on software engineering for secure systems: SESS'08 -- a trusted business world

Companion of the 30th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Insufficiently tested software releases provoque a competition between 'exploiters' versus 'patchers'. Developing secure software from scratch greatly reduces maintenance effort. The integration of regular security checks combined with patch proposals at development time enhances the system's usability and software quality. This paper presents a software development system including version control, security analysis and patching support. As a practical aspect, avoiding flaws becomes easier even for non security experts.