closure |
319 |
success |
4736 |
95.1 s |
×
Run Details |
|
Project: |
closure |
Version: |
319 |
Result: |
success |
# of Findings: |
4736 |
Runtime: |
95.08 s |
created_at : |
2018-01-15 14:27:55 |
dataset : |
icse16ex2 |
detectionLoadTime : |
11867 |
detectionTime : |
60666 |
maxPatternSupport : |
41 |
md5 : |
622c004b6febeeae629bea54507d413d |
numberOfExploredAlternatives : |
18703 |
numberOfPatterns : |
102 |
numberOfTargets : |
6344 |
numberOfTrainingExamples : |
6344 |
numberOfUsages : |
{'': 11, 'LinkedDirectedGraph': 7, 'BasicBlock': 12, 'NoType': 2, 'GreatestSupertypeVisitor': 1, 'ScopedCallback': 5, 'AssertionFunctionSpec()': 1, 'NamedPass': 3, 'FlowState': 12, 'JSDocInfo.Marker': 1, 'Context': 46, 'CallGraph()': 1, 'FunctionType': 157, 'DepthComparator': 1, 'ScriptOrFnNode()': 2, 'GatherCandiates': 1, 'LinkedUndirectedGraphNode': 13, 'FunctionCallBuilder': 5, 'DiGraph': 19, 'AliasUsage': 1, 'OldRhinoErrorReporter': 1, 'Format': 7, 'Definition()': 5, 'ErrorReporter': 29, 'RemoveUnusedVars': 4, 'ReferenceCollection': 10, 'ReductionGatherer': 1, 'Driver': 1, 'CommandLineConfig': 46, 'Node()': 11, 'TypeFilter.filter()': 7, 'PropertyChangeListener': 1, 'ExternalNameOnlyDefinition': 1, 'DataFlowAnalysis()': 4, 'BufferedWriter': 1, 'ExpressionStatement': 1, 'ObjectLiteralPropertyDefinition': 2, 'PropagateConstantAnnotationsOverVars': 2, 'AmbiguateProperties': 2, 'PropertyGet': 1, 'NodeTraversal()': 1, 'DevirtualizePrototypeMethods': 4, 'PlaceholderReference': 5, 'StringPosition': 3, 'SideEffectsAnalysis': 2, 'MatchShallowStatement': 5, 'ForbiddenChange': 1, 'CompilerInput': 58, 'AnalyzeNameReferences': 3, 'PriorityQueue': 2, 'SpecializeModule': 4, 'AbstractPostOrderCallback': 2, 'ComplexKey': 2, 'DuplicateDeclarationHandler': 1, 'CrossModuleCodeMotion': 1, 'UnknownType': 7, 'AstControlFlowGraph': 1, 'DeferredSetType': 2, 'AliasSpecification()': 2, 'Name.Type': 1, 'CallSiteOptimizer': 1, 'Color.value': 1, 'EnumType': 8, 'Object': 430, 'TypeValidator': 9, 'Iterable': 405, 'Flags': 2, 'JsMessageVisitor': 2, 'BoilerplateRenamer': 2, 'NamedPass()': 1, 'JSTypeExpression': 49, 'RecordProperty': 4, 'E': 17, 'ConcreteScope': 16, 'PeepholeFoldConstants': 1, 'ReturnStatement': 1, 'N': 20, 'OnDisk': 3, 'FunctionNames': 4, 'CheckProvides': 1, 'GatherExtractionInfo': 4, 'ControlFlowGraph': 43, 'AllType': 4, 'Logger': 3, 'ObjectOutput': 3, 'Charset': 13, 'StaticScope': 41, 'AddMarkers': 1, 'AncestorIterable': 19, 'RecordType': 6, 'LiteralProperty': 3, 'MaxIterationsExceededException': 1, 'UnionFind': 8, 'GZIPOutputStream': 1, 'VariableReferenceCheck': 1, 'DotFormatter': 6, 'LinkedDirectedGraph()': 2, 'NumberLiteral': 1, 'AnonymousFunctionNamer': 2, 'GreedyGraphColoring': 3, 'InliningMode': 9, 'ArrayDeque': 7, 'TypeInferringCallback': 1, 'LiveRangeChecker': 3, 'SpecialReferenceNode()': 2, 'VarCheck': 4, 'DataFlowAnalysis': 3, 'Iterator.hasNext()': 1, 'LinkedFlowScope': 15, 'LabelInfo': 3, 'JsFunctionParser': 2, 'TweakFunctionCall': 11, 'IndexOutOfBoundsException': 1, 'AliasKeywords': 1, 'RemoveTryCatch': 1, 'DisambiguateProperties': 2, 'ExportTestFunctionsNodes': 1, 'NameReferenceGraph': 7, 'OptimizeCalls': 2, 'ShadowDeclarationCheckingCallback': 2, 'FunctionPrototypeType()': 1, 'UseSite.node': 1, 'LazilyInitializedDocumentation': 20, 'null': 526, 'ConcreteUnionType()': 1, 'Var.index': 1, 'JSModuleGraph': 27, 'AbstractCfgNodeTraversalCallback.visit()': 4, 'ExternExportsPass': 3, 'CloneNotSupportedException': 1, 'ProcessDefines': 4, 'EcmaError': 14, 'SpecialReferenceNode': 1, 'Thread.run()': 1, 'AnonymousFunctionNamingCallback': 3, 'SimpleDefinitionFinder': 23, 'ProcessVars': 2, 'SyntacticScopeCreator': 5, 'VisibilityBasedEffectLocation': 5, 'StringWriter': 1, 'VariableLiveness': 2, 'LocalVarMotion': 6, 'ComposeWarningsGuard()': 1, 'Level': 1, 'ObjectInput': 3, 'ThrowStatement': 1, 'LabelNamespace': 5, 'FunctionRecord': 3, 'boolean[]': 3, 'CollapseVariableDeclarations': 1, 'DefaultPassConfig': 12, 'ConcreteInstanceType.instanceType': 1, 'FindReferences': 2, 'JsNameRefNode()': 1, 'ZipInputStream': 1, 'ForLoop': 1, 'AliasedTypeNode': 1, 'InlineRenamer': 5, 'FindDependencyScopes': 1, 'FindAbstractMethods': 1, 'SimpleSlot()': 1, 'UnknownDefinition': 1, 'DependencyInfo': 40, 'Supplier.get()': 3, 'TracerMode': 4, 'ErrorPass()': 1, 'FunctionDefinition()': 2, 'SourceInformationAnnotator': 2, 'BooleanLiteralSet': 16, 'MessageFormatter': 10, 'PassFactoryDelegate': 2, 'ProcessExternProperties': 1, 'ConcreteNoneType': 1, 'RuntimeException()': 2, 'Joiner': 12, 'TypedScopeCreator': 4, 'AstChangeProxy': 1, 'NeighborIterator': 4, 'IOException': 23, 'Hashtable': 11, 'LocationSummary': 6, 'CharArrayWriter': 1, 'CodeGenerator': 3, 'MustDef.reachingDef': 3, 'ProcessLabels': 1, 'JsonMLComparator': 4, 'RestrictByOneTypeOfResultVisitor': 3, 'StringLiteral': 1, 'CanInlineResult': 4, 'Region': 5, 'CheckProvidesCallback': 2, 'RenameProperties()': 2, 'ObjectProperty': 1, 'FlowSensitiveInlineVariables': 2, 'PrepareAst': 3, 'GraphAnnotationState': 2, 'SwitchStatement': 1, 'HoistVariableAndFunctionDeclarations': 1, 'ReachingUses': 8, 'NoShadowAnnotationGatheringCallback': 1, 'FunctionType.getConstructor()': 1, 'ConcreteTypeSystem': 3, 'FunctionPrototypeType': 28, 'Validator': 1, 'NewRhinoNullReporter': 1, 'Result': 18, 'PrototypeMemberDeclaration': 5, 'VariableUseDeclarationMap': 2, 'InstanceObjectType': 5, 'ConcreteAll': 1, 'Symbol': 12, 'JsAst': 8, 'ModuleDependenceException': 4, 'ContinueStatement': 1, 'SpecializationState': 14, 'NodeTraversal.AbstractShallowCallback': 1, 'LinkedDirectedGraphEdge()': 1, 'KeywordLiteral': 1, 'ReferenceCollectingCallback.Reference': 1, 'MatchDeclaration': 2, 'UsedMappingCheck': 2, 'CallSite': 2, 'JSTypeNative[].length': 1, 'SubclassRelationship': 9, 'GatherSideEffectSubexpressionsCallback': 3, 'Normalize': 4, 'ExternFunctionCall': 1, 'ScopeTicklingCallback': 1, 'BaseJSTypeTestCase': 3, 'TreeSet': 10, 'OptionHandler()': 1, 'Position': 25, 'JSTypeRegistry()': 1, 'NamedInfo': 6, 'CallVisitor': 1, 'RegExpLiteral': 1, 'FindCandidateFunctions': 3, 'Long': 2, 'StringNode': 5, 'CompilationLevel': 1, 'BasicErrorManager': 4, 'Branch': 6, 'LifeCycleStage': 17, 'ResourceBundle': 3, 'CheckAccidentalSemicolon': 1, 'IncompleteDefinition()': 3, 'Var': 114, 'VerifyConstants': 1, 'CompileTask': 4, 'CheckPathsBetweenNodes()': 1, 'Continuation': 2, 'BitSet': 7, 'AbstractSet.contains()': 1, 'Node.size': 1, 'EvaluatorException': 18, 'MakeDeclaredNamesUnique()': 1, 'AbstractSet': 1, 'SyntheticAst': 2, 'KeywordAliasSpecification': 1, 'ObjToIntMap': 15, 'UnionType.alternates': 1, 'AbstractCommandLineRunner': 16, 'ImmutableList': 18, 'RhinoException()': 2, 'FixedPointGraphTraversal': 7, 'CombinedCompilerPass()': 1, 'ConcreteSlot': 13, 'FindExternProperties': 1, 'LineNumberCheck': 1, 'IndexedType': 2, 'VariableDeclaration': 1, 'MustDefJoin': 1, 'AliasedNode': 2, 'FunctionInformationMap': 5, 'LoggerErrorManager': 2, 'Class': 15, 'ArrowType': 22, 'Date': 1, 'Function.apply()': 1, 'Enum': 5, 'GetExternMethods': 1, 'Map': 112, 'JsNameRefNode': 2, 'ObjectLiteralCast': 2, 'PeepholeOptimizationsPass()': 1, 'DiscoverEnumsAndTypedefs': 1, 'CodeGenerator()': 2, 'ConcreteJSTypePair': 5, 'CallGraphCompilerPass': 1, 'LanguageMode': 1, 'JSTypeSystem': 1, 'VisibilityLocationAbstraction': 2, 'FilenameFilter.accept()': 1, 'LightweightMessageFormatter': 3, 'VoidType': 2, 'ConcreteFunctionType': 24, 'EdgeCallback': 1, 'NameContext': 3, 'CmdLineException': 1, 'Compiler()': 2, 'Reference()': 2, 'VarCollector': 1, 'WarningLevel': 1, 'CombinedLiveRangeChecker': 1, 'ImplementedTypeValidator': 1, 'SignatureStore': 4, 'SubGraph': 1, 'TypeFilter': 8, 'StringReader': 4, 'JSONArray': 2, 'TypePair': 8, 'ProxyObjectType': 24, 'PrintStreamErrorManager()': 1, 'JsDocToken': 28, 'SourceMap': 9, 'CompilerPass.process()': 1, 'ProcessProperties': 9, 'NodeUtil.Visitor': 1, 'int[]': 19, 'AbstractStringBuilder': 61, 'ReferencePropagationCallback': 1, 'Marker': 6, 'SpecializationAwareCompilerPass': 2, 'TypeInference': 7, 'Throwable': 22, 'DetailLevel': 2, 'RemoveCallback': 1, 'ComposeWarningsGuard': 5, 'AliasStrings': 1, 'GetterReducer': 1, 'JsFileLineParser()': 3, 'PassFactory.createInternal()': 3, 'ResolveMode': 3, 'SymbolInfo': 1, 'Priority': 4, 'NameAnonymousFunctions': 1, 'DestructuringForm': 2, 'Traversal': 11, 'SuppressDocWarningsGuard': 1, 'CmdLineParser': 2, 'Candidate': 6, 'MemoizedScopeCreator': 5, 'NonExternChecks': 3, 'StringParser': 6, 'IllegalStateException': 75, 'PropertyRenamingPolicy': 3, 'CheckRegExp': 2, 'AbstractShallowCallback.visit()': 1, 'RestrictByTrueInstanceOfResultVisitor': 3, 'InlineFunctions': 4, 'StandardUnionFind': 2, 'FlagUsageException': 8, 'PhaseOptimizer': 10, 'SubclassType': 4, 'GatherNoSideEffectFunctions': 2, 'GraphReachability()': 1, 'JsonML()': 3, 'Generated': 1, 'StringOccurrence': 2, 'VarDefinition': 2, 'ProcessClosurePrimitives': 9, 'ArrayList': 30, 'NumberType': 2, 'Property.refCount': 1, 'DevMode': 6, 'DepsFinder': 1, 'Boolean': 9, 'PrototypeObjectType()': 7, 'TracingStatistic': 6, 'IllegalArgumentException': 57, 'Renamer': 5, 'Graph': 10, 'TokenStream': 23, 'JSTypeBitSet': 3, 'Kit': 1, 'AstNode': 18, 'DepsFileParser': 2, 'char': 131, 'ThreadTrace.stats': 1, 'MappedCodePrinter': 4, 'ConcreteInstanceType': 26, 'Checksum': 1, 'CommentType': 1, 'UnrecognizedRequire': 1, 'NodeMatcher': 1, 'Reduction': 2, 'VariableMap': 23, 'Comparator': 14, 'Assignment': 12, 'FileLevelJsDocBuilder': 3, 'ParenthesizedExpression': 1, 'AliasSet': 2, 'MappingTraversal': 10, 'Integer': 14, 'TypeInferencePass': 5, 'CollectDefines': 4, 'EmptyFunctionReducer': 1, 'InstrumentReturns': 2, 'AstRoot': 3, 'String': 1417, 'NodeUtil.Visitor.visit()': 1, 'InstrumentCallback': 1, 'RhinoException': 13, 'Preloaded()': 1, 'OptimizeParameters()': 1, 'SetNoSideEffectCallProperty': 1, 'Iterator.remove()': 1, 'IRFactory': 14, 'InferJSDocInfo': 2, 'LinkedHashSet': 1, 'JsMessage': 20, 'Node[]': 1, 'PropListItem()': 2, 'RuntimeTypeCheck': 2, 'CombinedCompilerPass': 3, 'Comment': 5, 'DiagnosticGroupWarningsGuard': 4, 'OutputStreamWriter': 3, 'CatchClause': 2, 'ObjectOutputStream': 3, 'LinkedDirectedGraphEdge': 10, 'DataInput': 2, 'UnknownType()': 1, 'RemoveTryCatchCode': 1, 'Reference': 55, 'FunctionInjector': 5, 'File': 17, 'V': 1, 'Strip': 3, 'Collection': 375, 'SourceAst': 21, 'CharsetEncoder': 1, 'ConditionalExpression': 1, 'OriginalFunctionInformation': 6, 'ValueType()': 5, 'CommandLineRunner': 5, 'SimpleErrorReporter': 5, 'CheckMissingGetCssName': 1, 'ErrorLevel': 2, 'JSTypeExpression.root': 1, 'char[]': 4, 'Annotation': 18, 'Queue': 5, 'MustBeReachingVariableDef': 3, 'Builder': 40, 'AstParallelizer': 3, 'CodePrinter.Builder': 2, 'RemoveUnusedPrototypeProperties': 2, 'UniqueTag': 9, 'List': 351, 'GatherCollapses': 1, 'AnnotatedLinkedDirectedGraphNode': 2, 'DoLoop': 1, 'PropertyGraphNode': 5, 'GatherSignatures': 1, 'BranchedFlowState': 6, 'FunctionToBlockMutator': 1, 'IncompleteDefinition': 1, 'com.google.javascript.jscomp.mozilla.rhino.Token': 1, 'NormalizeStatements': 3, 'PropListItem': 13, 'Dictionary': 1, 'SortedSet': 5, 'UnsupportedOperationException': 32, 'RecordFunctionInformation': 3, 'Module': 1, 'Multimap': 16, 'CodeSizeEstimatePrinter': 6, 'BigInteger[]': 2, 'InterruptedException': 1, 'TypeCheck': 14, 'Task': 1, 'LinkedUndirectedGraphEdge()': 1, 'StripCode': 1, 'UintMap': 18, 'Export()': 2, 'Declaration': 3, 'TweakInfo': 7, 'AliasExternals': 2, 'FunctionExpression': 3, 'LinkedUndirectedGraph': 5, 'Parser': 23, 'State.functionNames': 1, 'JSDocInfoBuilder': 7, 'AliasExternals()': 1, 'SymbolType': 1, 'CallGraph': 3, 'ForInLoop': 1, 'SourceMapLegacy': 1, 'StringBuilder': 66, 'BreakStatement': 1, 'Predicate': 30, 'JsDocInfoParser': 15, 'NodeMatcher.reportMatch()': 1, 'CollectTweaks': 2, 'ProxyObjectType()': 4, 'CheckRequiresForConstructors': 1, 'Label': 2, 'Tracer': 23, 'StrictModeCheck': 6, 'RenameVars': 7, 'State.variableMap': 1, 'Setter': 1, 'WarningsGuard': 9, 'NameInfo': 22, 'PerformanceTracker': 7, 'Loop': 6, 'MissingResourceException': 1, 'DecompositionState': 1, 'WithStatement': 1, 'StubDeclaration': 2, 'LabeledStatement': 1, 'OptimizeReturns': 2, 'ShowType': 5, 'SymbolExport': 2, 'Appendable': 49, 'ObjectType()': 4, 'SourceMap.DetailLevel': 5, 'CallVisitor()': 1, 'Ref.node': 1, 'ClassDefiningFunctionNode': 1, 'System': 4, 'RenameProperties': 3, 'AliasSpecification': 7, 'NodeNameExtractor': 2, 'AddChecks': 1, 'DeadAssignmentsElimination': 1, 'TestErrorReporter': 10, 'DelegateRelationship': 1, 'ParseException': 7, 'ExtractPrototypeMemberDeclarations': 1, 'FunctionState': 30, 'PrototypeSetNode': 1, 'CheckPathsBetweenNodes': 5, 'GraphvizGraph': 1, 'ConstCheck': 1, 'CheckAccessControls': 8, 'InputStreamReader': 3, 'ReferenceCollectingCallback()': 1, 'LinkedList': 8, 'LinkedHashMap': 7, 'long[]': 2, 'InliningBehavior': 3, 'Definition': 37, 'FunctionType()': 2, 'LimitInputStream': 1, 'NativeCallFunctionCall': 2, 'ExtractionInfo': 5, 'SourceFile()': 4, 'CollapseProperties': 2, 'CharMatcher': 3, 'SourceExcerpt': 1, 'ImmutableMap.Builder': 1, 'Iterator': 525, 'PrototypeObjectType': 18, 'Runnable': 1, 'ObjectInputStream': 3, 'JsMessage.PlaceholderReference': 2, 'PropertySubGraph': 1, 'FilenameFilter': 1, 'CodingConvention': 47, 'FunctionParamBuilder': 10, 'ArrayList()': 1, 'DiagnosticGroup': 13, 'TweakFunctionCall()': 1, 'BiMap': 1, 'ObjToIntMap.Iterator': 1, 'GlobalNamespace()': 1, 'GraphvizNode': 5, 'LinkedUndirectedGraphNode()': 1, 'ContextualRenamer': 2, 'VariableAssignAction': 3, 'FunctionlessLocalScope': 2, 'AbstractMessageFormatter()': 3, 'UnaryExpression': 1, 'FunctionNode': 13, 'CustomPassExecutionTime': 2, 'RefNode': 1, 'SourceExcerptProvider': 6, 'Assign': 5, 'ScriptNode': 1, 'AnalyzePrototypeProperties': 4, 'ReachingUsesJoinOp': 1, 'State.propertyMap': 1, 'AssignmentDefinition': 3, 'Node.parent': 1, 'AliasSet.names': 1, 'ImmutableList.Builder': 5, 'RecordTypeBuilder': 5, 'DecompositionType': 4, 'ParserException': 2, 'Builder()': 1, 'TypedCodeGenerator': 1, 'com.google.javascript.jscomp.mozilla.rhino.ScriptRuntime': 1, 'AssertionFunctionSpec': 6, 'Scope': 151, 'ConcreteType': 52, 'Callable.call()': 6, 'AbstractScopeBuilder()': 2, 'ConcurrentMap': 1, 'GraphColoring()': 1, 'MatchResult': 3, 'RestrictByTypeOfResultVisitor': 2, 'ControlFlowGraph()': 1, 'WhitespaceOption': 1, 'ControlFlowAnalysis': 12, 'Replacement': 3, 'ExtractionInstance': 4, 'NullType': 2, 'ChainableReverseAbstractInterpreter()': 2, 'VariableVisibilityAnalysis': 2, 'Flushable': 3, 'MappedCodePrinter()': 2, 'JSModuleGraph()': 1, 'SimpleSubGraph': 2, 'OnDisk()': 1, 'VariableInitializer': 1, 'HashMap': 9, 'Preloaded': 2, 'NameRefInExternsCheck': 2, 'BuildException': 5, 'NameInformation': 8, 'Export': 1, 'BranchedForwardDataFlowAnalysis()': 1, 'MatchNotFunction': 5, 'TransformDispatcher': 1, 'GreedyGraphColoring()': 1, 'JsMessage.Style': 2, 'HashSet': 15, 'LinkedDirectedGraphNode()': 1, 'BuildGlobalNamespace()': 1, 'GraphColoring': 4, 'PropertyExport': 2, 'StrictModeCheck()': 1, 'Reader': 23, 'Sytem': 2, 'CompilerPass': 47, 'ProvidedName': 13, 'PureFunctionIdentifier': 4, 'AntErrorManager': 2, 'DataOutput': 2, 'Writer': 7, 'AutoCloseable': 7, 'NamedType': 14, 'Map.Entry': 16, 'CssRenamingMap.get()': 1, 'JsMessageVisitor()': 2, 'TagType': 52, 'CheckGlobalNames': 2, 'MaybeReachingVariableUse': 3, 'RemovableAssignment': 3, 'EffectLocation': 13, 'UnionType': 39, 'GlobalScopeBuilder': 3, 'Node.next': 1, 'CodeConsumer': 3, 'WhileLoop': 1, 'GraphNode': 50, 'TightenTypes': 4, 'StaticSlot': 54, 'DiGraphEdge': 21, 'A': 7, 'EvaluatorException()': 1, 'ReturnConstantReducer': 1, 'ArrowType()': 1, 'AssignmentProperty': 3, 'DiagnosticGroups': 4, 'OptimizeParameters': 1, 'LiveVariableLattice.liveSet': 1, 'AbstractShallowCallback': 1, 'Style': 4, 'CoalesceVariableNames': 1, 'NameGenerator': 10, 'ObjToIntMap()': 1, 'UnmodifiableIterator': 1, 'L': 13, 'Node.SideEffectFlags': 1, 'GenerateExports': 2, 'GenerateNodeContext': 5, 'CaseFormat': 1, 'CssRenamingMap': 4, 'TriState': 1, 'DefaultPassConfig.processDefines': 1, 'FunctionBuilder': 23, 'Kind': 4, 'Callable': 7, 'JSType()': 5, 'ReverseAbstractInterpreter': 8, 'InlineSimpleMethods': 1, 'JSType': 484, 'DefinitionSite': 16, 'InlineTrivialAccessors': 1, 'PrepareAnnotations': 2, 'LinkedDirectedGraphNode': 16, 'AnnotationState': 2, 'JsonMLError': 3, 'CompilerEnvirons': 18, 'K': 1, 'ReferenceCheckingBehavior': 1, 'IntermediateState': 2, 'Instrumentation': 1, 'CheckRequiresForConstructorsCallback': 2, 'FunctionDefinition': 1, 'CallSiteType': 3, 'OutputStream': 1, 'JsMessageDefinition': 5, 'FunctionInformation': 16, 'GraphvizEdge': 2, 'TemplateType': 4, 'DiGraphNode': 60, 'Behavior': 4, 'AliasCandidate': 2, 'JsDocTokenStream': 15, 'NodeMatcher.shouldTraverse()': 1, 'IdentifyConstants': 1, 'CompactCodePrinter': 5, 'NewRhinoErrorReporter': 1, 'Generator': 1, 'InstanceOfCheckNode': 1, 'RhinoErrorReporter()': 2, 'NodeTraversal': 214, 'SemanticReverseAbstractInterpreter': 1, 'RestrictByFalseInstanceOfResultVisitor': 3, 'DefineInfo': 7, 'JSModuleGraph.ModuleDependenceException': 1, 'JSError': 43, 'InputStream': 5, 'ElementGet': 1, 'Mode': 2, 'LiveVariableLattice': 7, 'PeepholeOptimizationsPass': 2, 'MalformedException': 13, 'PassConfig': 19, 'ReplaceCssNames': 1, 'LinkedFlowSlot': 5, 'FindAliasableNodes': 1, 'PrintStream': 12, 'GraphEdge': 13, 'MarkNoSideEffectCalls': 1, 'Result[]': 1, 'AbstractSet.iterator()': 1, 'ExpressionDecomposer': 4, 'JSTypeNative': 29, 'ArrayLiteral': 1, 'Type': 20, 'JSModule': 89, 'LineEntry': 4, 'FunctionCall': 3, 'CircularDependencyException': 3, 'Annotatable': 33, 'ErrorWithLevel': 3, 'ThisTypeValidator': 1, 'StringInfo': 8, 'PropertyChangeEvent': 1, 'BooleanOutcomePair': 11, 'SourcePosition': 9, 'ByteArrayOutputStream': 2, 'CreateScope': 3, 'Parameter': 6, 'SourceFile': 36, 'NameUse': 1, 'Reducer': 3, 'InlineVariables': 1, 'Entry': 30, 'CrossModuleMethodMotion': 2, 'RuntimeException': 49, 'Callback': 16, 'Name': 77, 'Iterator.next()': 1, 'IllegalArgumentException()': 1, 'LoggerErrorManager()': 1, 'MessageBundle': 2, 'Node': 1743, 'NamedFunction': 2, 'CompilerOptions': 54, 'NameAnalyzer': 4, 'NameReferenceGraphConstruction': 5, 'TryStatement': 1, 'CRC32': 1, 'MappedFunctionNamer': 2, 'GlobalNamespace': 11, 'LinkedUndirectedGraphEdge': 7, 'NumberNode': 4, 'GetAliasableNames': 1, 'NodeMismatch': 6, 'GetGlobals': 1, 'Ref': 32, 'FileOutputStream': 3, 'CodeBuilder': 8, 'TweakProcessing': 5, 'DiGraphNodeComparator': 1, 'MatchNodeType': 4, 'JoinOp': 1, 'MakeDeclaredNamesUnique': 5, 'ImmutableSet': 11, 'FindCandidatesReferences': 2, 'ExtendedTypeValidator': 1, 'LightweightMessageFormatter()': 1, 'ConcreteUniqueType.id': 1, 'AbstractCommandLineRunner()': 3, 'LiveVariablesAnalysis': 3, 'NoObjectType': 5, 'CallbackWrapper': 5, 'OptimizeArgumentsArray': 4, 'JsName': 15, 'MustDef()': 1, 'ValueType': 1, 'FunctionArgumentDefinition': 1, 'TypeMismatch': 3, 'Node.element': 1, 'Locale': 4, 'GraphReachability': 6, 'BitSet()': 2, 'INPUT': 6, 'StringType': 2, 'NoObjectType()': 1, 'Property.objLitCount': 1, 'FlowScopeJoinOp': 1, 'DegenerateLocationAbstraction': 4, 'FlowScope': 45, 'ObjArray': 31, 'EdgeTuple': 2, 'FoldArrayAction': 2, 'CopySideEffectSubexpressions': 2, 'LineMapper': 8, 'DefinitionProvider': 7, 'Compiler': 86, 'DegenerateEffectLocation': 3, 'FunctionVar': 1, 'FlatFlowScopeCache': 11, 'ProcessExternals': 1, 'Location': 1, 'byte': 9, 'ReachingUses.mayUseMap': 2, 'ChangeListener': 1, 'Method': 1, 'CodeChangeHandler': 1, 'Object[]': 7, 'FunctionExpressionDefinition': 2, 'Event': 6, 'DefinitionGatheringCallback': 2, 'MessageFormat': 5, 'LocalScopeBuilder': 1, 'Parameters': 1, 'GlobalGatherer': 1, 'ImmutableSet.Builder': 1, 'SideEffectPropagationCallback': 1, 'ClosureReverseAbstractInterpreter': 2, 'Reference.mode': 1, 'Collapse': 2, 'TypeRestriction': 2, 'ObjectType': 203, 'AnonymousFunctionNamingPolicy': 4, 'DefaultRedeclarationHandler': 1, 'JSError()': 1, 'ShowByPathWarningsGuard': 1, 'AbstractSet.size()': 1, 'InstrumentFunctions': 1, 'PrintWriter': 2, 'VariableVisibility': 3, 'Token': 1, 'Report': 8, 'Matcher': 9, 'Decompiler': 6, 'MissingProvideException': 2, 'FunctionAnalyzer': 2, 'Scope.Var': 13, 'RenamePrototypes': 2, 'TypePosition': 1, 'CompiledSizeEstimator': 6, 'NameAnonymousFunctionsMapped': 2, 'ReachablePredicate': 1, 'TypedScopeCreator()': 1, 'ErrorFunctionType': 2, 'ParserRunner': 2, 'Error': 5, 'IdentifyLocals': 1, 'MethodCompilerPass()': 1, 'Config': 12, 'CheckUnreachableCode': 1, 'Color': 4, 'FunctionListExtractor': 2, 'FunctionTypeBuilder': 16, 'ConcreteUnionType': 9, 'Random': 1, 'Property': 51, 'State': 9, 'JSSourceFile': 25, 'DefinitionsRemover.Definition': 1, 'Function': 35, 'SourceMap2': 1, 'SideEffectsAnalysis()': 1, 'BuildGlobalNamespace': 4, 'PrepareAst()': 1, 'AbstractCompiler': 168, 'Action': 1, 'RawMotionEnvironment': 1, 'FindAssertionCalls': 1, 'PassConfig()': 2, 'CodedOutputStream': 1, 'FindExportableNodes': 3, 'NodeAccumulator': 1, 'IfStatement': 1, 'SwitchCase': 1, 'MappingWriter': 4, 'JsonMLAst': 6, 'ReplaceStrings': 1, 'TagAttr': 21, 'ScopeCreator': 9, 'ProcessExternedProperties': 2, 'OptimizeArgumentsArray()': 1, 'PropagateReferences': 2, 'ChainableReverseAbstractInterpreter': 6, 'MessageLocation': 1, 'CompilerInput()': 3, 'ParallelCompilerPass': 2, 'Inline': 2, 'LazilyInitializedInfo': 28, 'AnnotatedLinkedUndirectedGraphNode': 2, 'WalkHelper': 1, 'RefInfo': 2, 'OptionDef': 1, 'PrintStreamErrorManager': 3, 'OldRhinoNullReporter': 1, 'NamedFunctionDefinition': 2, 'SiblingNodeIterable': 5, 'BooleanType': 2, 'FileReader': 3, 'ZipEntry': 1, 'AbstractCommandLineRunner.FlagUsageException': 1, 'FindRenameableProperties': 1, 'JSDocInfo': 162, 'PassFactory': 24, 'TypeInference()': 1, 'AbstractPostOrderCallback.visit()': 2, 'Throwable[]': 1, 'Deque': 17, 'Visitor': 22, 'AtomicTracerStatMap': 6, 'String[]': 12, 'Mapping': 20, 'PropertyGraph': 1, 'TweakFunction': 9, 'Set': 202, 'Stat': 7, 'ChainCalls': 1, 'SimpleRegion': 4, 'ExploitAssigns': 1, 'AbstractMotionEnvironment': 1, 'AbstractNodeTypePruningCallback': 1, 'Supplier': 13, 'Double': 10, 'Comparator.compare()': 5, 'JsFileLineParser': 2, 'B': 3, 'AbstractNodeTypePruningCallback()': 1, 'UintMap()': 1, 'VariableRenamingPolicy': 2, 'UnreachableCodeElimination': 1, 'AdjacencyGraph': 11, 'Result()': 1, 'SortedMap': 3, 'ContextualRenameInverter': 3, 'Predicate.apply()': 10, 'RecentChange': 3, 'NodeFilter': 1, 'C': 1, 'SimpleFunctionAliasAnalysis': 2, 'JavaScriptException': 1, 'UNKNOWN': 2, 'RefType': 1, 'RemoveUnusedNames': 1, 'ConcreteUnionType.alternatives': 1, 'BigInteger': 4, 'GatherCallSites': 1, 'AbstractPeepholeOptimization': 3, 'PropertyGatherer': 1, 'FormattingOption': 1, 'LiveVariableJoinOp': 1, 'JsFileParser': 3, 'ScriptRuntime': 3, 'ReferencedAfterSideEffect': 5, 'JsonMLException': 4, 'ClosureCodingConvention': 2, 'ExtractMessagesVisitor': 3, 'BufferedReader': 1, 'CollectTweaksResult': 1, 'Project': 2, 'LoopInternal': 3, 'PropertyAssignAction': 2, 'Property.prototypeCount': 1, 'MustDef': 8, 'EnumElementType': 21, 'MessageLite': 1, 'Callsite': 12, 'JSTypeRegistry': 138, 'SideEffectFlags': 6, 'Exception': 6, 'StackOverflowError': 1, 'AssertionError': 4, 'ClassLoader': 1, 'CheckMissingReturn': 1, 'NodeTraversal.AbstractShallowCallback.visit()': 1, 'Number': 14, 'NumberFormatException': 4, 'Exception()': 6, 'AbstractMessageFormatter': 1, 'ShowByPathWarningsGuard()': 3, 'CheckSideEffects': 1, 'AnnotatedLinkedUndirectedGraphEdge': 2, 'PrettyCodePrinter': 8, 'CollectProperties': 2, 'GatherRawExports': 1, 'CheckGlobalThis': 3, 'RunTimeStats': 2, 'AnnotatedLinkedDirectedGraphEdge': 2, 'VarCheck()': 1, 'ConcreteUniqueType': 4, 'ThreadTrace': 9, 'InverseDepthComparator': 1, 'JsonML': 97, 'ErrorFormat': 4, 'Thread[]': 1, 'ReferenceCollectingCallback': 5, 'LabelNamespace.renameMap': 2, 'AbstractCfgNodeTraversalCallback': 4, 'TernaryValue': 31, 'UseSiteGatheringCallback': 1, 'SetterReducer': 1, 'FindDeclarationsAndSetters': 1, 'Closeable': 1, 'ScriptOrFnNode': 28, 'SimpleDependencyInfo': 4, 'FunctionExpressionNamer': 1, 'Mapping.node': 1, 'SortedDependencies': 5, 'TypeCheck()': 2, 'SanityCheck': 2, 'GlobalFunction': 4, 'JsDocTokenStream()': 2, 'ObjectLiteral': 1, 'UndiGraphEdge': 6, 'CharSequence': 115, 'CheckLevel': 45, 'DefaultCodingConvention': 1, 'SimpleSlot': 4, 'Runnable.run()': 1, 'DettachPoint': 3, 'ImmutableMap': 5, 'UndiGraphNode': 15, 'InfixExpression': 2, 'FileList': 2, 'ProcessExterns': 2, 'MatchNameNode': 3, 'JSONObject': 1, 'Tracer()': 1, 'Ref.Type': 1, 'DiagnosticType': 82, 'StringBuffer': 10, 'JSType[]': 1, 'AbstractScopeBuilder': 10, 'LinkedFlowScope()': 2, 'IdGenerator': 7, 'ListMultimap': 1, 'SecureCompiler': 4, 'ThrowAliasSpecification': 2, 'UndiGraph': 3, 'GlobalTypeResolver': 1, 'UnresolvedTypeExpression': 1, 'ParameterizedType': 3, 'UnionTypeBuilder': 18, 'ErrorManager': 6, 'StrictWarningsGuard': 1, 'InstanceObjectType()': 1, 'byte[]': 4, 'UseSite': 17, 'IdentityReducer': 1, 'T': 37, 'Pattern': 4, 'NodeUtil': 1, 'MappingVisitor': 2, 'EmptyScope': 1, 'NoSuchElementException': 2, 'Multiset': 2, 'RemoveListener': 1, 'LocationAbstractionMode': 2, 'Thread': 4, 'Visibility': 6} |
numberOfViolations : |
4736 |
trainingLoadTime : |
14251 |
trainingTime : |
2082 |
updated_at : |
2018-01-15 14:27:55 |
|
2 |
- missing/exception handling
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-1023 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-13 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-12 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-13 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-17 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-18 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
tikanga-2 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
tikanga-6 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
itext |
5091 |
success |
2365 |
144.0 s |
×
Run Details |
|
Project: |
itext |
Version: |
5091 |
Result: |
success |
# of Findings: |
2365 |
Runtime: |
143.95 s |
created_at : |
2018-01-15 14:27:56 |
dataset : |
icse16ex2 |
detectionLoadTime : |
13526 |
detectionTime : |
99585 |
maxPatternSupport : |
36 |
md5 : |
622c004b6febeeae629bea54507d413d |
numberOfExploredAlternatives : |
15788 |
numberOfPatterns : |
108 |
numberOfTargets : |
6572 |
numberOfTrainingExamples : |
6572 |
numberOfUsages : |
{'': 21, 'EndText': 1, 'CubicCurve2D': 3, 'FieldInformation': 6, 'PdfBorderDictionary()': 1, 'int[][]': 6, 'CharVector': 10, 'ImgRaw': 8, 'CMapCidUni': 1, 'GradientPaint': 1, 'Hyphenation': 10, 'TextMarginFinder': 7, 'SegmentList': 1, 'SysoLogger': 3, 'OCSPReqGenerator': 1, 'X509Extensions': 1, 'FieldRational()': 1, 'Font.SubrsOffsets': 1, 'PdfFunction[]': 1, 'DocumentBuilderFactory': 3, 'KeyImpl': 1, 'ArrayList()': 1, 'CodingErrorAction': 2, 'EndMarkedContent': 1, 'Type3Font': 2, 'FontsResourceAnchor': 1, 'Version': 12, 'EncryptedContentInfo': 1, 'FontRenderContext': 2, 'CFFFont': 9, 'UnsupportedEncodingException': 11, 'IllegalPdfSyntaxException': 22, 'Phrase': 37, 'ErrorCorrectionLevel': 14, 'DERNull': 1, 'Composite': 3, 'UInt16Item': 6, 'ExtendedColor': 3, 'PdfNumber()': 1, 'StampContent': 13, 'KeyTransRecipientInfo': 2, 'Anchor': 6, 'ByteMatrix': 28, 'PdfAcroForm': 10, 'boolean[]': 8, 'SubjectPublicKeyInfo': 1, 'DmParams': 2, 'IllegalPathStateException': 1, 'MapMode': 1, 'IndexBaseItem': 7, 'Image()': 18, 'PdfVersionImp': 6, 'PageSize': 1, 'MetaBrush': 8, 'ASN1EncodableVector': 4, 'TIFFFaxDecoder': 12, 'FontHeader': 6, 'AttributedCharacterIterator': 2, 'Destination': 4, 'TernaryTree': 12, 'CidLocation': 1, 'PdfStructureElement': 5, 'GraphicsState': 23, 'TextMoveStartNextLine': 1, 'BufferedWriter': 2, 'FilterHandlers.FilterHandler': 1, 'CJKFont': 11, 'WriterException': 20, 'TagAttributes.tag': 1, 'Point2D[]': 3, 'DocListener': 14, 'PrinterJob': 7, 'CBCBlockCipher': 2, 'PdfImageObject()': 2, 'ShowText': 1, 'PdfEncryption': 36, 'FileChannel.MapMode': 1, 'float[][]': 2, 'NodeList': 8, 'PdfTransparencyGroup': 2, 'Dictionary': 4, 'Hyphenator': 5, 'MetaDo': 3, 'ASN1ObjectIdentifier': 8, 'BitFile': 3, 'ImgWMF()': 1, 'PPKLite': 1, 'SetTextCharacterSpacing': 1, 'InflaterInputStream': 2, 'Font()': 7, 'Rectangle': 196, 'FieldAscii': 1, 'Jpeg2000()': 1, 'Graphics2D': 7, 'Paint': 9, 'CertificateStatus': 1, 'GifImage()': 1, 'int[]': 173, 'CharacterIterator': 1, 'MessageImprint': 2, 'PdfAppearance': 32, 'byte[][]': 7, 'PdfA1Schema': 1, 'ImgWMF': 5, 'IIOImage': 1, 'Item': 41, 'SplitCharacter': 2, 'Dimension()': 2, 'FieldRational': 1, 'OCSPReq': 2, 'FdfWriter': 5, 'PdfPatternPainter()': 1, 'PdfCopyForms': 1, 'Object': 503, 'HashMap()': 1, 'OutputStreamEncryption()': 1, 'PdfTransition()': 2, 'Stack': 9, 'Font.fdprivateOffsets': 6, 'Iterable': 110, 'PathIterator': 12, 'PRIndirectReference()': 1, 'Text': 3, 'IndexOffsetItem': 7, 'Chunk': 95, 'X509Principal': 1, 'NeverNewLineHandler': 1, 'E': 1, 'OffsetItem': 9, 'Header': 1, 'X509CertParser': 2, 'HashMap': 175, 'OCSPObjectIdentifiers': 4, 'IndexOutOfBoundsException': 9, 'CidLocationFromByte': 3, 'Logger': 3, 'ObjectOutput': 1, 'Charset': 3, 'Arrays': 2, 'Chapter()': 3, 'Attribute': 1, 'Font.PrivateSubrsOffset': 3, 'PdfOutline()': 8, 'PdfCatalog': 2, 'Buffer': 5, 'StringBuilder': 18, 'KeyStore': 5, 'DistributionPointName': 1, 'PdfOCProperties': 4, 'HashSet': 19, 'GZIPOutputStream': 2, 'DmParams.height': 1, 'PdfAnnotationsImp': 2, 'Area': 7, 'PdfConcatenate()': 1, 'GraphicsState.ctm': 1, 'SingleResp[]': 2, 'JBIG2SegmentReader': 4, 'PdfPTableEventForwarder': 1, 'PdfResources': 1, 'Reader': 4, 'PdfFormXObject': 2, 'DottedLineSeparator': 2, 'FlatteningPathIterator()': 1, 'PopGraphicsState': 2, 'XmpReader': 1, 'LangAlt': 1, 'GraphicsState.fontSize': 1, 'ImageWriteParam': 1, 'BarcodePDF417': 27, 'XmlDomWriter': 2, 'Font.fdprivateLengths': 5, 'Writer': 5, 'ImgCCITT': 1, 'AutoCloseable': 51, 'SetTextLeading': 1, 'LZWCompressor': 4, 'BaseField()': 3, 'KeyParameter': 2, 'ElementListener': 14, 'GeneralPath()': 3, 'Map.Entry': 34, 'BarcodeInter25': 4, 'HTMLWorker()': 1, 'ImageRenderInfo': 8, 'CRL': 2, 'DecimalFormatSymbols': 1, 'LineSeparator': 8, 'char[].length': 1, 'FontSelector': 1, 'Phrase()': 22, 'Constructor': 1, 'MessageDigest': 10, 'PdfSignature()': 1, 'Paragraph()': 9, 'PdfChunk[]': 1, 'MetaPen': 8, 'Certificate[]': 5, 'Jpeg()': 1, 'CubicCurve': 8, 'PdfPSXObject': 2, 'XfdfReader()': 1, 'TimeStampRequest': 1, 'null': 400, 'RenderListener': 1, 'FieldShort': 1, 'InvalidPdfException': 11, 'PdfFormField': 68, 'BitMatrix()': 1, 'CloneNotSupportedException': 10, 'ContentInfo': 2, 'FakeComponent': 1, 'AcroFields': 36, 'PdfContentByte[]': 6, 'ImageObserver': 4, 'XmpSchema()': 5, 'ByteBuffer()': 1, 'ModifyCurrentTransformationMatrix': 1, 'Cipher': 2, 'PdfContentByte()': 6, 'PdfPTableEvent': 6, 'ImageProcessor': 1, 'ASN1TaggedObjectParser': 1, 'Font.FDSelectLength': 1, 'MarkedObject()': 1, 'PRIndirectReference': 61, 'Barcode39': 4, 'ColumnDef': 6, 'DublinCoreSchema': 2, 'PdfPrinterGraphics2D': 7, 'PdfFunction': 8, 'PdfPRow': 31, 'DictNumberItem': 6, 'Component': 9, 'TSTInfo': 2, 'JBIG2SegmentReader.JBIG2Page': 1, 'ColumnText.compositeElements': 1, 'LineSegment': 12, 'HTMLWorker': 17, 'InputStream()': 1, 'Shape': 18, 'DERObjectIdentifier': 9, 'Vector': 21, 'Level': 1, 'ObjectInput': 1, 'BeginMarkedContent': 1, 'BeginText': 1, 'PdfBorderDictionary': 6, 'AcroFields.Item': 9, 'BitVector': 25, 'PdfEncodings': 5, 'X509NameTokenizer': 3, 'ByteBuffer': 147, 'DEROutputStream': 3, 'PdfDashPattern': 7, 'Inflater': 2, 'PdfCrossReference': 12, 'ValidationData': 2, 'GrayColor.gray': 1, 'PdfSigGenericPKCS': 5, 'BaseFont': 114, 'FieldPosition': 1, 'PRAcroForm': 2, 'Key()': 2, 'Meta()': 1, 'BadPdfFormatException': 3, 'CMapUniCid': 1, 'TextExtractionStrategy': 3, 'JBIG2Segment': 6, 'Base64.OutputStream': 1, 'CellWrapper': 5, 'DERSet': 5, 'Dimension2D': 2, 'CertificateOption': 1, 'CCITTG4Encoder': 10, 'DataInput': 18, 'FieldBase': 6, 'CharacterSetECI': 7, 'BufferUnderflowException': 1, 'PdfObject()': 26, 'DocumentException': 91, 'InternalError': 10, 'ListIterator': 3, 'DataFormatException': 1, 'ValidationData.ocsps': 1, 'Collection': 137, 'IntHashtable.Entry': 1, 'PdfDeveloperExtension': 5, 'MappedByteBuffer': 5, 'MessageLocalization': 2, 'FieldPositioningEvents': 2, 'FilteredRenderListener': 2, 'PdfDestination': 18, 'AttributeTable': 1, 'OutputStreamCounter': 16, 'CMYKColor': 13, 'LoggerFactory': 4, 'GF256Poly[]': 1, 'ColumnText': 52, 'PdfChunk': 45, 'Annotation': 15, 'TagAttributes': 4, 'RuntimeException()': 3, 'PdfAction()': 3, 'PdfSignature': 1, 'KeyValue': 1, 'Document': 47, 'IOException': 92, 'Hashtable': 2, 'Enumeration': 10, 'HyphenationEvent': 8, 'PolylineShapeIterator': 6, 'Canvas': 9, 'AlgorithmParameters': 1, 'ASN1Sequence': 10, 'StreamFont': 7, 'ColorModel': 3, 'PdfSchema': 2, 'HorizontalHeader': 2, 'Attr[]': 2, 'File[]': 1, 'SetTextFont': 1, 'IOException()': 3, 'PdfSpotColor': 7, 'List()': 13, 'GeneralPath': 20, 'NamedNodeMap': 7, 'Encoder': 1, 'JBIG2Page.pageBitmapHeight': 1, 'XfdfReader': 3, 'ASN1String': 2, 'Kid': 2, 'FontStyle': 1, 'Xml2SomTemplate': 4, 'ClassCastException': 11, 'DocumentBuilder': 3, 'StringTokenizer': 18, 'PdfDictionary()': 28, 'Matrix': 22, 'Font.privateLength': 3, 'SetTextRenderMode': 1, 'Paragraph': 49, 'MalformedURLException': 1, 'SpotColor': 12, 'ParametersWithIV': 1, 'GraphicsConfiguration': 1, 'PdfReaderInstance': 19, 'DocWriter': 4, 'InstHit': 3, 'AESFastEngine': 2, 'GlyphVector': 1, 'PdfTransition': 5, 'BarcodePostnet': 3, 'PdfDocument': 57, 'PdfTextArray': 6, 'InputStream': 69, 'RangeStream': 2, 'MetaFont': 9, 'NumberFormatException': 4, 'PPKLite()': 1, 'DateFormat': 2, 'Mode': 16, 'CFFFont()': 1, 'PdfRectangle': 37, 'ImgTemplate': 1, 'PdfReader': 128, 'FontMapper': 8, 'DERString': 1, 'PdfPKCS7()': 1, 'PdfObject[]': 4, 'FontMetrics': 2, 'PdfPublicKeySecurityHandler': 1, 'Version.ECBlocks': 1, 'PdfAnnotation': 64, 'Element': 66, 'PRStream': 31, 'RecipientInformation': 1, 'RomanDigit': 1, 'BufferedOutputStream': 4, 'PdfRectangle()': 5, 'TIFFField': 30, 'HTMLTagProcessor': 2, 'Rectangle()': 16, 'XmlToTxt': 1, 'CMapAwareDocumentFont': 15, 'Jpeg': 5, 'PdfContentByte': 204, 'RomanList': 1, 'PdfLayer': 23, 'ASN1OutputStream': 2, 'FormXObjectDoHandler': 1, 'TreeSet': 1, 'DERIA5String': 1, 'Segment.type': 1, 'X509Certificate[]': 1, 'TIFFFaxDecompressor': 12, 'ElementFactory': 1, 'BitArray': 6, 'EOFException': 16, 'ByteArrayInputStream': 34, 'PdfPattern': 3, 'AffineTransform': 77, 'SimpleNamedDestination': 5, 'ByteStore': 2, 'BaseColor()': 6, 'HtmlUtilities': 1, 'PdfStamper': 18, 'FileInputStream': 11, 'HTMLNewLineHandler': 1, 'BarcodeCodabar': 4, 'ImageOutputStream': 1, 'PdfContentParser': 7, 'RenderFilter': 4, 'XfaForm': 16, 'Point2D': 27, 'BitMatrix': 11, 'ByteVector()': 1, 'TextMoveStartNextLineWithLeading': 1, 'PdfIndirectObject': 57, 'FlatteningPathIterator': 11, 'ResourceBundle': 2, 'PdfIndirectReference': 203, 'ByteArrayOutputStream': 47, 'CertSelector': 1, 'PolylineShape': 9, 'ArrayIndexOutOfBoundsException': 3, 'PdfAction': 53, 'GraphicState': 22, 'SimplePatternParser': 3, 'RenderingMode': 2, 'QRCode': 16, 'SimpleXMLParser': 5, 'Attr': 2, 'Graphics': 7, 'WritableRaster': 1, 'MarkerItem': 6, 'DecimalFormat': 1, 'PdfOutline': 30, 'Entry': 76, 'RuntimeException': 77, 'MemoryImageSource': 9, 'AESCipher': 2, 'IndexMarkerItem': 5, 'ImageWriter': 1, 'SequenceList': 4, 'Node': 23, 'Boolean': 15, 'DERSequence': 4, 'Iterator': 224, 'PdfBody': 8, 'GraphicsState.leading': 1, 'PdfXConformanceImp': 6, 'CRLDistPoint': 1, 'Dimension': 8, 'Calendar': 13, 'ValidationData.crls': 1, 'LocationTextExtractionStrategy': 2, 'PdfDate': 6, 'CharVector()': 1, 'SAXException': 2, 'NumberFormat': 1, 'short[]': 5, 'PdfLine': 25, 'Iterator()': 1, 'BarcodeDatamatrix': 10, 'ColorDetails': 14, 'PdfContentStreamProcessor': 23, 'PdfImage': 6, 'Font.privateOffset': 4, 'FileOutputStream': 6, 'PdfIndirectReference()': 1, 'PdfPTable': 65, 'PdfCopy': 17, 'PdfName': 482, 'GeneralNames': 1, 'MultiColumnText': 9, 'EnvelopedData': 1, 'PdfBoolean': 32, 'LongHashtable()': 2, 'MultiColumnText()': 1, 'PdfGraphics2D()': 7, 'PdfCopyFieldsImp': 9, 'Date': 5, 'GifImage': 9, 'SignatureException': 1, 'PdfCopyFormsImp': 2, 'X509Name': 6, 'MarkedObject.element': 1, 'HyphenationTree': 9, 'Map': 133, 'NullPointerException': 16, 'BeginMarkedContentDictionary': 1, 'PdfTrailer': 2, 'Font.fdarrayOffset': 2, 'RectangleReadOnly': 1, 'Indentable': 18, 'URLConnection': 3, 'PngImage': 8, 'Type3Glyph': 4, 'ParserConfigurationException': 2, 'Locale': 1, 'UInt24Item': 2, 'PdfException()': 2, 'ZapfDingbatsNumberList': 2, 'LargeElement': 4, 'BouncyCastleProvider': 1, 'TrueTypeFontSubSet': 10, 'TSAClient': 2, 'GifFrame': 3, 'AbstractCMap': 5, 'PdfPCell[]': 10, 'OCSPResp': 1, 'PdfTemplate()': 6, 'XmpWriter': 3, 'ContentOperator': 3, 'Float': 94, 'PdfPageEvent': 18, 'InlineImageParseException': 2, 'PdfOCG': 20, 'PdfDate()': 1, 'PdfLayerMembership': 4, 'double[]': 49, 'PdfGState': 3, 'JPEGImageWriteParam': 1, 'RomanDigit.digit': 1, 'RefKey': 8, 'TexturePaint': 1, 'WindowsMetrics': 6, 'CertificateInclusion': 1, 'RevisionStream': 2, 'JBIG2Page.pageBitmapWidth': 1, 'PdfCopyFieldsImp()': 2, 'FilterHandler': 1, 'IntHashtableIterator': 3, 'ResourceDictionary': 5, 'OutputStream()': 1, 'InputSource': 2, 'SubrMarkerItem': 3, 'ImageXObjectDoHandler': 1, 'TimeStampRequestGenerator': 1, 'LinkProcessor': 1, 'PdfPattern()': 1, 'PdfXConformanceException': 3, 'DERTaggedObject': 4, 'PdfPCell[].length': 1, 'PdfPublicKeyRecipient': 5, 'FileChannel': 4, 'PdfSmartCopy': 1, 'RandomAccessFile': 9, 'FontFactory': 1, 'Stack2': 5, 'EmptyStackException': 2, 'DefaultFontMapper': 3, 'PdfReader()': 8, 'SecretKey': 2, 'SignatureEvent': 2, 'SimpleXMLDocHandler': 1, 'PdfRendition': 1, 'byte': 314, 'PdfName()': 1, 'Object[]': 38, 'Long': 2, 'CertificateID': 2, 'AbstractStringBuilder': 74, 'DEROctetString': 10, 'FilteredTextRenderListener': 1, 'GreekList': 1, 'BidiLine': 17, 'Enum': 6, 'TimeStampTokenInfo': 4, 'Xml2SomDatasets': 4, 'ObjectOutputStream': 2, 'GregorianCalendar': 6, 'Throwable': 25, 'PdfEncryption()': 1, 'Spaceable': 8, 'TextField': 21, 'ASN1TaggedObject': 2, 'RecipientInformationStore': 1, 'PdfContents': 2, 'VerticalPositionMark': 5, 'PdfException': 4, 'PdfLiteral': 24, 'Section': 45, 'LongHashtableIterator': 3, 'Font.charsetOffset': 1, 'SetTextHorizontalScaling': 1, 'MoveNextLineAndShowTextWithSpacing': 1, 'BlockCipher': 2, 'PdfFileSpecification': 13, 'PdfShading': 22, 'DEREncodable': 9, 'BaseColor': 106, 'OffsetItem[]': 3, 'QuadCurve': 7, 'DmParams.width': 1, 'CharSequence': 155, 'Font.isCID': 1, 'PdfColor()': 1, 'SeekableByteChannel': 2, 'PdfImportedLink': 6, 'DataInputStream': 3, 'Document()': 3, 'CMapToUnicode': 6, 'ASN1Set': 2, 'PrintWriter': 8, 'DictOffsetItem': 6, 'PublicKey': 3, 'PdfCopy()': 1, 'AlphaComposite': 2, 'DocWriter()': 1, 'JBIG2Page': 6, 'FilterInputStream()': 1, 'RangeItem': 12, 'PdfString': 173, 'RecipientIdentifier': 1, 'DocumentException()': 6, 'PdfPageLabels': 3, 'ImageProvider': 1, 'Font.name': 7, 'IllegalStateException': 17, 'java.nio.ByteBuffer': 1, 'PdfGraphics2D': 40, 'PdfColor': 2, 'PdfViewerPreferences': 1, 'TIFFLZWDecoder': 6, 'DocumentFont()': 2, 'Error': 2, 'HyphenationAuto': 2, 'InlineImageInfo': 5, 'PdfName[]': 2, 'Color': 17, 'Integer[]': 2, 'Number': 80, 'PushGraphicsState': 2, 'PdfShadingPattern': 13, 'PPKMS': 1, 'TimeStampResponse': 1, 'DERInteger': 3, 'SimpleXMLDocHandlerComment': 2, 'PdfStream': 32, 'TextMoveNextLine': 1, 'ImgJBIG2': 7, 'LZWDecoder': 5, 'PdfSignatureAppearance': 45, 'IllegalArgumentException()': 1, 'AttributedCharacterIterator.Attribute': 1, 'IgnoreOperatorContentOperator': 1, 'PdfStream()': 7, 'PixelGrabber': 2, 'CFFFontSubset': 21, 'ObjectInputStream': 2, 'BaseFontParameters': 4, 'Rectangle2D': 38, 'T': 3, 'OcspClient': 1, 'DrawInterface': 10, 'TextAttribute': 2, 'Thread': 1, 'Stroke': 5, 'PdfPCell': 55, 'FdfReader': 6, 'PatternColor': 5, 'QRCodeWriter': 1, 'CMapByteCid': 2, 'X509CRL': 1, 'IllegalArgumentException': 115, 'Font.fdselectOffset': 2, 'OutputStreamEncryption': 4, 'LongHashtable': 11, 'PdfPages': 4, 'MediaTracker': 1, 'BarcodeEAN': 4, 'PdfCollectionSchema': 1, 'RomanDigit.value': 1, 'PdfICCBased': 3, 'PdfArray()': 15, 'Barcode': 16, 'char': 348, 'TextSetTextMatrix': 1, 'StyleSheet': 2, 'DistributionPoint': 1, 'CMapSequence': 2, 'X509Certificate': 17, 'GrayColor()': 1, 'BasicOCSPResp': 5, 'PRTokeniser': 28, 'com.itextpdf.text.DocWriter': 2, 'BufferedInputStream': 4, 'PdfBorderArray()': 1, 'IssuerAndSerialNumber': 1, 'IndirectReferences': 7, 'PdfObject': 363, 'ByteArray': 8, 'GraphicsState.font': 1, 'DocumentType': 1, 'Object()': 4, 'RenderableImage': 1, 'ECB[]': 1, 'Graphics2D()': 1, 'GrayColor': 14, 'LZWStringTable': 3, 'HttpURLConnection': 2, 'PdfICCBased()': 1, 'BasicStroke': 4, 'PdfDictionary': 406, 'PushbuttonField': 15, 'PdfPage()': 1, 'DEREncodableVector': 4, 'PdfNull': 9, 'StringBuffer': 104, 'Indentation': 6, 'Integer': 80, 'SecureRandom': 1, 'Deque': 1, 'SimpleTimeZone': 1, 'Barcode128': 4, 'Key': 9, 'PRStream()': 2, 'String[]': 38, 'URI': 1, 'GZIPInputStream': 1, 'Do': 1, 'UnsupportedPdfException': 4, 'String': 1429, 'Entry[]': 4, 'Set': 95, 'PdfCollection': 3, 'Font.FDArrayOffsets': 2, 'ProcessGraphicsStateResource': 1, 'StringItem': 4, 'CharsetEncoder': 2, 'int[].length': 11, 'PdfStructureTreeRoot': 5, 'PdfCollectionField': 4, 'MarkedContentInfo': 3, 'PdfIndirectReference[]': 4, 'PrivilegedAction': 1, 'Double': 65, 'PdfWriter': 202, 'PdfBorderArray': 1, 'Wrt': 3, 'RenderedImage': 4, 'LtvVerification': 2, 'Placement': 7, 'BlockPair': 3, 'VeriSign': 1, 'PdfPCellEventForwarder': 1, 'PKCSObjectIdentifiers': 2, 'SetTextRise': 1, 'Font.charstringsOffsets': 1, 'AlgorithmIdentifier': 2, 'NoSuchAlgorithmException': 2, 'com.itextpdf.text.Image': 2, 'OutputStreamWriter': 6, 'GeneralName': 1, 'Type1Font': 10, 'FontFamily': 14, 'ASN1Encodable': 7, 'StandardDecryption': 3, 'NoSuchElementException': 16, 'XfaForm.Xml2SomDatasets': 1, 'TimeStampToken': 6, 'PdfIndirectObject()': 2, 'EncodeHintType': 2, 'Serializable': 1, 'ImageBytesType': 3, 'IndexBaseItem[]': 2, 'TSAClientBouncyCastle': 3, 'XmpWriter()': 3, 'Font.PrivateSubrsOffsetsArray': 2, 'PageResources': 37, 'PdfCopyFields': 1, 'Properties': 7, 'O': 1, 'NoninvertibleTransformException': 4, 'PdfPage': 6, 'Point': 11, 'HashCode': 11, 'PageStamp': 15, 'FontFactoryImp': 3, 'DmParams.dataSize': 1, 'Section()': 2, 'PdfTargetDictionary': 2, 'FontDetails': 16, 'BufferedImage': 8, 'ValidationData.certs': 1, 'PdfPageEventForwarder': 1, 'Certificate': 14, 'Xml2Som': 6, 'PdfNumber': 208, 'SetTextWordSpacing': 1, 'File': 22, 'MarkedSection': 21, 'XmpArray': 11, 'PKIFailureInfo': 1, 'DEREnumerated': 2, 'DocumentFont': 21, 'PdfViewerPreferencesImp': 8, 'NewByteArrayOutputStream': 1, 'SimpleBookmark': 3, 'FilterHandlers': 1, 'char[]': 72, 'TableWrapper': 3, 'ChapterAutoNumber': 1, 'TextRenderInfo': 14, 'TiffWriter': 1, 'SimpleTextExtractionStrategy': 1, 'XObjectDoHandler': 2, 'Font.FDSelect': 1, 'BufferedReader': 2, 'String[][]': 9, 'ICC_Profile': 16, 'BidiOrder': 9, 'RadioCheckField': 7, 'Deflater': 6, 'BadPasswordException': 5, 'WriterOperation': 1, 'TrueTypeFontUnicode': 9, 'PdfWriter()': 4, 'Principal': 1, 'List': 143, 'URL': 35, 'InvalidPdfException()': 1, 'CertificateFactory': 1, 'GraphicsState.horizontalScaling': 1, 'ShowTextArray': 1, 'BigInteger': 6, 'VerticalText': 10, 'MoveNextLineAndShowText': 1, 'Font.FDArrayOffsize': 2, 'InputStreamReader': 3, 'AlgorithmParameterGenerator': 1, 'TSAClientBouncyCastle()': 2, 'FilterOutputStream()': 1, 'RandomAccessFileOrArray': 85, 'ASN1InputStream': 12, 'Base64': 2, 'Exception': 127, 'FieldBase()': 9, 'Segment': 6, 'SimpleDateFormat': 2, 'Font.CharstringType': 1, 'ClassLoader': 1, 'TIFFDirectory': 9, 'RenderingHints': 3, 'Font.CharsetLength': 1, 'BasicOCSPResponse': 1, 'NoOpLogger': 2, 'MetaState': 19, 'ECBlocks': 8, 'PdfFont': 18, 'CMYKColor()': 1, 'long[][]': 3, 'Exception()': 8, 'UnsupportedOperationException': 16, 'PdfStamperImp': 38, 'Meta': 10, 'ByteVector': 7, 'DeflaterOutputStream': 10, 'PdfPatternPainter': 21, 'Hyphen.noBreak': 1, 'CidResource': 4, 'CMapCidByte': 2, 'InterruptedException': 2, 'Type3Font()': 1, 'UInt8Item': 12, 'Jpeg2000': 4, 'ListItem': 17, 'AESCipherCBCnoPad': 2, 'charstruct': 4, 'IntHashtable': 64, 'BadElementException': 8, 'MetaObject': 4, 'ExtendedColor()': 5, 'Flushable': 7, 'OutputStream': 114, 'ArithmeticException': 1, 'PdfMediaClipData': 1, 'PdfReaderContentParser': 1, 'ArabicLigaturizer': 2, 'BarcodeEANSUPP': 2, 'RecipientId': 1, 'Runtime': 1, 'SysoLogger()': 1, 'DERUTCTime': 1, 'DERObject': 18, 'ARCFOUREncryption': 3, 'Object[][]': 2, 'PdfTemplate': 64, 'PdfArray': 210, 'UInt32Item': 2, 'SymbolConversion': 1, 'PdfAnnotation()': 2, 'TreeMap': 3, 'DefaultFontMapper()': 1, 'RandomAccessFileOrArray()': 1, 'PdfInfo': 3, 'Field': 1, 'PrintStream': 25, 'TokenType': 19, 'AccessibleObject': 1, 'PrivilegedAction.run()': 1, 'Chunk()': 8, 'MarkedObject': 7, 'PdfPKCS7': 31, 'PdfPCellEvent': 5, 'CMSEnvelopedData': 1, 'IntHashtable()': 2, 'Font': 134, 'MappedRandomAccessFile': 12, 'Character': 2, 'X509Extension': 3, 'PrivateKey': 3, 'TextElementArray': 9, 'PdfString()': 1, 'Font.nglyphs': 2, 'PdfPageLabelFormat[]': 1, 'PdfPTableEventSplit': 2, 'PdfAnnotations': 1, 'MatrixUtil': 5, 'ZapfDingbatsList': 2, 'TextChunk': 8, 'ReedSolomon': 1, 'Class': 23, 'X509StreamParserSpi': 2, 'PdfPageLabelFormat': 1, 'FontProvider': 2, 'SorterComparator': 1, 'PdfConcatenate': 2, 'FieldLong': 1, 'InverseStore': 3, 'MissingResourceException': 1, 'ShadingColor': 5, 'Polygon': 2, 'Pfm2afm': 5, 'ExceptionConverter': 152, 'HTMLTagProcessors': 1, 'BaseField': 26, 'RecipientInfo': 1, 'ReedSolomonEncoder': 3, 'GF256': 13, 'Method': 1, 'IndexEvents': 2, 'FormatInformation': 6, 'PngWriter': 4, 'NumberArray()': 1, 'EnumerateTTC': 4, 'Appendable': 83, 'Annotation()': 8, 'PdfImportedPage': 16, 'BaseColor.value': 1, 'ChainedProperties': 12, 'ExtraEncoding': 4, 'Messages': 2, 'ECB': 7, 'java.util.Arrays': 2, 'PaddedBufferedBlockCipher': 1, 'DataOutputStream': 1, 'FieldImage': 1, 'DERBitString': 1, 'ArrayList': 199, 'FieldUndefined': 1, 'System': 23, 'PPKMS()': 1, 'FilteredRenderListener()': 1, 'AcroFieldsSearch': 3, 'QuadCurve2D': 3, 'ClassNotFoundException': 1, 'RectangularShape': 20, 'PdfXConformance': 2, 'byte[].length': 4, 'XmpSchema': 2, 'IgnoreXObjectDoHandler': 1, 'PdfPCell()': 2, 'KeyGenerator': 2, 'Line2D': 7, 'XmpBasicSchema': 2, 'TBSCertificateStructure': 1, 'MarkedContentRenderFilter': 2, 'LinkedList': 6, 'long[]': 13, 'BufferedImageOp': 1, 'byte[]': 198, 'KeyValue.key': 1, 'InputMeta': 11, 'SingleResp': 2, 'PageRefs': 14, 'Font.privateSubrs': 3, 'Properties()': 3, 'ASN1OctetString': 5, 'CharBuffer': 2, 'PdfEFStream': 2, 'Font.nstrings': 1, 'PdfImageObject': 7, 'GF256Poly': 16, 'TrackingFilter': 1, 'BmpImage': 13, 'Image': 161, 'PdfInfo()': 1, 'PdfSigGenericPKCS()': 3, 'VeriSign()': 1, 'Hyphen': 4, 'float[]': 57, 'CrlClient': 1, 'TrueTypeFont': 31} |
numberOfViolations : |
2365 |
trainingLoadTime : |
17041 |
trainingTime : |
9245 |
updated_at : |
2018-01-15 14:27:56 |
|
1 |
- missing/exception handling
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-15 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-16 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-18 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-357 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-61 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-937 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
jadet-5 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
jadet-9 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-15 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
jmrtd |
51 |
success |
0 |
4.8 s |
×
Run Details |
|
Project: |
jmrtd |
Version: |
51 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
4.8 s |
created_at : |
2018-01-15 14:27:57 |
dataset : |
icse16ex2 |
detectionLoadTime : |
1401 |
detectionTime : |
323 |
maxPatternSupport : |
26 |
md5 : |
622c004b6febeeae629bea54507d413d |
numberOfExploredAlternatives : |
58 |
numberOfPatterns : |
5 |
numberOfTargets : |
332 |
numberOfTrainingExamples : |
332 |
numberOfUsages : |
{'JTextField': 2, 'RootPaneContainer': 1, 'Runnable': 4, 'TitledBorder': 1, 'ActionEvent': 6, 'ImageReadParam': 1, 'Apdu()': 4, 'Context': 4, 'GeneralSecurityException': 2, 'X509EncodedKeySpec': 1, 'BACPanel': 1, 'DataInput': 15, 'Dimension2D': 1, 'JCheckBox': 2, 'HexViewPanel': 3, 'CommandAPDUField': 2, 'AAEvent': 6, 'APDULogPanel': 3, 'File': 2, 'ChallengePanel': 3, 'RemoteJCTerminal': 2, 'Collection': 2, 'BufferedImage': 3, 'RenderedImage': 1, 'HexViewPanelDataModel': 3, 'JTextArea': 2, 'KeyEvent': 1, 'APDUSenderPanel': 4, 'SimpleDateFormat': 1, 'IOException': 6, 'DataInputStream': 17, 'ActionListener.actionPerformed()': 2, 'OutputStream': 6, 'MutualAuthPanel': 3, 'byte': 44, 'JComponent': 3, 'PassportAuthService()': 2, 'Wrapper': 1, 'HexArrayField()': 1, 'List': 1, 'Socket': 1, 'SecureMessagingWrapper': 18, 'DefaultTableColumnModel': 1, 'JCOPEmulatorService': 3, 'AbstractStringBuilder': 2, 'PassportApduService': 6, 'Exception': 12, 'Rectangle': 1, 'PassportService': 3, 'Document': 1, 'Card': 2, 'FlowLayout': 14, 'Short': 1, 'Integer': 1, 'LDSPanel': 6, 'int[]': 1, 'Throwable': 15, 'InputStream': 11, 'CharSequence': 5, 'DateFormat': 1, 'BorderLayout': 4, 'HexField': 15, 'JScrollPane': 3, 'Object': 29, 'ParseException': 1, 'JPCSCService': 4, 'PublicKey': 6, 'ImageIcon': 1, 'SecretKey': 5, 'AWTEvent': 1, 'IIOParam': 1, 'IllegalStateException': 17, 'byte[][]': 3, 'HashMap': 3, 'AbstractButton': 4, 'EventObject()': 2, 'JButton': 14, 'ImagePanel': 2, 'Container': 9, 'Color': 1, 'Number': 1, 'ByteArrayInputStream': 12, 'String': 88, 'PrintStream': 10, 'BERTLVObject[]': 2, 'AAPanel': 2, 'FileInputStream': 3, 'TableColumn': 1, 'Window': 1, 'JCException': 3, 'Font': 1, 'BasicArrowButton': 2, 'JPanel()': 13, 'SecretKeyFactory': 1, 'ArrayList': 6, 'DESedeKeySpec': 1, 'ActionListener': 2, 'Sytem': 1, 'Box()': 1, 'Thread': 6, 'Runnable.run()': 3, 'ByteArrayOutputStream': 5, 'APDUIOService': 2, 'UnsupportedEncodingException': 1, 'DataOutput': 2, 'AutoCloseable': 2, 'IllegalArgumentException': 11, 'CardService': 8, 'Graphics': 1, 'ImageReader': 1, 'BACEvent': 12, 'HexField()': 1, 'AbstractCardService()': 1, 'char': 5, 'JPanel': 6, 'MessageDigest': 2, 'PassportFileService': 3, 'Appendable': 1, 'Flushable': 2, 'GregorianCalendar': 1, 'Iterator': 8, 'FacePanel': 4, 'JFrame': 2, 'JComboBox': 1, 'MRZPanel': 2, 'null': 14, 'Dimension': 1, 'Calendar': 1, 'DataOutputStream': 2, 'PassportAuthService': 9, 'CadTransportException': 2, 'GridLayout': 5, 'System': 10, 'PassportGUI': 2, 'BERTLVObject': 20, 'short[]': 1, 'byte[].length': 1, 'InitPassportPanel': 4, 'JTabbedPane': 1, 'EventObject': 5, 'FileOutputStream': 1, 'StringBuffer': 2, 'NumberFormatException': 10, 'Apdu': 32, 'String[]': 5, 'HexViewPanel()': 1, 'ImageInputStream': 1, 'byte[]': 32, 'Component': 6, 'JFileChooser': 2, 'AuthListener': 2, 'PassportFileService()': 1, 'JTable': 1, 'JLabel': 9, 'SecureMessagingWrapper()': 1, 'Date': 6, 'Image': 2, 'ComponentToggler': 1, 'APDUListener': 3, 'Map': 1, 'PassportService()': 1, 'HexArrayField': 8, 'DefaultTableModel()': 1} |
trainingLoadTime : |
2648 |
trainingTime : |
122 |
updated_at : |
2018-01-15 14:27:57 |
|
1 |
|
|
|
view
|
|
|
jodatime |
1231 |
success |
0 |
3.5 s |
×
Run Details |
|
Project: |
jodatime |
Version: |
1231 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
3.45 s |
created_at : |
2018-01-15 14:27:57 |
dataset : |
icse16ex2 |
detectionLoadTime : |
796 |
detectionTime : |
160 |
maxPatternSupport : |
11 |
md5 : |
622c004b6febeeae629bea54507d413d |
numberOfExploredAlternatives : |
20 |
numberOfPatterns : |
5 |
numberOfTargets : |
164 |
numberOfTrainingExamples : |
164 |
numberOfUsages : |
{'PersistentLocalTimeAsTime': 1, 'PersistentTimeOfDayExact': 2, 'ReadablePartial': 2, 'AbstractInstant': 5, 'PersistentTimeOfDay': 2, 'PersistentLocalDate': 1, 'NullableType': 19, 'PersistentLocalTimeExact': 1, 'PersistentDateTimeTZ': 1, 'null': 30, 'Number': 1, 'PersistentInterval': 2, 'String': 35, 'TimeOfDay': 12, 'Serializable': 22, 'Time': 2, 'DateTime': 16, 'UnsupportedOperationException': 9, 'AbstractStringBasedJodaType': 1, 'LocalDate': 6, 'Integer': 1, 'Period': 3, 'DateMidnight': 2, 'String[]': 11, 'DateTimeZone': 3, 'ResultSet': 11, 'YearMonthDay': 6, 'PersistentLocalTimeAsString': 1, 'ReadableInstant': 4, 'Object': 95, 'Timestamp': 2, 'Interval': 4, 'Duration': 2, 'ReadableInterval': 2, 'PersistentDateTime': 2, 'LocalTime': 18, 'Date': 5, 'PreparedStatement': 11, 'PersistentYearMonthDay': 1} |
trainingLoadTime : |
1524 |
trainingTime : |
98 |
updated_at : |
2018-01-15 14:27:57 |
|
1 |
- missing/condition/null_check
|
|
|
view
|
|
|
lucene |
1918 |
success |
494 |
33.5 s |
×
Run Details |
|
Project: |
lucene |
Version: |
1918 |
Result: |
success |
# of Findings: |
494 |
Runtime: |
33.45 s |
created_at : |
2018-01-15 14:27:57 |
dataset : |
icse16ex2 |
detectionLoadTime : |
6130 |
detectionTime : |
16101 |
maxPatternSupport : |
70 |
md5 : |
622c004b6febeeae629bea54507d413d |
numberOfExploredAlternatives : |
2465 |
numberOfPatterns : |
71 |
numberOfTargets : |
4934 |
numberOfTrainingExamples : |
4934 |
numberOfUsages : |
{'': 8, 'CharBlockPool': 9, 'CachedDfSource': 2, 'HeapedScorerDoc()': 1, 'CustomScorer': 5, 'FloatFieldSource()': 1, 'PorterStemmer': 19, 'MultiSearcher()': 1, 'ObjectInputStream': 1, 'LinkedHashMap.removeEldestEntry()': 1, 'NumericTokenStream()': 1, 'FilenameFilter': 5, 'OutOfMemoryError': 4, 'DocIdSetIterator.nextDoc()': 2, 'LinkedHashMap': 2, 'OneMerge': 23, 'Spans.getPayload()': 3, 'ParallelArrayTermVectorMapper': 4, 'CustomScoreQuery()': 2, 'Scorer.doc()': 1, 'ByteComparator': 3, 'CustomWeight': 9, 'ReverseOrdFieldSource': 4, 'SingleTokenTokenStream': 1, 'SpanNearQuery()': 2, 'FreqProxTermsWriterPerField': 10, 'ValueSourceQuery': 11, 'OneComparatorScoringNoMaxScoreCollector()': 1, 'BooleanClause': 25, 'NearSpansOrdered()': 1, 'FieldComparator[].length': 1, 'DocFieldProcessorPerField[]': 2, 'InstantiationException': 3, 'IDFExplanation.explain()': 2, 'NIOFSDirectory': 2, 'SimpleFSIndexOutput()': 1, 'IDFExplanation': 2, 'SegmentMergeInfo': 13, 'CoreReaders': 28, 'boolean[]': 4, 'SpanFilterResult.PositionInfo': 1, 'MapMode': 2, 'ScoreDocComparator.sortType()': 9, 'ByteSliceReader': 10, 'ComplexExplanation': 12, 'Short': 5, 'FieldNormStatus': 2, 'TermGenerator': 2, 'SpanFilter': 1, 'NormalizeCharMap': 3, 'SloppyPhraseScorer': 5, 'FileNotFoundException()': 1, 'FieldValueHitQueue': 19, 'FormatPostingsDocsWriter': 6, 'TermQuery': 11, 'MultiValueSource': 1, 'FilteredTermEnum()': 2, 'Payload()': 1, 'TermsHashConsumerPerThread': 4, 'IndexingChain': 2, 'DocFieldConsumerPerThread': 4, 'NumericRangeTermEnum': 5, 'DocFieldConsumers': 3, 'SpanQuery': 39, 'Similarity': 62, 'OutOfOrderMultiComparatorScoringNoMaxScoreCollector': 2, 'ReaderCommit': 9, 'Member': 7, 'IntFieldSource()': 1, 'HitDoc': 7, 'Weight.normalize()': 1, 'BaseCharFilter()': 2, 'FilterManager': 3, 'PrefixFilter': 1, 'PrivilegedExceptionAction.run()': 1, 'FuzzyTermEnum': 9, 'FieldCache.IntParser': 2, 'Enumeration.nextElement()': 1, 'TermInfo': 15, 'CheckAbort': 5, 'NumericRangeQuery': 31, 'FileDescriptor': 2, 'InsanityType': 6, 'Field()': 5, 'FormatPostingsTermsConsumer': 4, 'FuzzyTermEnum()': 2, 'RangeFilter': 2, 'ByteBlockAllocator': 3, 'ConstantScoreFilterRewrite': 1, 'TermDocs': 49, 'DirectoryReader': 30, 'RAMFile': 17, 'NativeFSLockFactory()': 2, 'PriorityQueue': 19, 'CachingWrapperFilter': 3, 'Scorer.nextDoc()': 1, 'SinkTokenizer': 3, 'Scorer.advanceToCommon()': 1, 'CachingWrapperFilter()': 1, 'MultiTermQueryWrapperFilter()': 6, 'PayloadAttribute': 4, 'int[]': 55, 'SegmentReader.Ref': 1, 'MultiComparatorNonScoringCollector': 5, 'Field[]': 3, 'Directory': 171, 'SimpleFSIndexOutput': 3, 'Occur': 22, 'DocFieldProcessorPerField': 6, 'CodingCase': 2, 'InputStream': 5, 'CommitPoint': 12, 'FieldCacheTermsFilter': 1, 'FieldCache.Parser': 9, 'Object': 617, 'Resolution': 4, 'StandardTokenizerImpl': 14, 'Iterable': 64, 'Sort': 12, 'SegmentInfos.FindSegmentsFile': 3, 'CSIndexInput()': 1, 'TopFieldCollector': 4, 'FieldDoc': 9, 'OpenBitSetIterator': 6, 'NoLockFactory': 2, 'DocComparator': 3, 'CharFilter()': 1, 'PayloadSpanUtil': 1, 'CompoundFileWriter': 6, 'HashMap': 37, 'Field.TermVector': 4, 'IndexWriter': 103, 'FieldCache.ByteParser': 2, 'DocFieldProcessor': 4, 'ByteParser': 7, 'NumericUtils.LongRangeBuilder': 1, 'StringIndex.lookup': 1, 'Analyzer': 19, 'FreqProxTermsWriterPerThread': 3, 'NumericField()': 3, 'MultiLevelSkipListReader': 7, 'ThreadResources': 3, 'PositionIncrementAttribute': 4, 'BucketScorer': 4, 'TermsHashPerField': 26, 'SimpleFSLockFactory()': 1, 'CheckedLock': 2, 'IntCache': 1, 'WeakReference': 6, 'Buffer': 4, 'BooleanClause.Occur': 2, 'CharStream': 7, 'HashSet': 35, 'BooleanWeight': 3, 'DocValues.intVal()': 4, 'MultiValueSource.other': 1, 'FilterCleaner': 3, 'LazyField': 5, 'Method': 4, 'SortField()': 1, 'NumericUtils': 1, 'WaitQueue': 5, 'DateField': 2, 'SegmentInfos.FindSegmentsFile.doBody()': 3, 'Lock': 14, 'FreqProxFieldMergeState': 3, 'OutOfOrderTopScoreDocCollector': 2, 'Reader': 43, 'Weight.scorer()': 1, 'OneComparatorNonScoringCollector()': 3, 'SimpleMapCache': 1, 'StartEnd': 3, 'DocFieldProcessorPerField.fieldCount': 1, 'TermRangeQuery()': 3, 'Collector.setScorer()': 2, 'TokenWrapper.delegate': 1, 'LogDocMergePolicy': 2, 'FSIndexInput': 1, 'OutOfOrderOneComparatorNonScoringCollector': 2, 'Iterator.hasNext()': 1, 'LookaheadSuccess': 2, 'SegmentMergeQueue': 2, 'Map.Entry': 14, 'OpenBitSet': 30, 'MMapDirectory': 5, 'FieldSelector': 9, 'FilteredQuery': 7, 'FieldSelector.accept()': 1, 'IndexDeletionPolicy': 7, 'InvertedDocConsumerPerThread': 3, 'Collator': 17, 'LogMergePolicy': 19, 'IndexOutOfBoundsException': 2, 'WildcardQuery': 4, 'CustomCache': 1, 'OffCorrectMap.cumulativeDiff': 2, 'Spans[]': 2, 'MultiFieldQueryParser()': 1, 'CacheEntryImpl': 7, 'MinPayloadFunction': 1, 'PositionIncrementAttributeImpl': 4, 'DocFieldConsumersPerField': 2, 'RewriteMethod': 10, 'BoostingTermQuery': 3, 'FloatComparator': 3, 'DocIdBitSetIterator': 5, 'TypeAttribute': 2, 'OpenBitSetIterator()': 1, 'FieldsWriter': 10, 'CloneNotSupportedException': 6, 'Collector.collect()': 3, 'NoSuchMethodException': 3, 'RawPostingList': 14, 'CheckIndex': 9, 'FieldCacheSanityChecker.Insanity': 1, 'Bucket': 5, 'MatchAllDocsQuery()': 1, 'MappingCharFilter': 4, 'InvertedDocEndConsumer': 1, 'RAMOutputStream': 16, 'FloatFieldSource': 4, 'BooleanScorer2': 14, 'IndexFileNameFilter': 5, 'MaxPayloadFunction': 1, 'OutOfOrderOneComparatorScoringNoMaxScoreCollector': 2, 'BooleanQuery.TooManyClauses': 1, 'BufferedDeletes': 15, 'SimilarityDelegator': 1, 'NumericRangeFilter': 13, 'Payload': 21, 'DocIdSetIterator.doc()': 2, 'FieldCacheTermsFilterDocIdSetIterator': 5, 'DisjunctionSumScorer': 14, 'Hit': 3, 'OneComparatorScoringMaxScoreCollector()': 1, 'FormatPostingsFieldsConsumer()': 1, 'FormatPostingsFieldsConsumer': 4, 'SortedVIntListBuilder': 5, 'PhraseScorer': 12, 'Descriptor()': 1, 'ConstantScoreAutoRewrite': 5, 'Vector': 3, 'DocIdSetIterator': 43, 'IDFExplanation.getIdf()': 2, 'MessageImpl()': 1, 'Spans.toString()': 3, 'RAMDirectory': 6, 'BitVector': 31, 'Comparator': 7, 'DocValues.toString()': 6, 'MultiSearcherThread': 5, 'LongComparator': 3, 'FormatPostingsTermsWriter': 7, 'Norm': 18, 'ByteBuffer': 8, 'FieldCacheTermsFilterDocIdSet': 2, 'NormsWriterPerThread': 2, 'Locale': 17, 'MatchAllDocsQuery': 2, 'TokenWrapper()': 1, 'FSDirectory': 28, 'IndexSearcher()': 5, 'ExtendedFieldCache.LongParser': 1, 'MultiFieldQueryParser': 5, 'IllegalAccessException': 4, 'IndexCommitPoint': 5, 'TopScoreDocCollector': 2, 'ByteFieldSource': 4, 'MergeScheduler': 4, 'SavedStreams': 2, 'RawPostingList[]': 7, 'List[]': 1, 'Scorer()': 17, 'AllTermDocs': 5, 'FloatCache': 1, 'SortField': 25, 'TermVectorMapper()': 4, 'IndexOutput': 37, 'LockObtainFailedException': 4, 'TermVectorsReader()': 2, 'MultiDocValues': 1, 'SortField[]': 8, 'ListIterator': 1, 'Spans.top()': 1, 'RamUsageEstimator()': 3, 'ScoreDoc[]': 11, 'PayloadTermWeight': 2, 'FileNotFoundException': 9, 'FieldInvertState': 16, 'DateTools.Resolution': 2, 'AverageGuessMemoryModel': 2, 'TermRangeQuery': 22, 'NIOFSIndexInput()': 1, 'int[].length': 2, 'Parameter()': 6, 'Spans.doc()': 3, 'DocIdSetIterator.next()': 2, 'byte': 74, 'Byte': 5, 'SimpleLRUCache': 2, 'FlagsAttributeImpl.flags': 1, 'CompoundFileReader': 11, 'BooleanQuery': 23, 'CodingCase.numBytes': 1, 'RuntimeException()': 9, 'MultiMMapIndexInput': 9, 'Spans.initSpanQueue()': 1, 'Explanation': 37, 'ParallelTermDocs': 6, 'TypeAttributeImpl': 3, 'FreqProxFieldMergeState.text': 1, 'Document': 33, 'IOException': 74, 'FilterTermDocs()': 1, 'PositionIncrementAttributeImpl.positionIncrement': 1, 'Enumeration': 1, 'FreqProxTermsWriter': 2, 'MultiTermPositions': 6, 'BufferedIndexInput': 9, 'DoubleCache': 1, 'TermPositions': 32, 'FieldDocSortedHitQueue': 6, 'PrivilegedAction.run()': 1, 'FreqProxTermsWriterPerField.hasPayloads': 1, 'Comparable[]': 7, 'ScoreTerm': 2, 'FieldCacheImpl': 2, 'FileChannel': 3, 'Hits': 12, 'PhraseQueue': 1, 'InvertedDocEndConsumerPerField': 1, 'FSLockFactory': 4, 'SimpleFSLockFactory': 4, 'Filter': 17, 'TopFieldDocs': 9, 'RandomAccessFile': 6, 'TokenWrapper': 6, 'DocIdBitSet': 5, 'FormatPostingsFieldsWriter': 7, 'StopAnalyzer': 2, 'WhitespaceTokenizer': 2, 'ClassCastException': 4, 'PhraseScorer()': 2, 'ConstantScoreQuery': 6, 'TokenStream.tokenWrapper': 1, 'TopDocs': 17, 'FindSegmentsFile.doBody()': 2, 'ByteBuffer[]': 1, 'DocWriter': 6, 'LogMergePolicy()': 2, 'StoredFieldStatus': 2, 'IndexSearcher': 9, 'IntBlockPool': 6, 'DefaultAttributeFactory': 1, 'FormatPostingsDocsConsumer': 3, 'SingleMatchScorer': 3, 'FlagsAttributeImpl': 4, 'SingleInstanceLockFactory': 2, 'TermInfosWriter': 6, 'DateFormat': 1, 'FieldsReader()': 2, 'MergeThread': 8, 'BooleanClause[].length': 3, 'Collector.setNextReader()': 2, 'Term[]': 13, 'HeapedScorerDoc': 11, 'SimpleFSDirectory': 3, 'ExtendedFieldCache.DoubleParser': 1, 'HitCollector': 13, 'ChecksumIndexInput': 1, 'Status.StoredFieldStatus': 1, 'TermGenerator.handleDoc()': 2, 'OpenBitSetDISI': 1, 'DocIdSetIterator.skipTo()': 2, 'MultiTermQuery()': 3, 'PrintStream': 82, 'PrivilegedActionException': 1, 'CompoundFileReader()': 1, 'Fieldable[]': 4, 'PhraseQuery': 11, 'RAMOutputStream()': 1, 'byte[][]': 5, 'SortedMap': 1, 'SegmentTermVector()': 1, 'OutOfOrderOneComparatorScoringMaxScoreCollector': 2, 'FileLock': 2, 'MultiTermEnum': 11, 'OffsetAttributeImpl': 5, 'TreeSet': 3, 'NormsWriterPerField.fieldInfo': 1, 'SimilarityDelegator.coord()': 1, 'NearSpansOrdered': 12, 'DocValues.getInnerArray()': 6, 'TermSpans': 11, 'TokenFilter()': 11, 'SegmentTermVector[]': 1, 'Collator[]': 1, 'FieldInfo.name': 3, 'int[][]': 5, 'TermFreqVector[]': 1, 'ShortFieldSource()': 1, 'ThreadResources.termEnum': 1, 'Store': 11, 'TopDocCollector': 4, 'TermIndexStatus': 2, 'NIOFSIndexInput': 2, 'TermsHash': 12, 'FileInputStream': 2, 'DisjunctionMaxQuery': 5, 'NativeFSLock': 5, 'CharTokenizer': 1, 'Long': 9, 'ConjunctionScorer.score()': 1, 'QueryParser()': 2, 'HitDoc.score': 1, 'OrdFieldSource': 4, 'ShortComparator': 3, 'FieldComparator[]': 1, 'FieldComparator': 11, 'MatchAllScorer': 5, 'OneComparatorNonScoringCollector': 3, 'CharTokenizer()': 6, 'CloseableThreadLocal': 2, 'SegmentInfoStatus': 1, 'ResourceBundle': 2, 'ScoreDocComparator.sortValue()': 9, 'IndexReader': 291, 'PerFieldAnalyzerWrapper': 4, 'OutOfOrderMultiComparatorNonScoringCollector': 2, 'ByteArrayOutputStream': 2, 'TeeSinkTokenFilter': 1, 'DocIdSetIterator.docID()': 2, 'CacheEntry': 4, 'IdentityHashMap': 2, 'Parameter': 2, 'FormatPostingsPositionsWriter': 6, 'ArrayIndexOutOfBoundsException': 7, 'Type': 2, 'FieldMaskingSpanQuery': 5, 'ReaderPool': 2, 'QueryParserTokenManager()': 1, 'Character': 7, 'StringIndexCache': 1, 'TermAttributeImpl': 14, 'Package': 1, 'BitSet': 10, 'SerialMergeScheduler': 1, 'QueryWrapperFilter': 5, 'DocValues.floatVal()': 6, 'DefaultSkipListReader': 5, 'SegmentInfo.docCount': 3, 'BooleanScorerCollector': 2, 'FormatPostingsPositionsConsumer': 2, 'Status.SegmentInfoStatus': 1, 'FieldSortedTermVectorMapper': 4, 'TimeLimitingCollector': 4, 'DocumentsWriter.DocWriter': 3, 'Boolean': 14, 'NumericField': 7, 'Iterator': 111, 'InOrderTopScoreDocCollector': 2, 'Spans.skipTo()': 3, 'AbstractStringBuilder': 53, 'Field.Store': 7, 'SpanTermQuery': 7, 'FilterIndexReader()': 2, 'PostingList': 6, 'ScoringBooleanQueryRewrite': 1, 'Calendar': 1, 'DisjunctionSumScorer()': 1, 'CRC32': 2, 'Socket': 2, 'Explanation()': 2, 'Enumeration.hasMoreElements()': 1, 'NumberFormat': 4, 'short[]': 4, 'QueryTermVector': 5, 'TooManyClauses': 2, 'AutoCache': 1, 'Reference': 3, 'MapOfSets': 4, 'MultiLevelSkipListReader()': 1, 'ByteSliceWriter': 4, 'PayloadFunction': 5, 'CharArraySet': 10, 'SpanQueryFilter': 2, 'Ref': 19, 'AttributeFactory': 15, 'ISOLatin1AccentFilter': 1, 'OffCorrectMap.off': 1, 'SimpleAnalyzer': 1, 'MultiComparatorsFieldValueHitQueue': 3, 'SegmentInfo.dir': 1, 'UTF8Result[]': 1, 'RefCount': 6, 'MultiComparatorScoringNoMaxScoreCollector()': 1, 'NormsWriterPerField[]': 1, 'NormsWriterPerField': 4, 'LetterTokenizer()': 3, 'StandardFilter': 3, 'ValueSource': 2, 'TopDocs()': 2, 'Scorer.advance()': 1, 'SinkTokenStream': 8, 'DocIdSet': 17, 'Class': 66, 'FieldSelectorResult': 8, 'StringComparatorLocale': 3, 'IndexReader.FieldOption': 3, 'ConcurrentMergeScheduler': 10, 'IndexModifier': 17, 'BufferedIndexOutput': 4, 'InputStreamReader': 1, 'Map': 70, 'ReadOnlySegmentReader': 1, 'TermRangeTermEnum': 4, 'BufferedDeletes.Num': 1, 'DoubleComparator': 3, 'NoLock': 1, 'String[].length': 1, 'Version': 13, 'OneComparatorScoringNoMaxScoreCollector': 3, 'SegmentReader[]': 6, 'SegmentMergeInfo.term': 1, 'SortedVIntList()': 1, 'PayloadTermWeight()': 1, 'NearSpansUnordered': 8, 'TermVectorOffsetInfo': 7, 'BooleanScorer': 8, 'ByteBlockPool': 14, 'ParallelReader()': 1, 'Scorer.docID()': 1, 'SimpleFSIndexInput()': 5, 'IndexReaderWarmer': 2, 'HitDoc.id': 1, 'SortedTermVectorMapper': 2, 'StoredFieldsWriter': 12, 'Term.text': 1, 'FilenameFilter.accept()': 1, 'Class[]': 2, 'FilterItem': 2, 'MultiReader': 19, 'Weight.getValue()': 1, 'ConstantScorer': 3, 'FreqProxFieldMergeState[]': 1, 'SegmentReader.norms': 1, 'PositionBasedTermVectorMapper': 2, 'Attribute': 23, 'TermVectorsReader': 28, 'FieldCacheSource': 5, 'double[]': 3, 'SpanQuery[]': 9, 'TokenStream()': 9, 'LucenePackage': 1, 'CSIndexInput': 4, 'Spans.isPayloadAvailable()': 3, 'StopFilter': 10, 'MultiTermDocs()': 1, 'NormsWriterPerField.upto': 1, 'Inflater': 1, 'FieldInfo': 45, 'CharArraySetIterator': 4, 'WildcardTermEnum': 4, 'SpanNearQuery': 14, 'SegmentInfo': 83, 'DataFormatException': 1, 'BooleanQuery[]': 1, 'ParallelReader': 5, 'StringReader': 4, 'LockFactory': 12, 'BooleanClause[]': 3, 'FSIndexOutput': 1, 'MultiTermDocs': 10, 'ValueSourceQuery()': 1, 'Scorer.next()': 1, 'LowerCaseFilter': 2, 'TermInfosReader': 23, 'MergePolicy': 7, 'Directory[]': 3, 'CachingTokenFilter': 4, 'StandardTokenizerImpl()': 1, 'LockReleaseFailedException': 2, 'FieldCacheSource()': 4, 'SortComparator': 3, 'PayloadTermQuery': 4, 'FreqProxFieldMergeState.docID': 1, 'ServerSocket': 1, 'ConjunctionScorer()': 1, 'FieldCacheDocIdSet': 9, 'FloatParser': 7, 'Object[]': 1, 'SynchronizedSimpleMapCache': 5, 'Cache()': 10, 'ReadOnlyDirectoryReader': 3, 'Num': 5, 'ASCIIFoldingFilter': 1, 'CreationPlaceholder': 1, 'Scorer.explain()': 1, 'TypeAttributeImpl()': 1, 'Throwable': 31, 'SinkFilter': 1, 'Insanity': 6, 'HitIterator': 3, 'FieldOption': 5, 'StandardAnalyzer': 8, 'RangeQuery()': 1, 'Float': 12, 'MethodSupport': 2, 'SnapshotDeletionPolicy': 2, 'AbstractField': 20, 'NormsWriter': 2, 'JJCalls': 7, 'AutoCloseable': 12, 'Token()': 1, 'LowerCaseTokenizer': 4, 'SpansCell': 15, 'PayloadAttributeImpl': 5, 'DocIdSetIterator.advance()': 2, 'PhraseWeight': 8, 'Token.kind': 1, 'TermPositionVector': 1, 'Token.next': 1, 'CharSequence': 50, 'IntQueue': 5, 'UTF8Result': 10, 'PerDoc': 17, 'FastCharStream': 10, 'TopFieldDocCollector': 3, 'ScoreDoc.doc': 1, 'FuzzyQuery': 7, 'DocState': 14, 'Token': 67, 'BoostingTermWeight': 2, 'MergeSpecification': 5, 'IntRangeBuilder': 1, 'DocValues.strVal()': 2, 'MultiLevelSkipListWriter()': 1, 'Entry': 60, 'DirectoryReader()': 3, 'DirectoryOwningReader': 7, 'SimpleFSLock': 3, 'IllegalStateException': 25, 'PrivilegedAction': 1, 'Spans.next()': 3, 'StringOrdValComparator': 8, 'HitCollectorWrapper': 15, 'Error': 8, 'CellQueue': 1, 'TermVectorsTermsWriter': 9, 'TermPositionsQueue': 1, 'DocValues': 18, 'Number': 35, 'Occur[]': 2, 'FieldInfos': 35, 'SegmentMerger': 18, 'Spans': 31, 'Random': 1, 'Scorer[]': 4, 'HitQueue': 4, 'ByteFieldSource()': 1, 'ValueSourceScorer': 7, 'State': 13, 'DefaultSimilarity': 1, 'TokenMgrError()': 1, 'TermVectorOffsetInfo[]': 3, 'Status.FieldNormStatus': 1, 'QueryParser': 41, 'Iterator.next()': 1, 'DocFieldConsumers.PerDoc': 1, 'IllegalStateException()': 1, 'NumberTools': 2, 'MergeException': 3, 'StaleReaderException': 1, 'ArrayList': 69, 'MultiComparatorScoringMaxScoreCollector': 3, 'Query': 118, 'CharReader': 1, 'NormsWriterPerField.norms': 1, 'Thread': 29, 'PerFieldAnalyzerWrapper()': 1, 'DoubleParser': 3, 'BucketTable': 4, 'TermsHashConsumer': 2, 'TermFreqVector': 9, 'DocInverterPerField': 7, 'SpanScorer()': 2, 'TermsHashPerThread': 18, 'ConstantScoreBooleanQueryRewrite': 1, 'ScoreDoc.score': 4, 'IllegalArgumentException': 91, 'StoredFieldsWriterPerThread': 5, 'MultiTermQueryWrapperFilter': 5, 'DocIdSet.isCacheable()': 1, 'AttributeSource()': 4, 'MultiPhraseQuery': 11, 'FieldValueHitQueue()': 2, 'TokenStream': 38, 'Collector': 16, 'ShortFieldSource': 4, 'MultiComparatorScoringMaxScoreCollector()': 1, 'DocConsumerPerThread': 2, 'KeywordTokenizer()': 1, 'char': 118, 'DocIdSet.iterator()': 1, 'FlagsAttribute': 2, 'MySegmentTermDocs': 2, 'FindSegmentsFile': 6, 'FieldComparatorSource': 3, 'PayloadNearQuery()': 1, 'TermAttribute': 7, 'PositionInfo': 3, 'MessageImpl': 2, 'ScoreCachingWrappingScorer': 3, 'QueryParserTokenManager': 8, 'TimeLimitedCollector': 4, 'CacheEntry[]': 3, 'Bucket[]': 1, 'BoostingTermQuery()': 1, 'IntFieldSource': 4, 'ScoreDocComparator': 14, 'ScoreDocComparator.compare()': 9, 'DocumentsWriter': 71, 'Thread()': 4, 'KeepOnlyLastCommitDeletionPolicy': 2, 'MaxFieldLength': 14, 'FileSwitchDirectory': 3, 'FileReader': 3, 'BufferUnderflowException': 2, 'Term()': 1, 'DocumentsWriter.DocState': 1, 'Query()': 1, 'char[][]': 6, 'FieldSortedTermVectorMapper()': 1, 'StringBuffer': 54, 'Integer': 32, 'DocFieldConsumerPerField': 4, 'DecimalFormat': 2, 'TimeExceededException': 8, 'String[]': 38, 'ConjunctionScorer': 9, 'TermWeight': 8, 'ConcurrentModificationException': 1, 'String': 992, 'FieldCache.DoubleParser': 4, 'ReqOptSumScorer': 2, 'Set': 71, 'OffCorrectMap': 4, 'ReaderField': 5, 'ReusableStringReader': 2, 'RAMInputStream': 8, 'SpanNotQuery': 6, 'FormatPostingsTermsConsumer()': 1, 'Iterator.remove()': 1, 'BufferedIndexInput()': 2, 'CachingSpanFilter': 2, 'Query[]': 3, 'Status': 5, 'Double': 7, 'Comparator.compare()': 2, 'AbstractField()': 3, 'SpanOrQuery': 8, 'SegmentInfo()': 2, 'StopFilter()': 6, 'ScoreDoc()': 2, 'IntComparator': 3, 'DisjunctionMaxWeight': 5, 'TermPositions[]': 3, 'ReqExclScorer': 4, 'IndexFileNames': 1, 'TokenWrapperAttributeFactory': 2, 'SimpleMapCache()': 2, 'StandardTokenizer()': 1, 'Collector.acceptsDocsOutOfOrder()': 3, 'TermVector': 9, 'OffsetAttribute': 4, 'DocFieldProcessorPerThread': 13, 'WeakHashMap': 3, 'StringValComparator': 3, 'RAMDirectory()': 4, 'MergePolicy()': 1, 'SubScorer': 4, 'TopFieldCollector()': 2, 'LongCache': 1, 'PrivilegedExceptionAction': 1, 'Explanation[]': 5, 'IndexReader()': 3, 'FieldCache.FloatParser': 2, 'SpanQuery[].length': 1, 'Searchable': 20, 'DocFieldProcessorPerField.consumer': 1, 'CorruptIndexException': 10, 'ChecksumIndexOutput': 4, 'NumberFormatException': 11, 'TermVectorsTermsWriterPerThread': 9, 'SpanFilterResult': 9, 'FieldCacheDocIdSet.matchDoc()': 7, 'DisjunctionMaxScorer': 8, 'SegmentTermDocs()': 2, 'MultiSearcherThread[]': 2, 'FieldCacheRangeFilter': 16, 'SimpleStringInterner': 1, 'PayloadNearQuery': 5, 'UTF8Result.length': 1, 'SpanFirstQuery': 8, 'Collection': 177, 'DocumentsWriterThreadState[]': 1, 'LongRangeBuilder': 1, 'KeywordTokenizer': 2, 'OutOfOrderMultiComparatorScoringMaxScoreCollector': 2, 'System': 8, 'SortedVIntList': 4, 'SegmentReader': 82, 'FieldCache.ShortParser': 2, 'File': 76, 'TermsHashConsumerPerField': 1, 'PhrasePositions': 16, 'TopScoreDocCollector()': 2, 'FormatPostingsDocsConsumer()': 1, 'FilteredDocIdSetIterator': 5, 'SimpleFSIndexInput': 4, 'DisjunctionSumScorer.score()': 1, 'PayloadTermSpanScorer': 4, 'Operator': 2, 'DocFieldConsumersPerThread': 3, 'Descriptor': 3, 'MergePolicy.OneMerge': 24, 'BufferedReader': 3, 'MatchAllDocsWeight': 8, 'ValueSourceWeight': 9, 'Deflater': 1, 'NormsWriterPerField.docIDs': 1, 'ValueSourceQuery[]': 2, 'DocFieldProcessorPerField.fieldInfo': 1, 'MultiComparatorScoringNoMaxScoreCollector': 3, 'InvertedDocConsumer': 1, 'List': 107, 'CharacterCache': 1, 'IndexFileDeleter': 13, 'char[]': 36, 'OneComparatorScoringMaxScoreCollector': 3, 'SynchronizedCache': 4, 'ScoreDoc': 24, 'TermVectorStatus': 2, 'FileOutputStream': 2, 'PrefixQuery': 7, 'ScoreTermQueue': 1, 'TimerThread': 4, 'Error()': 1, 'SecurityManager': 1, 'Exception': 8, 'FileEntry': 6, 'IntParser': 7, 'NativeFSLockFactory': 5, 'RandomAccessFile()': 1, 'FieldCacheSanityChecker': 2, 'DocFieldConsumer': 2, 'SortedSet': 1, 'Exception()': 3, 'UnsupportedOperationException': 74, 'PrefixTermEnum': 3, 'Insanity[]': 1, 'SpanWeight': 8, 'StandardAnalyzer()': 11, 'InterruptedException': 18, 'FieldCache.StringIndex': 1, 'AttributeImpl': 21, 'LengthFilter': 1, 'TopDocsCollector()': 2, 'DocInverter': 2, 'ParseException': 13, 'ByteCache': 1, 'SpanScorer': 8, 'FieldForMerge': 3, 'PayloadNearSpanWeight': 3, 'FieldCacheRangeFilter.getDocIdSet()': 7, 'OutputStream': 6, 'LinkedList': 8, 'LogByteSizeMergePolicy': 2, 'Status.TermIndexStatus': 1, 'ParallelTermPositions': 6, 'DocumentsWriterThreadState': 9, 'Parser': 10, 'OneComparatorFieldValueHitQueue': 2, 'StringCache': 1, 'SpanWeight()': 2, 'HeapedScorerDoc.doc': 2, 'ShortCache': 1, 'IndexReader[]': 11, 'UnmodifiableCharArraySet': 1, 'Searchable[]': 1, 'SkipBuffer': 7, 'TermVectorsWriter': 4, 'PayloadNearSpanScorer': 5, 'MultiSearcher': 11, 'MergeAbortedException': 4, 'FreqProxTermsWriterPerField[]': 2, 'TopDocCollector()': 2, 'NumericTokenStream': 9, 'TopDocsCollector': 7, 'OpenBitSet()': 3, 'BaseCharFilter': 3, 'SegmentTermEnum': 22, 'UTF16Result': 9, 'StreamCorruptedException': 1, 'AlreadyClosedException': 8, 'Field': 13, 'MyCommitPoint': 2, 'AccessibleObject': 4, 'FieldCache': 46, 'TermEnum': 42, 'SegmentTermVector': 8, 'InvertedDocEndConsumerPerThread': 2, 'FilteredTermEnum': 7, 'TermRangeFilter': 8, 'RuntimeException': 64, 'SortedTermVectorMapper()': 1, 'SegmentTermEnum.fieldInfos': 1, 'IndexCommit': 14, 'SpanQueue': 1, 'ExactPhraseScorer': 3, 'SegmentTermPositionVector': 3, 'IndexInput': 67, 'Tokenizer()': 9, 'FieldReaderException': 2, 'Comparable': 8, 'null': 255, 'FuzzyQuery()': 2, 'AveragePayloadFunction': 3, 'FreqProxTermsWriterPerField.fieldInfo': 2, 'CharArraySet()': 2, 'TermVectorEntry': 11, 'FieldsReader': 18, 'Weight.getQuery()': 1, 'Status.TermVectorStatus': 1, 'LongParser': 3, 'TokenMgrError': 3, 'StringIndex': 10, 'SpanTermQuery()': 1, 'AttributeSource': 30, 'SingleInstanceLock': 4, 'StandardTokenizer': 5, 'Weight': 46, 'NumericUtils.IntRangeBuilder': 1, 'Date': 9, 'Tokenizer': 6, 'TVPositionInfo': 5, 'DocumentsWriterThreadState.consumer': 2, 'MultiLevelSkipListWriter': 6, 'SegmentMergeInfo[]': 5, 'DocConsumer': 2, 'FilteredDocIdSetIterator.match()': 1, 'ConstantWeight': 7, 'RangeQuery': 1, 'AttributeSource.State': 2, 'Appendable': 29, 'SegmentTermDocs': 11, 'SortComparatorSource': 5, 'SegmentWriteState': 17, 'VerifyingLockFactory': 1, 'TermVectorMapper': 14, 'FreqProxFieldMergeState.textOffset': 1, 'ParallelMultiSearcher': 3, 'TermScorer': 10, 'MultiPhraseWeight': 8, 'Weight.explain()': 1, 'MemoryModel': 2, 'SegmentInfos': 72, 'MaxFieldLength()': 1, 'DefaultSkipListWriter': 6, 'ClassNotFoundException': 3, 'RamUsageEstimator': 6, 'ScorerDocQueue': 15, 'ShortParser': 7, 'byte[].length': 2, 'Scorer.score()': 1, 'SegmentInfo.name': 2, 'SegmentTermPositions': 10, 'Weight.sumOfSquaredWeights()': 1, 'InvertedDocConsumerPerField': 2, 'Spans.start()': 3, 'IndexableBinaryStringTools': 2, 'FilterTermPositions': 4, 'MultiTermQuery': 25, 'NoSuchDirectoryException': 3, 'Index': 7, 'MMapIndexInput': 5, 'Scorer': 64, 'MultipleTermPositions': 4, 'CustomScoreQuery': 7, 'Fieldable': 22, 'long[]': 19, 'byte[]': 30, 'ParallelTermEnum': 7, 'Searcher': 36, 'MergeDocIDRemapper': 4, 'FSDirectory()': 6, 'NullPointerException': 14, 'TermVectorsTermsWriterPerField': 7, 'FieldCache.LongParser': 4, 'Scorer.skipTo()': 1, 'CompoundFileWriter()': 1, 'IOException()': 6, 'CharBuffer': 4, 'Coordinator': 6, 'Field.Index': 4, 'Cache': 17, 'FieldSortedHitQueue': 14, 'Sytem': 4, 'DocFieldProcessorPerField.fields': 1, 'NoSuchElementException': 2, 'PayloadTermQuery()': 2, 'TermBuffer': 6, 'MultiComparatorNonScoringCollector()': 3, 'DocInverterPerThread': 10, 'Sort()': 1, 'Term': 159, 'float[]': 9, 'Spans.end()': 3, 'RelevanceComparator': 2} |
numberOfViolations : |
494 |
trainingLoadTime : |
8307 |
trainingTime : |
1915 |
updated_at : |
2018-01-15 14:27:57 |
|
2 |
- missing/exception handling
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-5 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-9 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
tikanga-0 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
tikanga-1 |
- missing/condition/value_or_state
|
|
|
view
|
|
|