C# static analysis framework

The paper describes static analysis techniques that are used for defect detection in C# programs. The goal of proposed analysis approaches is to catch more defects within an acceptable amount of time. Although the paper contains a description of full analysis cycle, it mainly focuses on special aspe...

Full description

Bibliographic Details

Published in:	Trudy Instituta sistemnogo programmirovaniâ Vol. 28; no. 1; pp. 21 - 40
Main Authors:	Koshelev, V., Ignatyev, V., Borzilov, A.
Format:	Journal Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Subjects:	roslyn использование нулевого указателя поиск дефектов резюме функции статический анализ чувствительность к контексту чувствительность к путям
ISSN:	2079-8156, 2220-6426
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!