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