Sanitizers are technically dynamic analysis. They instrument built programs and analyze them as they run.