Common Configurations

How to Customize Coderrect detection


Coderrect Scanner provides a suite of configurations to help you focus on the most important issues.

Config Coderrect to skip specified functions during race analysis.
"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.
Config Coderrect to skip analysis on specified variables.
"ignoreRaceVariables":[
"VariableName*",
"VariableOtherName"
]

Check out a tutorial uses this configuration here
Specify a list of custom lock/unlock APIs so that Coderrect can make correct reasoning.

"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

Specify entry points for libraries in the configuration file:
"openlib": {
"entryPoints":[
"FunctionName*",
"FunctionNameOther"
]
}
Check out a tutorial uses this configuration here