Text this: Using unreachable code analysis in static analysis tool for finding defects in source code