Yutian static analysis system can perform static analysis on .c/.cpp files. The main analysis content includes control flow analysis, data flow analysis, calculation of basic metrics, inspection of code rule violations, etc. It can display the calling relationship between functions and the control flow graph of the function. The coding rules are based on MISRA and analyze nearly 60 common problems such as DU, DD, UR and mixed type operations. For detected problems, the system will provide the location, cause and corresponding rules to facilitate users to verify and improve the problem, and efficiently correct the problem to improve code quality. Features: 1. Good ease of use. Just open the file to complete the analysis, and the user can view the control flow graph, metrics, and rule check results of the function of interest. 2. Strong inclusiveness. It can be applied to almost all c/c++ program files that can be compiled and passed. 3. Complete indicators. The system calculates hundreds of metrics to evaluate the code comprehensively and objectively. 4. Rich quality rules. Check hundreds of built-in practical quality rules to detect rule violations in the code to the greatest extent possible. The main contents of the latest version 1.5 update of Yutian static analysis system are: 1. Added only 10 code rules 2. Solved the false positive error in static analysis that the function using stl template as parameter is not implemented 3. Solved the variable definition of stl template type and Analysis 4 Solve the problem of incorrect definition analysis of functions with default value parameters 5 Refine the variable analysis of actual parameters of function calls (previously, they were single-processed as references)
Expand
