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...

Celý popis

Podrobná bibliografie

Vydáno v:	Trudy Instituta sistemnogo programmirovaniâ Ročník 28; číslo 1; s. 21 - 40
Hlavní autoři:	Koshelev, V., Ignatyev, V., Borzilov, A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Témata:	roslyn использование нулевого указателя поиск дефектов резюме функции статический анализ чувствительность к контексту чувствительность к путям
ISSN:	2079-8156, 2220-6426
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!