# Run the analysis in a way that maximizes determinism, producing the most
# stable results from run to run.  This comes at the cost of a somewhat higher
# rate of false positives and somewhat slower taint analysis.
# Visit a page like
# http://localhost:7340/install/codesonar/doc/html/Preferences/StableResultsAnalysis.html
# for documentation on what these settings do.

GLOBAL_FUNCTION_POINTER_MODE = context_sensitive
GLOBAL_TAINT_MODE = context_sensitive
TAINT_PLUS_DP_REFINEMENT_TIMEOUT = 30
RELAXED_TOPDOWN_FUNCPTR_RESOLUTION = No