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