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