Open AccessPath-sensitive bug detection analysis of C# program illustrated by null pointer dereference
Author(s) -
Vladimir Koshelev,
И. А. Дудина,
Владимир Игоревич Игнатьев,
А. И. Борзилов
Publication year - 2015
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2015-27(5)-5
Subject(s) - computer science , symbolic execution , scalability , pointer (user interface)