gerrit.named-data.net / ndn-tools / 84eb4873c8d19f845e9fe2ac5defadc346c8e1e5 / .waf-tools / sanitizers.py