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