Review

Detector:	MuDetect_180221_BestRanking
Target:	project ' closure ' version 114
Misuse:	misuse ' 1 '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	UnionTypeBuilder.build() returns a JSType that can never be null. Branching on a null check therefore results in dead code.
Fix Description:	Check Node.isNoType() instead. (see diff)
Violation Types:	superfluous/condition/null_check
In File:	com/google/javascript/rhino/jstype/UnionType.java
In Method:	meet(JSType)
Code with Misuse:	class UnionType { JSType meet(JSType that) { UnionTypeBuilder builder = new UnionTypeBuilder(registry); for (JSType alternate : alternates) { if (alternate.isSubtype(that)) { builder.addAlternate(alternate); } } if (that instanceof UnionType) { for (JSType otherAlternate : ((UnionType) that).alternates) { if (otherAlternate.isSubtype(this)) { builder.addAlternate(otherAlternate); } } } else if (that.isSubtype(this)) { builder.addAlternate(that); } JSType result = builder.build(); if (result != null) { return result; } else if (this.isObject() && that.isObject()) { return getNativeType(JSTypeNative.NO_OBJECT_TYPE); } else { return getNativeType(JSTypeNative.NO_TYPE); } } }

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
?	587	0.0010253542132736765	(overlap = 5.00 / 6.00)(pattern support = 11 / 298)(violation support = 1 / 30)	closure/114/build/src/com/google/javascript/rhino/jstype/JSType.java#getGreatestSubtype(JSType, JSType) closure/114/build/src/com/google/javascript/rhino/jstype/StringType.java#testForEquality(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/UnionTypeBuilder.java#addAlternate(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/UnionType.java#getLeastSupertype(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/RecordType.java#isSubtype(ObjectType, RecordType)	11
?	588	0.0010253542132736765	(overlap = 5.00 / 6.00)(pattern support = 11 / 298)(violation support = 1 / 30)	closure/114/build/src/com/google/javascript/rhino/jstype/JSType.java#getGreatestSubtype(JSType, JSType) closure/114/build/src/com/google/javascript/rhino/jstype/StringType.java#testForEquality(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/UnionTypeBuilder.java#addAlternate(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/UnionType.java#getLeastSupertype(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/RecordType.java#isSubtype(ObjectType, RecordType)	11
?	589	0.0010253542132736765	(overlap = 5.00 / 6.00)(pattern support = 11 / 298)(violation support = 1 / 30)	closure/114/build/src/com/google/javascript/rhino/jstype/JSType.java#getGreatestSubtype(JSType, JSType) closure/114/build/src/com/google/javascript/rhino/jstype/StringType.java#testForEquality(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/UnionTypeBuilder.java#addAlternate(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/UnionType.java#getLeastSupertype(JSType) closure/114/build/src/com/google/javascript/rhino/jstype/RecordType.java#isSubtype(ObjectType, RecordType)	11