SharpChecker: Static analysis tool for C# programs-Reference-Cited by-同舟云学术

SharpChecker: Static analysis tool for C# programs

Published:2017-07 Issue:4 Volume:43 Page:268-276
ISSN:0361-7688
Container-title:Programming and Computer Software
language:en
Short-container-title:Program Comput Soft

Author:

Koshelev V. K.,Ignatiev V. N.,Borzilov A. I.,Belevantsev A. A.

Publisher

Pleiades Publishing Ltd

Subject

Software

Link

http://link.springer.com/content/pdf/10.1134/S0361768817040041.pdf

Reference20 articles.

1. TIOBE Programming Community index. http://www. tiobe.com/tiobe_index

2. Microsoft Developer Network, LINQ (Language-Integrated Query). https://msdn.microsoft.com/ru-ru/ library//bb397926.aspx

3. Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignat’ev, V.N., Zhurikhin, D.M., Avetisyan, A.I., and Leonov, M.I., Svace static analyzer for bug detection in program source code, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2014, vol. 26, no. 1, pp. 231–250.

4. Coverity: software testing and static analysis tools. http://www.coverity.com/

5. Klocwork: source code analysis tools for security and reliability. http://www.klocwork.com.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Classification of Static Analyzer Warnings using Machine Learning Methods;2024 Ivannikov Memorial Workshop (IVMEM);2024-05-17

2. Large language models in source code static analysis;2024 Ivannikov Memorial Workshop (IVMEM);2024-05-17

3. Improving the Accuracy of Library Function Modeling in the Static Analyzer;2023 Ivannikov Ispras Open Conference (ISPRAS);2023-12-04

4. Intraprocedural Analysis Based on Symbolic Execution for Bug Detection;Programming and Computer Software;2021-12

5. Exception Analysis for Errors Detection in the SharpChecker Static Analyzer for C#;2021 Ivannikov Ispras Open Conference (ISPRAS);2021-12