Review

Detector:

MuDetect_170414_Determinism

Target:

project '

closure

' version

319

Tags:

Potential Misuse

Anomaly identified by the detector. Please review whether this anomaly corresponds to a misuse.

Finding:	12
In File:	/home/eko/MUBench/MUBench/mubench.pipeline/../checkouts/closure/319/original-src/com/google/javascript/jscomp/GlobalNamespace.java
In Method:	process()
Code with Finding:	`class GlobalNamespace { /** * Builds the namespace lazily. */ private void process() { if (externsRoot != null) { inExterns = true; NodeTraversal.traverse(compiler, externsRoot, new BuildGlobalNamespace()); } inExterns = false; NodeTraversal.traverse(compiler, root, new BuildGlobalNamespace()); generated = true; } }`

Metadata

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping	Violation Types
?	12	0.6166667	((pattern support = 104 / 104)(pattern violations = 1 / 3)(violation support = 1 / 3)(overlap = 1 - (1 / 5))) / 4	closure/319/original-src/com/google/javascript/jscomp/Denormalize.java#process(Node, Node);closure/319/original-src/com/google/javascript/jscomp/RenameVars.java#process(Node, Node);closure/319/original-src/com/google/javascript/jscomp/ReplaceIdGenerators.java#process(Node, Node);closure/319/original-src/com/google/javascript/jscomp/CrossModuleCodeMotion.java#process(Node, Node);closure/319/original-src/com/google/javascript/jscomp/FunctionToBlockMutator.java#makeLocalNamesUnique(Node, boolean)	104