gerrit.named-data.net / ndn-tools / 4a9e0b194b0952a5b38e0fbe0bbcc2b1ebca9bb7 / .waf-tools / sanitizers.py