#vulnerable code 
                                public static String getPfadScript() {
        String pfadScript;
        final String PFAD_LINUX_SCRIPT = "bin/flv.sh";
        final String PFAD_WINDOWS_SCRIPT = "bin\\flv.bat";
        if (System.getProperty("os.name").toLowerCase().contains("linux")) {
            pfadScript = Funktionen.getPathJar() + PFAD_LINUX_SCRIPT;
        } else if (System.getProperty("os.name").toLowerCase().contains("mac")) {
            pfadScript = Funktionen.getPathJar() + PFAD_LINUX_SCRIPT;
        } else {
            pfadScript = Funktionen.getPathJar() + PFAD_WINDOWS_SCRIPT;
        }
        return pfadScript;
    } 
                            #location 7 
                            #vulnerability type NULL_DEREFERENCE
#fixed code
                                public static String getPfadScript() {
        String pfadScript;
        final String PFAD_LINUX_SCRIPT = "bin/flv.sh";
        final String PFAD_WINDOWS_SCRIPT = "bin\\flv.bat";
        switch (getOs()) {
            case OS_LINUX:
                pfadScript = Funktionen.getPathJar() + PFAD_LINUX_SCRIPT;
                break;
            case OS_MAC:
                pfadScript = Funktionen.getPathJar() + PFAD_LINUX_SCRIPT;
                break;
            case OS_WIN_32BIT:
            case OS_WIN_64BIT:
            case OS_UNKNOWN:
            default:
                pfadScript = Funktionen.getPathJar() + PFAD_WINDOWS_SCRIPT;
        }
        return pfadScript;
    }