mirror of https://github.com/google/oss-fuzz.git
gcb: set default sanitizers
This commit is contained in:
parent
4bfb26e105
commit
7448a7e9d8
|
@ -21,6 +21,8 @@ CONFIGURATIONS = {
|
||||||
'sanitizer-undefined' : [ 'SANITIZER=undefined' ],
|
'sanitizer-undefined' : [ 'SANITIZER=undefined' ],
|
||||||
}
|
}
|
||||||
|
|
||||||
|
DEFAULT_SANITIZERS = ['address', 'undefined']
|
||||||
|
|
||||||
|
|
||||||
def usage():
|
def usage():
|
||||||
sys.stderr.write(
|
sys.stderr.write(
|
||||||
|
@ -64,7 +66,8 @@ def get_build_steps(project_yaml):
|
||||||
},
|
},
|
||||||
]
|
]
|
||||||
|
|
||||||
for sanitizer in project_yaml["sanitizers"]:
|
sanitizers = project_yaml.get('sanitizers', DEFAULT_SANITIZERS)
|
||||||
|
for sanitizer in sanitizers:
|
||||||
env = CONFIGURATIONS["sanitizer-" + sanitizer]
|
env = CONFIGURATIONS["sanitizer-" + sanitizer]
|
||||||
out = '/workspace/out/' + sanitizer
|
out = '/workspace/out/' + sanitizer
|
||||||
zip_file = name + "-" + sanitizer + "-" + ts + ".zip"
|
zip_file = name + "-" + sanitizer + "-" + ts + ".zip"
|
||||||
|
|
Loading…
Reference in New Issue