Does cppcheck accepts all the add on at one go misra.py,cert.py,y2038.py

[kpk]

1) Can you please let me know if cppcheck supports all the add ons (misra.py,cert.py,y2038.py etc) at one go and collect the cosolidated issues list ? or do we need to run cppcheck separately for each files misra.py,cert.py and y2038.py.
2) Does cppcheck supports MISRA C++ rules ?
3) If I use cppcheck 2.0 precompiled binary then does it have any dependency on Z3 or python. If yes, which version is required for linux. Please provide detatils incase cppcheck is build from source code.

[Daniel Marjamäki]

1. Yes if you use--addon you can provide multiple arguments. The results will be consolidated. If you use --dump you only need that once, however you don't get consolidated results.
2. No not yet. The MISRA C addon might cover some c++ rules but there are no guarantees those rules will work (we don't actively test it)..
3. There is no python dependency. The precompiled cppcheck binary can depend on Z3 but then your package manager should handle that. We have tested with different Z3 versions. If you compile from source then cppcheck does not depend on Z3 unless you explicitly provide the flag USE_Z3=yes.. that is needed for "bug hunting" so if you do not want to use that then Z3 can be safely skipped.

[kpk]

Thanks for the reply. If there is a conflict between checkers ( default checks Vs MISRA Vs Cert etc ) , then how it is handled. which one takes precedence.