연구 분야: Verification
학회: 2024 IEEE 4th International Conference on Data Science and Computer Application (ICDSCA)
The accelerated development of automotive intelligence and connectivity has raised higher requirements for the quality and security of automotive software code. In this paper, a multi-dimensional static code analysis method is proposed by integrating lexical analysis with rule verification. This method employs Abstract Syntax Tree (AST) technology, data flow and control flow analysis techniques, combined with parallel analysis technology, to achieve comprehensive, accurate, and efficient static analysis of source code. Through comparative experimental validation, the static code analysis tool designed in this paper exhibits excellent performance in detection accuracy, efficiency, compatibility, and reliability, providing strong support for quality control and risk management in the software development process.
| 발행 연도 | 2024년 |
|---|---|
| 인용수 | 65 |
| 출판 국가 | China |
| 사이트 | IEEE |
| 좋아요 수 | 0 |