Integrating Static Code Analysis Toolchains
Guardat en:
| Publicat a: | arXiv.org (Mar 9, 2024), p. n/a |
|---|---|
| Autor principal: | |
| Altres autors: | , , , , , |
| Publicat: |
Cornell University Library, arXiv.org
|
| Matèries: | |
| Accés en línia: | Citation/Abstract Full text outside of ProQuest |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2955956793 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 024 | 7 | |a 10.1109/COMPSAC.2019.00080 |2 doi | |
| 035 | |a 2955956793 | ||
| 045 | 0 | |b d20240309 | |
| 100 | 1 | |a Kern, Matthias | |
| 245 | 1 | |a Integrating Static Code Analysis Toolchains | |
| 260 | |b Cornell University Library, arXiv.org |c Mar 9, 2024 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a This paper proposes an approach for a tool-agnostic and heterogeneous static code analysis toolchain in combination with an exchange format. This approach enhances both traceability and comparability of analysis results. State of the art toolchains support features for either test execution and build automation or traceability between tests, requirements and design information. Our approach combines all those features and extends traceability to the source code level, incorporating static code analysis. As part of our approach we introduce the "ASSUME Static Code Analysis tool exchange format" that facilitates the comparability of different static code analysis results. We demonstrate how this approach enhances the usability and efficiency of static code analysis in a development process. On the one hand, our approach enables the exchange of results and evaluations between static code analysis tools. On the other hand, it enables a complete traceability between requirements, designs, implementation, and the results of static code analysis. Within our approach we also propose an OSLC specification for static code analysis tools and an OSLC communication framework. | |
| 653 | |a Source code | ||
| 653 | |a Static code analysis | ||
| 653 | |a Exchanging | ||
| 653 | |a Tools | ||
| 653 | |a Format | ||
| 700 | 1 | |a Erata, Ferhat | |
| 700 | 1 | |a Iser, Markus | |
| 700 | 1 | |a Sinz, Carsten | |
| 700 | 1 | |a Loiret, Frederic | |
| 700 | 1 | |a Otten, Stefan | |
| 700 | 1 | |a Sax, Eric | |
| 773 | 0 | |t arXiv.org |g (Mar 9, 2024), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2955956793/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/2403.05986 |