Waidner, MichaelArzt, StevenLange, Tim LukasTim LukasLange2024-11-212024-11-212024https://publica.fraunhofer.de/handle/publica/479166dePräzise Modellierung von Container Operationen in IFDS-basierten Taint Analysenmaster thesis