What developers want and need from program analysis: an empirical study-Reference-Cited by-同舟云学术

What developers want and need from program analysis: an empirical study

Published:2016-08-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Christakis Maria¹,Bird Christian¹

Affiliation:

1. Microsoft Research, USA

Publisher

ACM

Link

Reference52 articles.

1. BinSkim. https://github.com/Microsoft/binskim. BinSkim. https://github.com/Microsoft/binskim.

2. Checkmarx. https://www.checkmarx.com/. Checkmarx. https://www.checkmarx.com/.

3. Checkstyle. http://checkstyle.sourceforge.net/. Checkstyle. http://checkstyle.sourceforge.net/.

4. ClangTidy. http://clang.llvm.org/extra/clang-tidy/. ClangTidy. http://clang.llvm.org/extra/clang-tidy/.

5. CodeRush. https://www.devexpress.com/products/coderush/. CodeRush. https://www.devexpress.com/products/coderush/.

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

1. JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. An Empirical Study of Static Analysis Tools for Secure Code Review;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. Fuzzing API Error Handling Behaviors using Coverage Guided Fault Injection;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07