Known vulnerabilities in cbmc (Debian package) 5.84.0-7

5.84.0-1 5.84.0-2 5.84.0-3 5.84.0-4 5.84.0-5 5.84.0-6 5.84.0-7 5.84.0-8 5.84.0-9 5.84.0-10 5.84.0-11 5.89.0-1 5.89.0-2 5.95.1-1 5.95.1-2 5.95.1-3 5.95.1-4 5.95.1-5 5.95.1-6 6.0.1-1 6.0.1-2 6.1.1-1 6.1.1-2 6.4.1-1 6.4.1-2 6.6.0-1 6.6.0-2 6.6.0-3 6.6.0-4 5.12 4.1-1+b1 4.9-3+b1 5.1-1+b1 5.3-1+b1 5.12-1 5.12-2 5.12-3 5.12-4 5.12-5 5.10 5.6 4.9 5.10-5.1 5.10-5 5.10-1 5.10-2 5.10-3 5.10-4 5.1-1~bpo8+1 5.9-1 5.9-2 5.9-3 5.9-4 5.9-5 5.9-6 5.3-1 5.4-1 5.4-2 5.4-3 5.5-1 5.6-1 4.9-5 5.0-1 5.0-2 5.0-3 5.1-1 5.1-2 5.2-1 5.2-1~bpo8+1 4.2-1 4.2-2 4.2-3 4.2-4 4.2-5 4.2-6 4.3-1 4.3-2 4.3-3 4.3-4 4.3-5 4.3-6 4.4-1 4.4-2 4.5-1 4.5-2 4.7-1 4.7-2 4.9-1 4.9-2 4.9-3 4.9-4 3.9+r41-1 3.9+r41-2 3.9+r41-3 4.0-1 4.0-2 4.0-3 4.0-4 4.1-1 4.1-1.1 4.1-1.2