| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] "Architecture and Integration", available at: https://docs.sonarqube.org/latest/architecture/architecture-integration/ |
Sách, tạp chí |
| Tiêu đề: |
Architecture and Integration |
|
| [2] Calcagno Cristiano, Dino Distefano, Peter O’Hearn, Hongseok Yang, "Compositional Shape Analysis by means of Bi-Abduction", available at:http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/popl09.pdf |
Sách, tạp chí |
| Tiêu đề: |
Compositional Shape Analysis by means of Bi-Abduction |
|
| [3] Center for Assured Software National Secur Agency, "CAS 2012 Static Analysis Tool Study Methodology", 9800 Savage Road on Fort George G. Meade, MD 20755- 6738, 2012 |
Sách, tạp chí |
| Tiêu đề: |
CAS 2012 Static Analysis Tool Study Methodology |
|
| [4] G. Diaz and J. R. Bermejo, "Static analysis of source code security: Assessment of tools against SAMATE tests, Information and Software Technology", 2013, Vol. 55 |
Sách, tạp chí |
| Tiêu đề: |
Static analysis of source code security: Assessment of tools against SAMATE tests, Information and Software Technology |
|
| [5] "Plugin Library", available at: https://docs.sonarqube.org/display/PLUG |
Sách, tạp chí |
|
| [6] "PMD Documentation", available at: https://pmd.github.io/ |
Sách, tạp chí |
| Tiêu đề: |
PMD Documentation |
|
| [7] "Separation logic and bi-abduction", available at: https://fbinfer.com/docs/separation-logic-and-bi-abduction |
Sách, tạp chí |
| Tiêu đề: |
Separation logic and bi-abduction |
|
| [8] "SpotBugs Documentation Release 4.2.0", available at: https://readthedocs.org/projects/spotbugs/downloads/pdf/latest/ |
Sách, tạp chí |
| Tiêu đề: |
SpotBugs Documentation Release 4.2.0 |
|
| [9] "Static Code Analysis", available at: https://www.jetbrains.com/idea/docs/StaticCodeAnalysis.pdf (2000 – 2007) |
Sách, tạp chí |
| Tiêu đề: |
Static Code Analysis |
|
| [11] "VCG", available at: https://github.com/nccgroup/VCG |
Sách, tạp chí |
|
| [12] L. M. R. Velicheti [et al.], "Towards modeling the behavior of static code analysis tools", in: Proceedings of the 9th Annual Cyber and Information Security Research Conference, 2014 |
Sách, tạp chí |
| Tiêu đề: |
Towards modeling the behavior of static code analysis tools |
|