This was definitely the hardest case study. Usually, I am able to quite well, reduce the number of different labels that I have. But there's a huge variety of bugs that can result in a command execution. It also shows how much we have to learn to be able to find those...