IDE support for cloud-based static analyses-Reference-Cited by-同舟云学术

IDE support for cloud-based static analyses

Published:2021-08-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Luo Linghui¹,Schäf Martin²,Sanchez Daniel³,Bodden Eric⁴

Affiliation:

1. University of Paderborn, Germany

2. Amazon Web Services, USA

3. Amazon Alexa, USA

4. University of Paderborn, Germany / Fraunhofer IEM, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3468264.3468535

Reference41 articles.

1. Atlassian. 2021. Gitflow Workflow. https://www.atlassian.com/git/tutorials/comparing-workflows/gitflow-workflow Atlassian. 2021. Gitflow Workflow. https://www.atlassian.com/git/tutorials/comparing-workflows/gitflow-workflow

2. AWS. 2019. CodeGuru Reviewer. https://aws.amazon.com/codeguru AWS. 2019. CodeGuru Reviewer. https://aws.amazon.com/codeguru

3. Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software

4. Lessons Learned: Using a Static Analysis Tool within a Continuous Integration System

5. SUS: A 'Quick and Dirty' Usability Scale

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

1. Unhelpful Assumptions in Software Security Research;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

2. Studying Secure Coding in the Laboratory: Why, What, Where, How, and Who?;2023 IEEE/ACM 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS);2023-05

3. How far are German companies in improving security through static program analysis tools?;2022 IEEE Secure Development Conference (SecDev);2022-10

4. Development iterations based on web augmentation and context tasks;Multimedia Tools and Applications;2022-09-05

5. A Billion SMT Queries a Day (Invited Paper);Computer Aided Verification;2022