sanitizers

All declared sanitizer function names. Each entry is the LLVM symbol name of a function whose return value should be treated as sanitized (taint-killed) by PhASAR.

For C++ extern "C" functions, this is just the function name (e.g. "check_validity"). For C++ functions with namespace or class scope, this is the mangled Itanium-ABI symbol (e.g. "_ZN3app..."), since PhASAR matches by exact LLVM symbol.

Sanitizers are emitted into each generated PhASAR cfg as {"name": "...", "ret": "sanitizer"} entries, telling the analysis that the function's return is clean regardless of input taint. Useful for domain validators like CheckInputValidity that produce a verdict whose value is intrinsic ASIL-rated data unrelated to the (potentially-tainted) inputs.