- Marking of unreachable code - commandline tool and gui.