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