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