Spectrum-based Security Bug Localization by Analyzing Error Propagation

Software security bug is one of the key threats to the security of software systems. Isolating security bugs that may be potential security bugs is important. We formalize a program error propagation based model (PEP), which used to be applied to locate integer bug and our contribution are as follow...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of performability engineering 2020-08, Vol.16 (8), p.1289
Hauptverfasser:	Mengyu, Ji, Song, Huang, Zhanwei, Hui
Format:	Artikel
Sprache:	eng
Schlagworte:	Buffers Cybersecurity Error analysis Fault location Integers Localization National security Overflow Propagation Security Security systems Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!