Review

Detector:	MuDetect_170414_Determinism
Target:	project ' itext ' version 5091
Misuse:	misuse ' dmmc-937 '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Iterator.next() is invoked without prior check of hasNext(). Is also tikanga-12.
Fix Description:
Violation Types:	missing/condition/value_or_state
In File:	com/itextpdf/text/pdf/PdfPKCS7.java
In Method:	PdfPKCS7(byte[], byte[], String)
Code with Misuse:	class PdfPKCS7 { /** * Verifies a signature using the sub-filter adbe.x509.rsa_sha1. * @param contentsKey the /Contents key * @param certsKey the /Cert key * @param provider the provider or <code>null</code> for the default provider */ @SuppressWarnings("unchecked") public PdfPKCS7(byte[] contentsKey, byte[] certsKey, String provider) { try { this.provider = provider; X509CertParser cr = new X509CertParser(); cr.engineInit(new ByteArrayInputStream(certsKey)); certs = cr.engineReadAll(); signCerts = certs; signCert = (X509Certificate)certs.iterator().next(); crls = new ArrayList<CRL>(); ASN1InputStream in = new ASN1InputStream(new ByteArrayInputStream(contentsKey)); digest = ((DEROctetString)in.readObject()).getOctets(); if (provider == null) sig = Signature.getInstance("SHA1withRSA"); else sig = Signature.getInstance("SHA1withRSA", provider); sig.initVerify(signCert.getPublicKey()); } catch (Exception e) { throw new ExceptionConverter(e); } } }

Potential Hits

Findings of the detector that identify an anomaly in the same file and method as the known misuse.

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping
?	1331	0.2919237	((pattern support = 11 / 48)(pattern violations = 1 / 21)(violation support = 1 / 11)(overlap = 1 - (3 / 15))) / 4	itext/5091/original-src/com/itextpdf/text/pdf/PdfPKCS7.java#getAuthenticatedAttributeSet(byte, Calendar, byte[]);itext/5091/original-src/com/itextpdf/text/pdf/PdfPKCS7.java#getIssuer(byte[]);itext/5091/original-src/com/itextpdf/text/pdf/PdfPKCS7.java#getSubject(byte[]);itext/5091/original-src/com/itextpdf/text/pdf/PdfPublicKeySecurityHandler.java#createDERForRecipient(byte[], X509Certificate);itext/5091/original-src/com/itextpdf/text/pdf/PdfPKCS7.java#getExtensionValue(X509Certificate, String)	11
?	1768	0.2645442	((pattern support = 16 / 48)(pattern violations = 1 / 191)(violation support = 1 / 51)(overlap = 1 - (3 / 10))) / 4	itext/5091/original-src/com/itextpdf/text/pdf/FdfWriter.java#removeField(String);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#getStreamBytesRaw(PRStream, RandomAccessFileOrArray);itext/5091/original-src/com/itextpdf/text/pdf/PdfWriter.java#writeCrossReferenceTable(OutputStream, PdfIndirectReference, PdfIndirectReference, PdfIndirectReference, PdfObject, long);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#selectPages(List);itext/5091/original-src/com/itextpdf/text/pdf/TrueTypeFont.java#getAllNames()	16
?	22	0.56324404	((pattern support = 27 / 48)(pattern violations = 1 / 3)(violation support = 1 / 2)(overlap = 1 - (1 / 7))) / 4	itext/5091/original-src/com/itextpdf/text/pdf/PdfCopy.java#copyArray(PdfArray);itext/5091/original-src/com/itextpdf/text/Section.java#flushContent();itext/5091/original-src/com/itextpdf/awt/geom/misc/RenderingHints.java#equals(Object);itext/5091/original-src/com/itextpdf/text/pdf/PdfArray.java#toPdf(PdfWriter, OutputStream);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#readOCProperties()	27