Common Configurations
How to Customize Coderrect detection
Coderrect Scanner provides a suite of configurations to help you focus on the most important issues.
How to make Coderrect Scanner exclude certain functions in my code?
Config Coderrect to skip specified functions during race analysis.
By default, Coderrect traverses every function that is reachable from the
"skipFunctions":[
"FunctionName*",
"FunctionOther"
]
By default, Coderrect traverses every function that is reachable from the
main
function (or from any of the user-specified entry functions). In many cases, users might regard certain functions as uninteresting and therefore do not want Coderrect to analyze them.How to make Coderrect Scanner exclude certain variables in my code?
Config Coderrect to skip analysis on specified variables.
Check out a tutorial uses this configuration here
"ignoreRaceVariables":[
"VariableName*",
"VariableOtherName"
]
Check out a tutorial uses this configuration here
How to make Coderrect Scanner recognize custom lock/unlock APIs?
Specify a list of custom lock/unlock APIs so that Coderrect can make correct reasoning.
Check out a tutorial uses this configuration here
"lockUnlockFunctions": {
"MySpinLock": "MySpinUnlock",
"MyMutexLock": "MyMutexUnlock"
}
Check out a tutorial uses this configuration here
how to analyze a library
Coderrect Scanner can analyze a library without a main function
I have a library without a main function, how to analyze it?
Specify entry points for libraries in the configuration file:
Check out a tutorial uses this configuration here
"openlib": {
"entryPoints":[
"FunctionName*",
"FunctionNameOther"
]
}
Check out a tutorial uses this configuration here