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