static analysis message.py