[Openvas-nvts-commits] r552 - / scripts/2014

scm-commit at wald.intevation.org scm-commit at wald.intevation.org
Mon Jul 7 10:36:57 CEST 2014


Author: antu123
Date: 2014-07-07 10:36:57 +0200 (Mon, 07 Jul 2014)
New Revision: 552

Added:
   scripts/2014/deb_2972.nasl
Modified:
   ChangeLog
Log:
Added new auto generated plugin.

Modified: ChangeLog
===================================================================
--- ChangeLog	2014-07-07 08:31:46 UTC (rev 551)
+++ ChangeLog	2014-07-07 08:36:57 UTC (rev 552)
@@ -1,5 +1,10 @@
 2014-07-07 Antu Sanadi <santu at secpod.com>
 
+	* scripts/2014/deb_2972.nasl:
+	Added new auto generated plugin.
+
+2014-07-07 Antu Sanadi <santu at secpod.com>
+
 	Automatic update of cvss_base_vector and subsequently of cvss_base,
 	risk_factor and change of security message level (where necessary).
 

Added: scripts/2014/deb_2972.nasl
===================================================================
--- scripts/2014/deb_2972.nasl	                        (rev 0)
+++ scripts/2014/deb_2972.nasl	2014-07-07 08:36:57 UTC (rev 552)
@@ -0,0 +1,1174 @@
+# OpenVAS Vulnerability Test
+# $Id$
+# Auto-generated from advisory DSA 2972-1 using nvtgen 1.0
+# Script version: 1.0
+#
+# Author:
+# Greenbone Networks
+#
+# Copyright:
+# Copyright (c) 2014 Greenbone Networks GmbH http://greenbone.net
+# Text descriptions are largely excerpted from the referenced
+# advisory, and are Copyright (c) the respective author(s)
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License version 2,
+# or, at your option, any later version as published by the Free
+# Software Foundation
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+#
+
+include("revisions-lib.inc");
+
+tag_affected  = "linux on Debian Linux";
+tag_insight   = "The Linux kernel is the core of the Linux operating system.";
+tag_solution  = "For the stable distribution (wheezy), this problem has been fixed in
+version 3.2.60-1+deb7u1. In addition, this update contains several
+bugfixes originally targeted for the upcoming Wheezy point release.
+
+For the unstable distribution (sid), this problem will be fixed soon.
+
+We recommend that you upgrade your linux packages.";
+tag_summary   = "Andy Lutomirski discovered that the ptrace syscall was not verifying the
+RIP register to be valid in the ptrace API on x86_64 processors. An
+unprivileged user could use this flaw to crash the kernel (resulting in
+denial of service) or for privilege escalation.";
+tag_vuldetect = "This check tests the installed software version using the apt package manager.";
+
+desc = "Summary:
+" + tag_summary + "
+
+Vulnerability Detection:
+" + tag_vuldetect + "
+
+Vulnerability Insight:
+" + tag_insight + "
+
+Affected Software/OS:
+" + tag_affected + "
+
+Solution:
+" + tag_solution;
+
+if(description)
+{
+    script_id(702972);
+    script_version("$Revision$");
+    script_cve_id("CVE-2014-4699");
+    script_name("Debian Security Advisory DSA 2972-1 (linux - security update");
+    script_tag(name: "check_type", value:"authenticated package test");
+    script_tag(name: "last_modification", value:"$Date$");
+    script_tag(name: "creation_date", value:"2014-07-06 00:00:00 +0200 (Sun, 06 Jul 2014)");
+    script_tag(name: "cvss_base", value:"10.0");
+    script_tag(name: "cvss_base_vector", value:"AV:N/AC:L/Au:N/C:C/I:C/A:C");
+    script_tag(name: "risk_factor", value:"Critical");
+
+    script_description(desc);
+    script_xref(name: "URL", value: "http://www.debian.org/security/2014/dsa-2972.html");
+
+    script_summary("Debian Security Advisory DSA 2972-1 (linux - security update)");
+
+    script_category(ACT_GATHER_INFO);
+
+    script_copyright("Copyright (c) 2014 Greenbone Networks GmbH http://greenbone.net");
+    script_family("Debian Local Security Checks");
+    script_dependencies("gather-package-list.nasl");
+    script_mandatory_keys("HostDetails/OS/cpe:/o:debian:debian_linux", "login/SSH/success", "ssh/login/packages");
+    if (revcomp(a: OPENVAS_VERSION, b: "6.0+beta5") >= 0) {
+        script_tag(name: "affected",  value: tag_affected);
+        script_tag(name: "insight",   value: tag_insight);
+#        script_tag(name: "impact",    value: tag_impact);
+        script_tag(name: "solution",  value: tag_solution);
+        script_tag(name: "summary",   value: tag_summary);
+        script_tag(name: "vuldetect", value: tag_vuldetect);
+    }
+
+    exit(0);
+}
+
+include("pkg-lib-deb.inc");
+
+res = "";
+report = "";
+if ((res = isdpkgvuln(pkg:"linux-doc-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-486", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-4kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-5kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-armel", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-armhf", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-i386", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-ia64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-mips", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-mipsel", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-s390", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-sparc", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-common", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-common-rt", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-iop32x", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-itanium", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-ixp4xx", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-kirkwood", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-loongson-2f", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mckinley", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mv78xx0", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mx5", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-octeon", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-omap", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-orion5x", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r4k-ip22", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r5k-cobalt", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r5k-ip32", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-rt-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-rt-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sb1-bcm91250a", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sb1a-bcm91480b", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sparc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sparc64-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-versatile", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-vexpress", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-486", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-4kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-5kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-686-pae-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-amd64-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-iop32x", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-itanium", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-ixp4xx", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-kirkwood", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-loongson-2f", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mckinley", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mv78xx0", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mx5", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-octeon", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-omap", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-orion5x", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r4k-ip22", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r5k-cobalt", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r5k-ip32", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-686-pae-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-amd64-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x-tape", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sb1-bcm91250a", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sb1a-bcm91480b", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sparc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sparc64-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-versatile", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-vexpress", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-libc-dev", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-manual-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-source-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-support-3.2.0-4", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"xen-linux-system-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"xen-linux-system-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.0")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-doc-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-486", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-4kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-5kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-armel", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-armhf", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-i386", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-ia64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-mips", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-mipsel", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-s390", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-sparc", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-common", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-common-rt", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-iop32x", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-itanium", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-ixp4xx", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-kirkwood", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-loongson-2f", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mckinley", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mv78xx0", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mx5", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-octeon", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-omap", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-orion5x", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r4k-ip22", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r5k-cobalt", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r5k-ip32", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-rt-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-rt-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sb1-bcm91250a", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sb1a-bcm91480b", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sparc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sparc64-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-versatile", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-vexpress", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-486", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-4kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-5kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-686-pae-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-amd64-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-iop32x", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-itanium", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-ixp4xx", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-kirkwood", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-loongson-2f", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mckinley", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mv78xx0", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mx5", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-octeon", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-omap", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-orion5x", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r4k-ip22", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r5k-cobalt", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r5k-ip32", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-686-pae-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-amd64-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x-tape", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sb1-bcm91250a", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sb1a-bcm91480b", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sparc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sparc64-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-versatile", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-vexpress", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-libc-dev", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-manual-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-source-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-support-3.2.0-4", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"xen-linux-system-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"xen-linux-system-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.1")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-doc-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-486", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-4kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-5kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-armel", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-armhf", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-i386", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-ia64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-mips", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-mipsel", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-s390", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-sparc", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-common", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-common-rt", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-iop32x", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-itanium", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-ixp4xx", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-kirkwood", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-loongson-2f", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mckinley", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mv78xx0", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mx5", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-octeon", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-omap", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-orion5x", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r4k-ip22", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r5k-cobalt", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r5k-ip32", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-rt-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-rt-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sb1-bcm91250a", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sb1a-bcm91480b", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sparc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sparc64-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-versatile", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-vexpress", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-486", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-4kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-5kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-686-pae-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-amd64-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-iop32x", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-itanium", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-ixp4xx", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-kirkwood", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-loongson-2f", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mckinley", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mv78xx0", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mx5", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-octeon", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-omap", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-orion5x", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r4k-ip22", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r5k-cobalt", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r5k-ip32", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-686-pae-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-amd64-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x-tape", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sb1-bcm91250a", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sb1a-bcm91480b", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sparc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sparc64-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-versatile", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-vexpress", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-libc-dev", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-manual-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-source-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-support-3.2.0-4", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"xen-linux-system-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"xen-linux-system-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.2")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-doc-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-486", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-4kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-5kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-armel", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-armhf", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-i386", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-ia64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-mips", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-mipsel", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-s390", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-all-sparc", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-common", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-common-rt", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-iop32x", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-itanium", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-ixp4xx", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-kirkwood", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-loongson-2f", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mckinley", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mv78xx0", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-mx5", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-octeon", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-omap", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-orion5x", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-powerpc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r4k-ip22", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r5k-cobalt", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-r5k-ip32", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-rt-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-rt-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sb1-bcm91250a", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sb1a-bcm91480b", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sparc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-sparc64-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-versatile", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-headers-3.2.0-4-vexpress", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-486", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-4kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-5kc-malta", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-686-pae-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-amd64-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-iop32x", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-itanium", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-ixp4xx", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-kirkwood", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-loongson-2f", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mckinley", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mv78xx0", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-mx5", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-octeon", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-omap", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-orion5x", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-powerpc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r4k-ip22", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r5k-cobalt", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-r5k-ip32", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-686-pae-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-rt-amd64-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x-dbg", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-s390x-tape", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sb1-bcm91250a", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sb1a-bcm91480b", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sparc64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-sparc64-smp", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-versatile", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-image-3.2.0-4-vexpress", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-libc-dev", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-manual-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-source-3.2", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"linux-support-3.2.0-4", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"xen-linux-system-3.2.0-4-686-pae", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+if ((res = isdpkgvuln(pkg:"xen-linux-system-3.2.0-4-amd64", ver:"3.2.60-1+deb7u1", rls:"DEB7.3")) != NULL) {
+    report += res;
+}
+
+if (report != "") {
+    security_message(data:report + '\n' + desc);
+} else if (__pkg_match) {
+    exit(99); # Not vulnerable.
+}


Property changes on: scripts/2014/deb_2972.nasl
___________________________________________________________________
Added: svn:keywords
   + Author Revision Date Id



More information about the Openvas-nvts-commits mailing list