Adapting taint analyses for detecting security vulnerabilities / by Goran Piskachev ; Advisor: Prof. Dr. Eric Bodden