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