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