for testing and deploying your application
for finding and fixing issues
for empowering human code reviews
Check to flag assignments that are superseded in all possible execution paths