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