diff options
author | Mike Aizatsky <mike.aizatsky@gmail.com> | 2016-12-07 11:53:06 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-07 11:53:06 -0800 |
commit | 6976f15a7ddbed380a5e362e5b0086047fc506da (patch) | |
tree | 6c433556a8b7720c79fb5c7c31870646cf228e5d /projects/tpm2 | |
parent | 3ab381b653344f730f502577cea11f8b2e673e8c (diff) | |
download | oss-fuzz-6976f15a7ddbed380a5e362e5b0086047fc506da.tar.gz |
[tpm2] enabling undefined sanitizer
Diffstat (limited to 'projects/tpm2')
-rw-r--r-- | projects/tpm2/project.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/projects/tpm2/project.yaml b/projects/tpm2/project.yaml index d3be9026e..b55270d99 100644 --- a/projects/tpm2/project.yaml +++ b/projects/tpm2/project.yaml @@ -2,3 +2,6 @@ homepage: "https://chromium.googlesource.com/chromiumos/third_party/tpm2" dockerfile: git: "https://chromium.googlesource.com/chromiumos/third_party/tpm2/" path: "fuzz/Dockerfile" +sanitizers: + - address + - undefined |