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