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