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