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