diff options
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 1f51ec279..30d497ea9 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -347,6 +347,14 @@ int main(int argc, char** argv) #endif return 0; } + if (argc >= 2 && strcmp(argv[1], "setup_kcsan_blacklist") == 0) { +#if SYZ_HAVE_KCSAN + setup_kcsan_filterlist(argv + 2, argc - 2, /*blacklist=*/true); +#else + fail("KCSAN is not implemented"); +#endif + return 0; + } if (argc == 2 && strcmp(argv[1], "test") == 0) return run_tests(); |