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