https://plai.ifi.lmu.de
LMU Munich Munich, Germany
Johannes Kinder
The Jakstab static analysis platform for binaries
jkinder
