ACK Linter - Automatic Static Analysis of Verification Test Code and Specification Documents

Abstract

Architecture Compliance Kit runs on a specific design to check its compliance with arm architecture. This ACK consist of validation test suits and specification documents based on arm architecture. Validation test suits contain test files written in different

programming languages like C, Assembly and Python. When these test files are writ- ten by different developers there might a chance that it looks different from developer

to developer. Because of this reason sometimes reading the test file becomes difficult. These test files also have bugs which hamper the compilation process if an improper style is used. To overcome these problems we required a tool which act as linter and warns developer if test file contains errors, bugs or violates the coding style rules. This linter is specifically written for ACK so we called it ACKLinter.