gerrit.named-data.net / ndn-cxx / cf4ac5b0c7ab8690cc8e30cf821a5b97900efebd / .waf-tools / sanitizers.py