trust-boundaries
Generic semantic-tainting static analyzer for Python — enterprise-class trust-boundary analysis at small-team weight.