The tool to detect code's flaw with static analysis