mirror of
https://github.com/TheLartians/ModernCppStarter.git
synced 2025-08-30 21:51:12 +02:00
Add pvs-studio config files
This commit is contained in:
parent
87774d4550
commit
3e310daed1
2 changed files with 72 additions and 0 deletions
37
pvs_studio/pvs-studio.pvsconfig
Executable file
37
pvs_studio/pvs-studio.pvsconfig
Executable file
|
@ -0,0 +1,37 @@
|
|||
# This is the configuration file for the PVS-Studio plugin for Visual Studio:
|
||||
# https://www.viva64.com/en/pvs-studio/
|
||||
#
|
||||
# This file can be used to suppress false positives in macros, annotate specific functions,
|
||||
# and so on. See the following documentation sections for details:
|
||||
# * Suppression of false alarms - https://www.viva64.com/en/m/0017/
|
||||
# * Additional diagnostics configuration - https://www.viva64.com/en/m/0040/
|
||||
#
|
||||
# For instance, you can use this file to specify an alias for a system function.
|
||||
# Sometimes projects use custom implementations of certain system functions such as memcpy,
|
||||
# malloc, and so on. In this case, the analyzer will not be able to recognize their
|
||||
# behavior as that of their standard counterparts. Using the V_FUNC_ALIAS annotation,
|
||||
# you can specify which custom functions correspond to which system ones. Comment format:
|
||||
# //V_FUNC_ALIAS, implementation:sysf, function:f, namespace:ns, class:c
|
||||
#
|
||||
# For example:
|
||||
# //V_FUNC_ALIAS, implementation:memcpy, function:MyMemCpy
|
||||
#
|
||||
# Now the analyzer will process calls to the MyMemCpy function in the same way it processes
|
||||
# calls to memcpy. For example, the following code will trigger the V512 warning:
|
||||
# int buf[] = { 1, 2, 3, 4 };
|
||||
# int out[2];
|
||||
# MyMemCpy (out, buf, 4 * sizeof(int)); // Warning!
|
||||
#
|
||||
# You can also use this file to suppress warnings on lines that contain a specific
|
||||
# character sequence. This option is typically useful for mass suppression of warnings
|
||||
# triggered by a certain macro.
|
||||
# //-V:TEST_MACRO:1001, 105, 201
|
||||
# This comment turns off the warnings V105, V201, and V1001 for the line where the macro
|
||||
# TEST_MACRO is used.
|
||||
#
|
||||
# The # character is considered a comment-introducing character in .pvsconfig files.
|
||||
#
|
||||
# As already mentioned, all these and other settings are described in detail in the
|
||||
# documentation sections the links to which are given at the beginning of this document.
|
||||
|
||||
//-V:SUPPRESS_EXAMPLE_MY_MACROS:501
|
35
pvs_studio/pvs_config.h
Executable file
35
pvs_studio/pvs_config.h
Executable file
|
@ -0,0 +1,35 @@
|
|||
// This is the configuration file for the PVS-Studio static analyzer.
|
||||
// https://www.viva64.com/en/pvs-studio/
|
||||
//
|
||||
// This file can be used to suppress false positives in macros, annotate specific functions,
|
||||
// and so on. See the following documentation sections for details:
|
||||
// * Suppression of false alarms - https://www.viva64.com/en/m/0017/
|
||||
// * Additional diagnostics configuration - https://www.viva64.com/en/m/0040/
|
||||
//
|
||||
// For instance, you can use this file to specify an alias for a system function.
|
||||
// Sometimes projects use custom implementations of certain system functions such as memcpy,
|
||||
// malloc, and so on. In this case, the analyzer will not be able to recognize their
|
||||
// behavior as that of their standard counterparts. Using the V_FUNC_ALIAS annotation,
|
||||
// you can specify which custom functions correspond to which system ones. Comment format:
|
||||
// //V_FUNC_ALIAS, implementation:sysf, function:f, namespace:ns, class:c
|
||||
//
|
||||
// For example:
|
||||
// //V_FUNC_ALIAS, implementation:memcpy, function:MyMemCpy
|
||||
//
|
||||
// Now the analyzer will process calls to the MyMemCpy function in the same way it processes
|
||||
// calls to memcpy. For example, the following code will trigger the V512 warning:
|
||||
// int buf[] = { 1, 2, 3, 4 };
|
||||
// int out[2];
|
||||
// MyMemCpy (out, buf, 4 * sizeof(int)); // Warning!
|
||||
//
|
||||
// You can also use this file to suppress warnings on lines that contain a specific
|
||||
// character sequence. This option is typically useful for mass suppression of warnings
|
||||
// triggered by a certain macro.
|
||||
// //-V:TEST_MACRO:1001, 105, 201
|
||||
// This comment turns off the warnings V105, V201, and V1001 for the line where the macro
|
||||
// TEST_MACRO is used.
|
||||
//
|
||||
// As already mentioned, all these and other settings are described in detail in the
|
||||
// documentation sections the links to which are given at the beginning of this document.
|
||||
|
||||
//-V:SUPPRESS_EXAMPLE_MY_MACROS:501
|
Loading…
Add table
Add a link
Reference in a new issue