| [1] |
Coverity static analysis [EB/OL]. [2024-04-12].
|
| [2] |
Klocwork static analysis [EB/OL]. [2024-04-12].
|
| [3] |
Infer static analyzer [EB/OL]. [2024-04-12].
|
| [4] |
SonarQube [EB/OL]. [2024-04-12].
|
| [5] |
CodeQL website [EB/OL]. [2024-04-12].
|
| [6] |
Harer J A, Kim L Y, Russell R L, et al. Automated software vulnerability detection with machine learning [PP/OL]. ArXiv (2018-02-14)[2024-04-12].
|
| [7] |
Li Z, Zou D Q, Xu S H, et al. SySeVR: a framework for using deep learning to detect software vulnerabilities [J]. IEEE transactions on dependable and secure computing, 2022, 19(4): 2244–2258. DOI: 10.1109/tdsc.2021.3051525
|
| [8] |
Li Z, Zou D Q, Xu S H, et al. VulDeePecker: a deep learning-based system for vulnerability detection [C]//Proc. 2018 Network and Distributed System Security Symposium. Internet Society, 2018. DOI: 10.14722/ndss.2018.23158
|
| [9] |
Wang S, Liu T Y, Tan L. Automatically learning semantic features for defect prediction [C]//Proc. 38th International Conference on Software Engineering. ACM, 2016: 297–308. DOI: 10.1145/2884781.2884804
|
| [10] |
Li J, He P J, Zhu J M, et al. Software defect prediction via convolutional neural network [C]//Proc. IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, 2017: 318–328. DOI: 10.1109/QRS.2017.42
|
| [11] |
GPT-3 [EB/OL]. [2024-04-12].
|
| [12] |
PaLM2 [EB/OL]. [2024-04-12].
|
| [13] |
Copilot [EB/OL]. [2024-04-12].
|
| [14] |
Llama [EB/OL]. [2024-04-12].
|
| [15] |
Berabi B, Gronskiy A, Raychev V, et al. DeepCode AI Fix: fixing security vulnerabilities with large language models [PP/OL]. ArXiv (2024-02-19)[2024-04-12].
|
| [16] |
Wadhwa N, Pradhan J, Sonwane A, et al.Frustrated with code quality issues? LLMs can help! [PP/OL]. ArXiv (2023-09-22)[2024-04-12].
|
| [17] |
Li H N, Hao Y, Zhai Y Z, et al. Enhancing static analysis for practical bug detection: an LLM-integrated approach [J]. Proc. ACM on programming languages, 2024, 8(OOPSLA1): 474–499. DOI: 10.1145/3649828
|
| [18] |
Juliet Java [EB/OL]. [2024-04-12].
|