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