A static ducking tool for python 3 source code. It is intended to be an unsound checker that will catch most errors while not creating many false positives.