MuBench :: Review Site

Project

Version

Result

# of Findings

Runtime

Misuse

Violation Types

Decision

Reviews

Your Review

Your Comment

Tags

aclang

587

success

420

103.6

Run Details
Project:	aclang
Version:	587
Result:	success
# of Findings:	420
Runtime:	103.59 s
created_at :	2018-01-15 16:50:34
dataset :	icse16ex1
detectionLoadTime :	2095
detectionTime :	30188
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	14754
numberOfTargets :	2186
numberOfViolations :	420
org:apache:commons:lang:text:StrBuilder-exampleProjects :	42
org:apache:commons:lang:text:StrBuilder-maxPatternSupport :	32
org:apache:commons:lang:text:StrBuilder-numberOfPatterns :	43
org:apache:commons:lang:text:StrBuilder-numberOfTrainingExamples :	3712
org:apache:commons:lang:text:StrBuilder-numberOfUsagesInTraining :	{'ComparisonFilter': 1, 'MappingException': 3, 'CpuPerc': 2, 'StatusType': 1, 'Country': 2, 'MutationService': 1, 'Statement': 1, 'UNKNOWN.length': 1, 'SimpleNode': 14, 'Logger': 2, 'DefaultLogger': 2, 'INodeDescriptor': 2, 'Affy': 1, 'SWT.DOWN': 1, 'Define': 2, 'MethodCache': 7, 'Class[].length': 7, 'LoggerAppenderRef': 1, 'CharSet': 4, 'NestableRuntimeException': 2, 'GetMethod': 1, 'PerfMonUtils': 3, 'ColumnLabelProvider': 1, 'JFileChooser': 1, 'LongRange': 2, 'VelocityException': 14, 'NumberFormatException': 2, 'Writer': 9, 'StackTraceElement': 1, 'DocumentViewPage': 1, 'IndexOutOfBoundsException': 2, 'ToStringBuilder': 7, 'Double': 1, 'Number': 6, 'Composite': 3, 'StrBuilderReader': 8, 'ColumnTitle': 2, 'OutputStream': 1, 'Class': 3, 'Fragment': 1, 'PerfMonIo': 1, 'PerfMonMem': 1, 'Integer': 24, 'ApplicationRegistration': 2, 'NegationFilter': 1, 'System': 40, 'Size': 1, 'Contact': 2, 'IRepositoryPreferences': 1, 'TreeViewerColumn': 1, 'FileAppender': 3, 'Block': 5, 'GenomePanel': 1, 'Ps': 1, 'SortOrder': 1, 'NodeBrowserSortListener': 1, 'Service': 2, 'Offset': 1, 'StringBuffer': 10, 'FilteredTree': 1, 'ExonDTO': 3, 'CmdList': 1, 'MessageColor': 1, 'SwtUtil': 2, 'CSVParser': 1, 'Runnable': 1, 'IOException': 5, 'NetStat': 1, 'DataSourceException': 2, 'Connection': 2, 'QueryBuilder': 3, 'QueryGroup': 1, 'Preferences': 1, 'Character': 24, 'NullArgumentException': 2, 'Phone': 1, 'FileSystemUsage': 1, 'Object[].length': 11, 'AGI': 1, 'Mem': 1, 'ValueType': 1, 'Runtime': 1, 'NodePatternFilter': 1, 'PerfMonProc': 1, 'ColumnSort': 2, 'OutputType': 1, 'SigarException': 1, 'SQLException': 2, 'SimpleColumn': 1, 'File[].length': 1, 'FileWriter': 1, 'ParserTokenManager': 16, 'Group': 1, 'URLEncoder': 1, 'CharRange': 2, 'ArrayList': 5, 'FileSystem': 1, 'ProteinDomainSummaryVO': 1, 'ColumnColumnFilter': 1, 'ColumnIsNullFilter': 1, 'ProteinDomainDTO': 1, 'FileSystem[].length': 1, 'PerfMonNetStat': 1, 'HttpClient': 1, 'AuthorizationHandler': 1, 'IntRange': 2, 'Method': 7, 'MutationSummaryDTO': 1, 'FileSystem.TYPE_LOCAL_DISK': 1, 'Math': 2, 'DurationFormatUtils': 2, 'Double[][].length': 1, 'DomainModelBeans': 1, 'Exception': 11, 'Permission': 1, 'PerfMonTcp': 1, 'Lists': 13, 'Shell': 1, 'ScalarFunctionColumnTitle': 2, 'Log': 6, 'CompoundFilter': 1, 'DataSourceParameters': 1, 'Window.OK': 2, 'AppenderReference': 1, 'Warning': 1, 'SqlDatabaseDescription': 1, 'GlobalSetting': 1, 'GeneDTO': 1, 'Object': 49, 'StrBuilder': 432, 'SWT.LEFT': 1, 'NodeItem': 2, 'Pathway': 1, 'AttachedFile': 1, 'IJettyManager': 2, 'VaultHandler': 1, 'QuerySelection': 1, 'ClusterAdminPage': 1, 'System.out': 12, 'Appender': 3, 'HttpStatus.OK': 1, 'IllegalArgumentException': 10, 'Format': 2, 'ParsePosition': 8, 'PerfMonCpu': 2, 'DialogCallback.dialogClosed()': 2, 'DatabaseMetaData': 1, 'Level': 2, 'TokenMgrError': 4, 'DataTable': 2, 'PerfMonSwap': 1, 'char': 126, 'File': 1, 'Account': 1, 'null': 54, 'ComparisonFilter.Operator': 1, 'AggregationColumn': 1, 'AbstractColumn': 6, 'PortValue': 4, 'SqlOperation': 1, 'Exon': 3, 'CertificatesArea': 2, 'SWT.FULL_SELECTION': 1, 'QueryFilter': 4, 'NodeBrowserComparator': 1, 'Address': 1, 'IllegalStateException': 4, 'SWT.MULTI': 1, 'ColumnWeightData': 1, 'RoyalCommands': 1, 'ResponseEntity': 1, 'InternetAddress': 1, 'ProteinDomainPanel': 1, 'Token': 52, 'ResponseStatus': 1, 'Fraction': 4, 'Player': 1, 'PerfMonJava': 1, 'String': 390, 'FilenameUtils': 1, 'Entry': 1, 'ApplicationProviderRegistration': 2, 'List': 34, 'NonBlockingMessageDialogs': 2, 'Query': 7, 'Tcp': 1, 'JFileChooser.FILES_ONLY': 1, 'ProteinDomain': 2, 'Database': 1, 'PerfMon': 1, 'ExtendedMessageFormat': 2, 'RuntimeMacro': 7, 'StringIndexOutOfBoundsException': 20, 'ExonSummaryVO': 1, 'CharSequence': 1, 'QuerySort': 1, 'UNKNOWN': 286, 'CommandSender': 1, 'Map': 4, 'TableLayout': 1, 'OutputPort': 2, 'Runnable.run()': 1, 'IOpenListener': 1, 'ICertificate': 2, 'ClassLoader': 1, 'NumberRange': 4, 'MutationSummaryVO': 1, 'MultiLineStringBuilder': 2, 'CpuPerc[].length': 1, 'NullPointerException': 7, 'Iterator': 45, 'FileInputStream': 1, 'ParsingError': 1, 'SWT.UP': 1, 'Throwable': 1, 'SortIndex': 1, 'String[].length': 10, 'InternalContextAdapter': 7, 'PatientService': 1, 'LogicalOperator': 1, 'byte[].length': 1, 'ColumnLabelProvider.getText()': 1, 'DoubleRange': 2, 'DialogCallback': 2, 'Step': 1, 'HttpActivator': 2, 'ImodeMail': 1, 'PrintStream': 1, 'Value': 1, 'BasePerfMonCommand': 1, 'ProcCpu': 1, 'RuntimeException': 8, 'AffyAgiParser': 1, 'PrintWriter': 2, 'Map.Entry': 1, 'Swap': 1, 'SigarProxy': 9, 'ApplicationManager': 2, 'GenePanel': 1, 'ProcStat': 1, 'Collection': 8, 'PageImports': 5, 'VirtualAddress': 1, 'SWT.BORDER': 1, 'StrMatcher': 6, 'ChannelDescriptor': 2, 'ReasonType': 4, 'HttpStatus.INTERNAL_SERVER_ERROR': 1, 'TreeViewer': 1, 'ColumnValueFilter': 1, 'Context': 14}
org:apache:commons:lang:text:StrBuilder-trainingLoadTime :	57602
org:apache:commons:lang:text:StrBuilder-trainingTime :	11358
updated_at :	2018-01-15 16:50:34

missing/condition/null_check

sarah

view

missing/condition/null_check

sarah

view

587.1

view

587.2

view

adempiere

1312

success

42.3

Run Details
Project:	adempiere
Version:	1312
Result:	success
# of Findings:	0
Runtime:	42.34 s
created_at :	2018-01-15 16:50:35
dataset :	icse16ex1
detectionLoadTime :	2334
detectionTime :	32
java:lang:String-exampleProjects :	50
java:lang:String-maxPatternSupport :	310
java:lang:String-numberOfPatterns :	65
java:lang:String-numberOfTrainingExamples :	5612
java:lang:String-numberOfUsagesInTrainingExamples :	{'': 20, 'AttributedCharacterIterator.Attribute': 2, 'ClientKeyExchange': 2, 'EmulatedFields': 1, 'ErrorManager': 1, 'SchemaFactory': 2, 'OpenSSLSessionImpl': 2, 'KeyFactory': 4, 'FilePermission': 2, 'JarVerifier': 5, 'FileReader': 1, 'Attributes': 8, 'Attr': 2, 'CacheRequestImpl': 1, 'InvalidKeySpecException': 1, 'Process': 1, 'InvalidPropertiesFormatException': 1, 'Error': 2, 'NoSuchAlgorithmException': 12, 'UnsupportedEncodingException': 6, 'ServiceCacheEntry': 1, 'Inflater': 1, 'CodingErrorAction': 1, 'boolean[].length': 1, 'StackTraceElement': 3, 'XmlPullParser.CDSECT': 2, 'IndexOutOfBoundsException': 4, 'AnnotationMember.name': 1, 'PKIXParameters': 1, 'X500Principal': 4, 'ByteArrayOutputStream': 4, 'Attributes2': 1, 'HttpCookie': 9, 'Buffer': 1, 'Properties': 9, 'KeyPair': 1, 'CharBuffer': 7, 'InvalidAlgorithmParameterException': 3, 'ClientSessionContext.sslCtxNativePointer': 1, 'Integer': 6, 'EntityReferenceImpl': 1, 'SSLException': 2, 'ProcessingInstructionImpl': 1, 'SignedData': 2, 'AnnotationMember': 5, 'DHPublicKey': 2, 'CertStore': 1, 'InvalidObjectException': 1, 'NotSerializableException': 1, 'SocketPermission': 1, 'ObjectSlot': 1, 'NetworkInterface.addresses': 1, 'Services': 2, 'CertificateException': 6, 'Locale': 59, 'AttributeList': 1, 'CoderResult': 2, 'Key': 3, 'KeyManagerFactory': 2, 'ServiceConfigurationError': 2, 'Iterable': 2, 'D': 2, 'StrictLineReader': 3, 'NamedNodeMap': 2, 'IOException': 43, 'GenericDeclaration': 2, 'BufferUnderflowException': 2, 'ObjectInputStream.GetField': 2, 'KXmlParser': 1, 'Comparator.compare()': 1, 'ArrayList': 15, 'SystemEnvironment': 1, 'ASN1StringType': 1, 'SAXParseException': 3, 'DiskLruCache': 1, 'CharsetEncoder': 1, 'XmlPullParser.TEXT': 1, 'LogManager': 1, 'ChunkedInputStream': 1, 'OpenSSLServerSocketImpl': 1, 'NoSuchElementException': 2, 'Long': 5, 'KeyRep': 1, 'IllegalFormatCodePointException': 1, 'ZipInputStream': 1, 'GZIPInputStream': 1, 'Double': 2, 'ServerHelloDone': 1, 'LogRecord': 1, 'X509KeyManager': 2, 'PKCS8EncodedKeySpec': 1, 'GenericArrayType': 1, 'KeyStoreException': 2, 'CoderMalfunctionError': 1, 'ListIterator': 1, 'BufferOverflowException': 2, 'BigDecimal': 6, 'TrustAnchor': 1, 'CertificateExpiredException': 1, 'VirtualMachineError': 2, 'Range': 3, 'XPathFactory': 4, 'UnknownServiceException': 1, 'ByteArrayInputStream': 4, 'X509ExtendedKeyManager': 1, 'UUID': 1, 'Exception': 20, 'ErrorHandler.warning()': 1, 'AlgorithmParameters': 3, 'Text': 2, 'ProtocolException': 2, 'KeyStore.PrivateKeyEntry': 1, 'NetworkInterface': 3, 'Date': 7, 'Timestamp': 1, 'PrintStream': 2, 'EntityResolver.resolveEntity()': 1, 'Editor': 1, 'CRC32': 1, 'ObjectOutputStream.PutField': 2, 'Attribute': 3, 'FileHandler': 2, 'XmlPullParser.ENTITY_REF': 1, 'CookieParser': 6, 'ListOfTypes': 1, 'FileNotFoundException': 2, 'InetAddress': 11, 'DOMException': 6, 'AttributedIterator': 8, 'Enumeration': 7, 'BufferedReader': 7, 'XmlPullParser.END_TAG': 1, 'DataOutputStream': 3, 'Reader': 2, 'URISyntaxException': 14, 'ClientHello': 1, 'NodeList': 3, 'HashMap': 8, 'Engine': 3, 'URLJarHandler': 5, 'DigitalSignature': 2, 'AnnotationFactory': 3, 'Locator': 1, 'X509Certificate': 7, 'StringIndexOutOfBoundsException': 19, 'File': 28, 'NodeImpl': 6, 'CodeSource': 1, 'StringCharacterIterator': 9, 'SecureRandom': 4, 'PolicyInformation': 1, 'BootClassLoader': 1, 'ObjectIdentifier': 2, 'NetworkInterface.children': 1, 'URLStreamHandler': 6, 'IllegalAccessException': 1, 'AbstractStringBuilder': 7, 'NumberFormatException': 31, 'Address': 2, 'IllegalStateException': 10, 'Handler': 1, 'XmlPullParser.START_TAG': 1, 'UnsupportedOperationException': 2, 'URLStreamHandlerFactory': 2, 'MalformedURLException': 4, 'SecurityException': 5, 'SSLContext': 1, 'CertificateEncodingException': 2, 'HeaderParser.CacheControlHandler': 2, 'ContentInfo': 2, 'String': 711, 'Entry': 5, 'NetworkInterface.name': 1, 'CacheControlHandler': 1, 'Certificate': 9, 'DocumentImpl': 4, 'Hashtable': 3, 'Map': 19, 'Stream': 2, 'Set': 21, 'Os': 3, 'Format': 5, 'Field': 3, 'FactoryConfigurationError': 1, 'KeyAgreement': 3, 'NoSuchProviderException': 19, 'SocketException': 3, 'X509CertPathImpl': 3, 'DiskLruCache.Editor': 1, 'CertPathBuilder': 1, 'CertificateParsingException': 1, 'TwoKeyHashMap': 5, 'CertificateVerify': 1, 'Iterator': 37, 'CharArrayWriter': 2, 'DHParameterSpec': 1, 'IdentityScope': 1, 'Document': 3, 'DateFormatSymbols': 3, 'BerOutputStream': 3, 'BufferIterator': 1, 'Console': 1, 'MessageFormat': 6, 'ErrorHandler': 2, 'StringReader': 3, 'ServerKeyExchange': 2, 'Manifest.Chunk': 1, 'PrivateKey': 4, 'StructAddrinfo': 1, 'XmlPullParser.IGNORABLE_WHITESPACE': 1, 'RoundingMode': 1, 'Element': 6, 'Cipher': 5, 'ClientHandshakeImpl': 1, 'Identity': 2, 'EOFException': 2, 'PrintWriter': 1, 'Map.Entry': 8, 'Collection': 2, 'SSLSessionImpl': 3, 'Attributes.Name': 1, 'LexicalHandler': 1, 'CertPathValidatorException': 1, 'ExpatParser': 1, 'FieldPosition': 2, 'ASN1Sequence': 3, 'AttributeTypeAndValue': 4, 'BackingStoreException': 1, 'Boolean': 3, 'Type': 3, 'AttributedString': 10, 'HttpURLConnectionImpl': 1, 'GeneralSecurityException': 1, 'RuleBasedCollatorICU': 1, 'CharSequenceAdapter': 1, 'Logger': 5, 'DecimalFormatSymbols': 6, 'Pattern': 2, 'PermissionCollection': 1, 'ConnectionStateSSLv3': 1, 'InputStream': 22, 'HttpURLConnection': 4, 'Enum': 1, 'HostAndPort': 2, 'StringTokenizer': 7, 'SecretKeyFactory': 1, 'Name': 6, 'Name.name': 1, 'Charset': 25, 'URI': 23, 'NoSuchPaddingException': 3, 'Matcher': 6, 'ResponseHeaders': 6, 'TrustManagerImpl': 1, 'ParserConfigurationException': 3, 'null': 134, 'DuplicateFormatFlagsException': 1, 'HttpEngine': 3, 'InvalidClassException': 1, 'ImplForVariable': 1, 'IvParameterSpec': 1, 'OutputStreamWriter': 2, 'RSAPublicKey': 1, 'RawHeaders': 7, 'ParseException': 2, 'OutputStream': 7, 'HashSet': 2, 'Node': 10, 'CharsetDecoder': 2, 'XmlPullParser.PROCESSING_INSTRUCTION': 1, 'ResourceBundle': 4, 'GeneralName': 3, 'ClassNotFoundException': 3, 'MathContext': 1, 'FtpURLConnection': 2, 'DefaultSSLContextImpl': 2, 'UnknownFormatConversionException': 3, 'JarURLConnection': 5, 'Object': 95, 'SSLEngineImpl': 1, 'XPathFactoryConfigurationException': 2, 'StringBuffer': 16, 'CertPath': 2, 'Calendar': 2, 'Conversion': 1, 'InvalidPreferencesFormatException': 1, 'Runnable': 1, 'HexStringParser': 2, 'CookieHandler': 1, 'SubjectPublicKeyInfo': 1, 'XmlPullParser.DOCDECL': 1, 'Preferences': 2, 'X509CertSelector': 1, 'AttributesImpl': 6, 'Proxy': 5, 'SecretKeySpec': 3, 'KeyStore': 5, 'Control': 2, 'ObjectInputStream': 10, 'BadPaddingException': 2, 'Runtime': 1, 'SealedObject': 2, 'XmlPullParser.COMMENT': 1, 'DocumentBuilder': 1, 'NameConstraints': 1, 'OpenSSLSocketImpl': 2, 'AbstractSessionContext': 1, 'XmlPullParser.END_DOCUMENT': 1, 'ErrorHandler.error()': 1, 'PublicKey': 9, 'TimeZone': 6, 'JarEntry': 4, 'Service': 7, 'StringBuilder': 62, 'ParserAdapter': 3, 'Currency': 2, 'UnknownHostException': 2, 'SimpleDateFormat': 8, 'EntityResolver': 2, 'CipherSpi': 1, 'FormatSpecifierParser': 4, 'ClientSessionContext': 2, 'DataType': 1, 'SSLSession': 3, 'SSLHandshakeException': 1, 'Mac': 1, 'GeneralNames': 1, 'AssertionError': 8, 'CertPathValidator': 1, 'AlgorithmIdentifier': 3, 'MemoryMappedFile': 1, 'InitManifest': 2, 'RequestHeaders': 3, 'ArrayIndexOutOfBoundsException': 2, 'StreamTokenizer': 1, 'SpiAndProvider': 2, 'Provider.Service': 5, 'Proxy.Type': 1, 'AttributeValue': 3, 'StringBufferInputStream': 2, 'PrivateKeyUsagePeriod': 1, 'Provider': 37, 'ASN1Type': 1, 'Formatter': 5, 'DHKey': 1, 'InvalidKeyException': 3, 'DHPublicKeySpec': 2, 'NativeDecimalFormat': 3, 'Vector': 1, 'SSLProtocolException': 2, 'QName': 3, 'HandshakeIODataStream': 1, 'AlgNameMapper': 1, 'AlgorithmParameterGenerator': 1, 'byte': 26, 'ZipEntry': 7, 'StringWriter': 1, 'Retry': 1, 'CertificateRequest': 2, 'IllegalArgumentException': 109, 'ZoneInfo': 2, 'InetSocketAddress': 3, 'TrustManagerFactory': 2, 'DocumentBuilderImpl': 1, 'IllegalFormatConversionException': 1, 'Number': 7, 'FileOutputStream': 1, 'FileURLConnection': 2, 'JarInputStream': 2, 'InputSource': 2, 'ObjectStreamField': 7, 'Level': 3, 'RuntimeException': 2, 'ConfigurationError': 1, 'MessageDigest': 6, 'char': 238, 'SAXNotSupportedException': 2, 'SSLSocketImpl': 1, 'Method': 2, 'CachedDecimalFormat': 1, 'IncompleteAnnotationException': 1, 'ZipException': 4, 'SAXNotRecognizedException': 8, 'Constructor': 2, 'ParsePosition': 13, 'Libcore': 3, 'ChoiceFormat': 5, 'FormatToken': 4, 'SimpleTimeZone': 3, 'ElementImpl': 1, 'T': 1, 'ZoneInfoDB': 2, 'ZipOutputStream': 3, 'java.io.File': 2, 'Manifest': 7, 'PasswordAuthentication': 1, 'AlertException': 1, 'CertificateFactory': 2, 'JarFile': 5, 'ObjectStreamClass': 5, 'CertificateMessage': 2, 'IndexFile': 4, 'InputStreamReader': 7, 'CertificateNotYetValidException': 1, 'XPathFactoryFinder': 2, 'TextImpl': 2, 'ByteBuffer': 5, 'TypeVariable': 3, 'ContentHandlerFactory': 1, 'NumberFormat': 3, 'URLConnection': 10, 'BigInteger': 8, 'Thread': 4, 'ServerSessionContext.sslCtxNativePointer': 1, 'URLHandler': 6, 'IllegalCharsetNameException': 1, 'UNKNOWN': 2, 'TrustedCertificateStore': 1, 'InvalidParameterException': 3, 'CDATASectionImpl': 2, 'BufferedWriter': 2, 'ClassLoader': 16, 'Time': 1, 'URL': 42, 'Scanner': 1, 'CipherSuite': 6, 'CharArrayBuffer': 1, 'DecimalFormat': 2, 'ExpatReader': 2, 'org.apache.harmony.security.asn1.ObjectIdentifier': 1, 'InterfaceAddress': 1, 'UnicodeBlock': 2, 'KeyGenerator': 1, 'ObjectOutputStream': 2, 'DocumentTypeImpl': 1, 'UTFDataFormatException': 1, 'ServerSessionContext': 2, 'ThreadDeath': 2, 'Throwable': 6, 'Class': 30, 'ContentHandler': 3, 'Inet6Address': 1, 'ErrorHandler.fatalError()': 1, 'NullPointerException': 68, 'X509TrustManager': 2, 'Signature': 1, 'BigInt': 1, 'Package': 6, 'Comparator': 2, 'Attributes2Impl': 1, 'KeyPairGenerator': 2, 'Duration': 2, 'SecurityAccess': 2, 'ArithmeticException': 1, 'VerifierEntry': 1, 'ServerHello': 2, 'AbstractPreferences': 6, 'X509EncodedKeySpec': 1, 'FactoryFinder': 1, 'DocumentBuilderFactory': 1, 'URLClassLoader': 1, 'CharSequence': 11, 'RandomAccessFile': 1, 'List': 34, 'TimezoneGetter': 1, 'ServerHandshakeImpl': 1, 'DateFormat': 1, 'WeakReference': 1, 'StringExponentPair': 3, 'SAXException': 3, 'HeaderParser.CacheControlHandler.handle()': 2, 'GenericSignatureParser': 1, 'CertificatePolicies': 1, 'Appendable': 2, 'IllegalBlockSizeException': 2, 'Context': 3, 'LocaleData': 6, 'X509CertImpl': 2, 'FileInputStream': 3}
java:lang:String-trainingLoadTime :	38981
java:lang:String-trainingTime :	463
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	1168
updated_at :	2018-01-15 16:50:35

missing/call
superfluous/call

view

missing/call
superfluous/call

view

alibaba-druid

e10f28

success

77.0

Run Details
Project:	alibaba-druid
Version:	e10f28
Result:	success
# of Findings:	0
Runtime:	76.98 s
created_at :	2018-01-15 16:50:35
dataset :	icse16ex1
detectionLoadTime :	9479
detectionTime :	29
javax:crypto:Cipher-exampleProjects :	50
javax:crypto:Cipher-maxPatternSupport :	36
javax:crypto:Cipher-numberOfPatterns :	7
javax:crypto:Cipher-numberOfTrainingExamples :	284
javax:crypto:Cipher-numberOfUsagesInTrainingExamples :	{'Iterator': 2, 'ClientKeyExchange': 4, 'Provider': 8, 'GeneralSecurityException': 4, 'DHKey': 2, 'PKCS8EncodedKeySpec': 8, 'InvalidKeyException': 14, 'DHPublicKeySpec': 4, 'Object': 8, 'SSLProtocolException': 12, 'ConnectionStateSSLv3': 6, 'InvalidKeySpecException': 2, 'ConnectionStateTLS': 6, 'DHParameterSpec': 2, 'CertificateRequest': 4, 'IllegalArgumentException': 6, 'ClientHello': 2, 'NoSuchPaddingException': 12, 'ConnectionState': 6, 'null': 20, 'DigitalSignature': 12, 'IvParameterSpec': 4, 'MessageDigest': 4, 'RSAPublicKey': 2, 'byte': 22, 'ByteArrayOutputStream': 2, 'IllegalStateException': 12, 'SecureRandom': 12, 'ServerHello': 4, 'SignatureException': 4, 'ServerHandshakeImpl': 2, 'CipherOutputStream': 2, 'CipherInputStream': 2, 'InvalidAlgorithmParameterException': 10, 'DigestException': 2, 'SSLException': 4, 'DHPublicKey': 4, 'ServerHelloDone': 2, 'Serializable': 2, 'AlertException': 16, 'SSLEngineImpl': 2, 'CertificateMessage': 4, 'String': 58, 'Key': 12, 'X509Certificate': 6, 'Certificate': 2, 'Runnable': 2, 'IOException': 16, 'BigInteger': 4, 'Stream': 12, 'Set': 2, 'KeyAgreement': 4, 'NoSuchProviderException': 2, 'ObjectInputStream': 6, 'CipherSuite': 10, 'NullPointerException': 16, 'CertificateVerify': 2, 'OutputStream': 2, 'KeyFactory': 4, 'ObjectOutputStream': 2, 'HandshakeIODataStream': 2, 'SealedObject': 6, 'ServerSessionContext': 2, 'PublicKey': 4, 'X509KeyManager': 2, 'Class': 2, 'BadPaddingException': 20, 'EncryptedPrivateKeyInfo': 8, 'ServerKeyExchange': 4, 'PrivateKey': 4, 'Signature': 8, 'CipherSpi': 2, 'NullCipherSpi': 2, 'KeyPairGenerator': 2, 'NoSuchAlgorithmException': 16, 'Cipher': 46, 'ClientHandshakeImpl': 2, 'ByteArrayInputStream': 6, 'SSLSocketImpl': 2, 'Exception': 10, 'AlgorithmParameters': 12, 'AssertionError': 2, 'X509ExtendedKeyManager': 2, 'KeyPair': 2, 'X509TrustManager': 2, 'SpiAndProvider': 2, 'IllegalBlockSizeException': 18, 'SSLSessionImpl': 8}
javax:crypto:Cipher-trainingLoadTime :	66927
javax:crypto:Cipher-trainingTime :	64
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	12207
updated_at :	2018-01-15 16:50:35

missing/call

view

missing/exception handling

view

closure

114

success

14.2

superfluous/condition/null_check

view

319

success

719

208.7

Run Details
Project:	closure
Version:	319
Result:	success
# of Findings:	719
Runtime:	208.66 s
created_at :	2018-01-15 16:50:36
dataset :	icse16ex1
detectionLoadTime :	14665
detectionTime :	36497
java:util:Iterator-exampleProjects :	50
java:util:Iterator-numberOfUsagesInTrainingExamples :	{}
java:util:Iterator-trainingLoadTime :	34023
java:util:Iterator-trainingTime :	16
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	3009
numberOfTargets :	6344
numberOfViolations :	719
org:kohsuke:args4j:spi:Parameters-exampleProjects :	50
org:kohsuke:args4j:spi:Parameters-maxPatternSupport :	8
org:kohsuke:args4j:spi:Parameters-numberOfPatterns :	14
org:kohsuke:args4j:spi:Parameters-numberOfTrainingExamples :	604
org:kohsuke:args4j:spi:Parameters-numberOfUsagesInTrainingExampl :	{'Branch.NameKey': 3, 'TimeSpan': 1, 'RevCommitHandler': 1, 'AccountGroupIdHandler': 7, 'Result': 1, 'ObjectId': 27, 'OptionHandlerImpl': 1, 'Pattern': 1, 'Args4JClassOptionHandler': 1, 'RevTreeHandler': 1, 'CommaSeparatedStripedListOptionHandler': 1, 'IllegalArgumentException': 19, 'DirCache': 8, 'CLIText.notAJgitCommand': 3, 'ObjectReader': 3, 'null': 1, 'Project.NameKey': 3, 'ChangeIdHandler': 3, 'PathFilter': 8, 'Level': 2, 'PatchSet.Id': 7, 'CLIText.notAnObject': 3, 'char': 1, 'AccountIdHandler': 7, 'GroupReference': 3, 'AccountGroup': 10, 'AccountGroupUUIDHandler': 6, 'PatternSyntaxException': 1, 'DateTimeFormatter': 1, 'CLIText': 15, 'Constructor': 1, 'CmdLineException': 118, 'IllegalAccessException': 1, 'WorkingTreeOptions.KEY': 3, 'StringWrapperOptionHandler': 1, 'ClassNotFoundException': 1, 'org.dbview.utils.Strings': 1, 'SubcommandHandler': 1, 'SecurityException': 1, 'UntrackedFilesHandler': 1, 'CLIText.onlyOneMetaVarExpectedIn': 3, 'SpecialStringOptionHandler': 1, 'String': 140, 'WorkingBooleanOptionHandler': 1, 'InvocationTargetException': 1, 'URL': 4, 'IOException': 24, 'IncorrectObjectTypeException': 16, 'ProjectControlHandler': 7, 'CommandRef': 8, 'UNKNOWN': 114, 'DateTime': 1, 'TimeSpanOptionHandler': 1, 'NoSuchProjectException': 7, 'InstantiationException': 1, 'Parameters': 151, 'MalformedURLException': 4, 'OrmException': 10, 'RegexOptionHandler': 1, 'DateOptionHandler': 1, 'Iterator': 16, 'TopLevelItem': 2, 'CmdLineParser': 22, 'AbstractTreeIteratorHandler': 1, 'WindowCursor': 5, 'SocketUtil': 4, 'Hudson': 4, 'CanonicalTreeParser': 8, 'Class': 2, 'CLIText.notATree': 6, 'ArrayList': 5, 'MessageFormat': 21, 'MissingObjectException': 16, 'Repository': 24, 'Change': 3, 'File': 8, 'PatchSetIdHandler': 7, 'List': 9, 'CLIText.notAnIndexFile': 3, 'FS.DETECTED': 3, 'RevWalk': 16, 'NoSuchMethodException': 1, 'SocketAddressHandler': 7, 'String[].length': 3, 'Account': 7, 'Exception': 1, 'CLIText.cannotReadBecause': 6, 'ProjectUtil': 2, 'AbstractProjectOptionHandler': 2, 'Change.Key': 3, 'ZooKeeperPathOptionHandler': 1, 'DistributionStrategy': 1, 'PathUtils': 1, 'TopLevelItemOptionHandler': 2, 'ObjectIdHandler': 1, 'AbstractProject': 2, 'PathFilterGroup': 8, 'Messages.ILLEGAL_OPERAND': 1}
org:kohsuke:args4j:spi:Parameters-trainingLoadTime :	65285
org:kohsuke:args4j:spi:Parameters-trainingTime :	55611
updated_at :	2018-01-15 16:50:36

missing/exception handling

sarah

view

dmmc-1023

missing/condition/value_or_state

sarah

view

dmmc-13

missing/condition/value_or_state

sarah

view

mudetect-12

missing/condition/value_or_state

view

mudetect-13

missing/condition/value_or_state

view

mudetect-18

missing/condition/value_or_state

view

tikanga-2

missing/condition/value_or_state

sarah

view

tikanga-6

missing/condition/value_or_state

sarah

view

httpclient

302

success

149

154.2

Run Details
Project:	httpclient
Version:	302
Result:	success
# of Findings:	149
Runtime:	154.24 s
created_at :	2018-01-15 16:50:36
dataset :	icse16ex1
detectionLoadTime :	1443
detectionTime :	11837
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	3146
numberOfTargets :	1292
numberOfViolations :	149
org:apache:commons:httpclient:HttpConnection-exampleProjects :	50
org:apache:commons:httpclient:HttpConnection-maxPatternSupport :	88
org:apache:commons:httpclient:HttpConnection-numberOfPatterns :	52
org:apache:commons:httpclient:HttpConnection-numberOfTrainingExa :	3236
org:apache:commons:httpclient:HttpConnection-numberOfUsagesInTra :	{'': 15, 'HttpMethodParams': 136, 'Collections': 4, 'Autor': 1, 'HostParams': 8, 'HttpClientParams': 12, 'ProtocolSocketFactory': 22, 'Wire.CONTENT_WIRE': 14, 'MalformedCookieException': 11, 'InputStream': 88, 'HttpConnectionAdapter': 4, 'GetMethod': 4, 'URI': 7, 'Reference': 4, 'ServerIsNotReadyException': 1, 'AuthScope.ANY_PORT': 1, 'null': 136, 'HttpConnection': 442, 'ConnectResponse': 4, 'Socket': 38, 'OutputStream': 37, 'ProxyHost': 4, 'ByteArrayOutputStream': 2, 'RequestEntity': 4, 'Properties': 1, 'Integer': 6, 'Strings.SPACE_STRING': 1, 'URIException': 4, 'Recorder': 6, 'HttpRecorder': 8, 'MethodRetryHandler': 4, 'HttpVersion': 37, 'SimpleHttpConnectionManager': 12, 'URLEncoder': 1, 'SimpleAuthenticator': 1, 'StringBuffer': 21, 'HttpConnectionParams': 76, 'InterruptedException': 7, 'IOException': 53, 'Protocol': 82, 'JSONArray': 4, 'ConnectionParameters': 1, 'HostConfiguration': 64, 'HttpParams': 4, 'InvalidRedirectLocationException': 4, 'EntityEnclosingMethod': 4, 'Long': 4, 'WaitingThread': 4, 'ResponseConsumedWatcher': 11, 'ArrayList': 4, 'StringBuilder': 4, 'AuthChallengeException': 8, 'ConnectMethod': 12, 'UnknownHostException': 2, 'HttpState': 44, 'ConnectionInfo': 14, 'Integer.MAX_VALUE': 11, 'GZIPOutputStream': 2, 'DummyConnectionManager': 8, 'MimeType': 1, 'Authenticator': 1, 'ProtocolException': 30, 'HttpHost': 4, 'CircularRedirectException': 4, 'HttpMethodBase': 59, 'HostConnectionPool': 12, 'URISyntaxException': 1, 'BufferedOutputStream': 14, 'InvalidCredentialsException': 4, 'Object': 5, 'ConnectionSource.connectionPool': 4, 'ConnectionPool': 16, 'HttpConnectionManager': 4, 'InetAddress': 31, 'WebdavConnectionManager': 1, 'IPStoringHttpConnection': 4, 'Header': 113, 'HttpMethod': 43, 'IllegalArgumentException': 56, 'JSONObject': 4, 'AuthScheme': 20, 'CookieVersionSupport': 4, 'NotModifiedException': 1, 'NetworkAddress': 2, 'CookieSpec': 22, 'IPHttpConnectionManager': 4, 'ConnectionSource': 4, 'SecureProtocolSocketFactory': 11, 'COM.dragonflow.ApacheHttpClientUtils.ApacheCookieSpec': 1, 'char': 8, 'File': 2, 'Wire.HEADER_WIRE': 35, 'CredentialsNotAvailableException': 4, 'HeaderElement': 11, 'Credentials': 24, 'Cookie': 23, 'IllegalStateException': 111, 'HttpException': 4, 'HttpMethodRetryHandler': 4, 'StatusLine': 4, 'StorageProperties.TRANSFER_CHUNK_SIZE': 2, 'String': 441, 'Strings.UNIX_NEW_LINE_STRING': 1, 'AuthState': 28, 'SingleHttpConnectionManager': 7, 'Set': 4, 'Thread': 11, 'XUtilSimpleHttpConnectionManager': 1, 'UNKNOWN': 177, 'Wire': 28, 'Map': 8, 'System': 22, 'URL': 4, 'AuthScope.ANY_SCHEME': 1, 'ChunkedOutputStream': 6, 'Iterator': 27, 'BufferedInputStream': 14, 'HttpMethodDirector': 20, 'ThreadLocalHttpConnectionManager': 7, 'RedirectException': 4, 'InterruptedIOException': 22, 'PutMethodWithProgress': 2, 'HttpConnectionManagerParams': 15, 'HttpContent': 3, 'SortedMap': 7, 'NoHttpResponseException': 11, 'LinkedList': 8, 'AuthScope': 16, 'RuntimeException': 4, 'HttpConnectionWithReference': 4, 'HeaderGroup': 30, 'List': 4, 'Collection': 4, 'AuthenticationException': 8, 'HttpRecoverableException': 4}
org:apache:commons:httpclient:HttpConnection-trainingLoadTime :	118563
org:apache:commons:httpclient:HttpConnection-trainingTime :	21132
updated_at :	2018-01-15 16:50:36

missing/call

view

444

success

147

79.8

Run Details
Project:	httpclient
Version:	444
Result:	success
# of Findings:	147
Runtime:	79.75 s
created_at :	2018-01-15 16:50:36
dataset :	icse16ex1
detectionLoadTime :	1921
detectionTime :	8200
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	1140
numberOfTargets :	1538
numberOfViolations :	147
org:apache:commons:httpclient:auth:AuthState-exampleProjects :	20
org:apache:commons:httpclient:auth:AuthState-maxPatternSupport :	14
org:apache:commons:httpclient:auth:AuthState-numberOfPatterns :	13
org:apache:commons:httpclient:auth:AuthState-numberOfTrainingExa :	1844
org:apache:commons:httpclient:auth:AuthState-numberOfUsagesInTra :	{'': 7, 'CredentialsProvider': 1, 'HttpMethodParams': 35, 'Map': 23, 'IOException': 1, 'HostParams': 15, 'Set': 7, 'Protocol': 7, 'HttpClientParams': 14, 'UNKNOWN': 24, 'XmlRpcException': 1, 'HostConfiguration': 4, 'HttpConnectionInputStream': 1, 'InputStream': 24, 'HackedHttpMethodDirector': 2, 'InvalidRedirectLocationException': 4, 'Header': 29, 'HTTPAuthProvider': 1, 'HttpMethod': 59, 'CrawlURI': 1, 'IllegalArgumentException': 14, 'ProxyAuthenticationRequiredException': 1, 'AuthScheme': 52, 'MalformedChallengeException': 1, 'NLS': 1, 'AuthenticationRequiredException': 1, 'NotModifiedException': 1, 'HttpConnection': 7, 'null': 10, 'HttpMethodDirector': 16, 'AuthChallengeProcessor': 1, 'RedirectException': 7, 'CircularRedirectException': 7, 'AuthChallengeException': 14, 'ConnectMethod': 7, 'HttpState': 1, 'HttpClient': 1, 'HttpMethodBase': 10, 'HTTPAuthStore.Entry': 1, 'Credentials': 29, 'AuthScope': 29, 'URI': 9, 'URIException': 9, 'Activator': 1, 'IProgressMonitor': 1, 'UURI': 1, 'Collection': 7, 'AuthenticationException': 16, 'Arrays': 1, 'StatusLine': 8, 'UsernamePasswordCredentials': 1, 'HTTPAuthScheme': 1, 'HeaderGroup': 23, 'String': 90, 'Entry': 1, 'Iterator': 7, 'ConnectionException': 1, 'AuthState': 77}
org:apache:commons:httpclient:auth:AuthState-trainingLoadTime :	40689
org:apache:commons:httpclient:auth:AuthState-trainingTime :	27599
updated_at :	2018-01-15 16:50:36

missing/call

sarah

view

missing/call

sarah

view

452

success

38.6

missing/call
superfluous/call

view

itext

5091

success

356

213.6

Run Details
Project:	itext
Version:	5091
Result:	success
# of Findings:	356
Runtime:	213.57 s
com:itextpdf:text:pdf:PdfArray-exampleProjects :	13
com:itextpdf:text:pdf:PdfArray-maxPatternSupport :	709
com:itextpdf:text:pdf:PdfArray-numberOfPatterns :	154
com:itextpdf:text:pdf:PdfArray-numberOfTrainingExamples :	6300
com:itextpdf:text:pdf:PdfArray-numberOfUsagesInTrainingExamples :	{'ResourceDictionary': 4, 'CMSEnvelopedData': 3, 'Level.SEVERE': 4, 'BmpImage': 3, 'MultimediaExtractor': 4, 'BadPasswordException': 3, 'Deflater': 9, 'Destination': 3, 'PdfException': 2, 'PdfWriter': 97, 'PdfPageLabels': 3, 'UNKNOWN.crls': 2, 'BaseFont': 14, 'PdfContentStreamProcessor': 15, 'PdfCollectionSchema': 2, 'PdfDate': 3, 'LtvVerifier': 4, 'InvalidPdfException': 3, 'returnType': 4, 'CMYKColor': 9, 'PdfPHeaderCell': 2, 'ListItem': 4, 'ExternalSignatureContainer': 2, 'Integer': 58, 'PushGraphicsState': 4, 'Node': 3, 'PdfCollectionItem': 2, 'PdfLayer': 27, 'Object[][].length': 2, 'Item': 31, 'AcroFields': 30, 'PdfOCG': 6, 'PdfCollection': 2, 'Key': 3, 'IOException': 53, 'PdfStream': 50, 'Logger': 4, 'RecipientId': 3, 'PdfPageEvent': 5, 'SpotColor': 6, 'OutputStreamEncryption': 6, 'LocalDestinationEvent': 2, 'ImageIO': 2, 'FilteredTextRenderListener': 3, 'PageRefs': 9, 'BadPdfFormatException': 2, 'TIFFLZWDecoder': 3, 'ResultSet': 2, 'Movie': 8, 'Linear': 1, 'PngWriter': 3, 'PdfTemplate': 15, 'TIFFField': 3, 'PdfNull': 12, 'ListIterator': 3, 'FieldRational': 3, 'IllegalPdfSyntaxException': 4, 'Type1Font': 3, 'RecipientInformation': 3, 'ByteArrayInputStream': 5, 'OCSPResp': 2, 'Exception': 40, 'PdfStamper': 7, 'PdfCopyFieldsImp': 9, 'PdfDecoder.FINALIMAGES': 2, 'PtIdentifier': 1, 'DrawInterface': 2, 'Image': 32, 'PdfTrailer': 4, 'TIFFFaxDecompressor': 1, 'PdfCrossReference': 3, 'ColumnText': 1, 'PrintStream': 2, 'FilterHandlers.FilterHandler': 2, 'LockAction': 2, 'FieldShort': 3, 'PdfDocument': 8, 'PngImage': 6, 'PdfImportedLink': 9, 'PdfRectangle': 20, 'PdfStamperImp': 20, 'PdfSigGenericPKCS': 1, 'PdfDecoder': 2, 'LongHashtable': 2, 'SignaturePermissions': 2, 'Version': 4, 'PdfReaderInstance': 3, 'HashMap': 63, 'Object.length': 3, 'Integer[].length': 3, 'KubrickDocumentary': 2, 'TiffWriter': 3, 'ImgJBIG2': 6, 'Page': 2, 'byte': 28, 'SAXException': 3, 'PdfAppearance': 18, 'Collections': 3, 'IllegalStateException': 5, 'KubrickMovies': 2, 'PdfName': 418, 'BaseField': 3, 'PdfActionEvent': 2, 'PdfString': 158, 'PdfAction': 20, 'String': 311, 'StampContent': 6, 'PdfPCell': 6, 'Certificate': 1, 'PdfString.value': 2, 'PdfXConformanceException': 6, 'Set': 39, 'PdfArray': 539, 'PdfPage': 3, 'Map': 22, 'System': 12, 'Float': 13, 'Director': 2, 'Type3Glyph': 3, 'TreeMap': 3, 'String.length': 9, 'PdfBoolean': 24, 'UNKNOWN.ocsps': 2, 'Iterator': 147, 'PdfAnnotation': 30, 'Document': 8, 'PdfPatternPainter': 3, 'PdfEncryption': 18, 'PdfCopy': 8, 'AcroFields.Item': 6, 'FieldAscii': 3, 'TokenType': 9, 'PdfObject': 357, 'ColorDetails': 3, 'KubrickDvds': 2, 'ExtendedColor': 3, 'PrivateKey': 1, 'Customer': 2, 'PdfStructureElement': 13, 'Font': 1, 'TextExtractionStrategy': 3, 'KubrickCollection': 2, 'Map.Entry': 29, 'PdfPKCS7': 6, 'Collection': 3, 'ContentByteUtils': 1, 'IntHashtable': 33, 'RandomAccessSourceFactory': 6, 'KubrickBox': 2, 'BasicOCSPResp': 2, 'Boolean': 2, 'BufferedImage': 2, 'PdfNumber': 258, 'GeneralSecurityException': 2, 'Statement': 2, 'IAccessibleElement': 2, 'DeflaterOutputStream': 12, 'Phrase': 3, 'System.out': 3, 'InputStream': 13, 'Type3Font': 3, 'GrayColor': 9, 'StringTokenizer': 12, 'XfaForm': 3, 'PdfContentByte': 20, 'null': 171, 'DocumentFont': 6, 'LockPermissions': 2, 'PdfContentParser': 3, 'Matrix': 4, 'PdfSignatureAppearance': 8, 'OCSPException': 2, 'OutputStream': 11, 'HashSet': 23, 'PdfTextArray': 2, 'PdfFormField': 18, 'FdfReader': 3, 'PdfDestination': 9, 'PRStream': 27, 'PopGraphicsState': 4, 'Float.NaN': 5, 'PdfCopy.RefKey': 2, 'PdfChunk': 2, 'PRTokeniser': 3, 'PdfDictionary': 351, 'CustomerFacadeREST': 2, 'PushbuttonField': 9, 'StringBuffer': 12, 'PdfTargetDictionary': 4, 'Math.PI': 3, 'SorterComparator': 3, 'X509CRL': 2, 'TrueTypeFont': 3, 'Base64': 1, 'PdfAcroForm': 3, 'DatabaseConnection': 6, 'DocumentBuilder': 3, 'PdfOCProperties': 6, 'RecipientInformationStore': 3, 'ClassCastException': 3, 'PdfBody': 3, 'GifImage': 3, 'FieldUndefined': 3, 'PdfShading': 6, 'PdfEFStream': 3, 'GraphicsState': 4, 'ArrayList': 87, 'PdfPTable': 4, 'CMap': 1, 'CCITTG4Encoder': 3, 'Stack': 3, 'Math': 27, 'RefKey': 8, 'RandomAccessSource': 6, 'ShadingColor': 3, 'X509CertificateHolder': 2, 'FieldLock': 2, 'PatternColor': 3, 'PdfLiteral': 6, 'ImgWMF': 3, 'PdfXConformanceImp': 2, 'UnsupportedPdfException': 9, 'GraphicsState.ctm': 4, 'PdfStructTreeController': 2, 'RichMediaAnnotation': 5, 'PdfImageObject': 6, 'Object': 55, 'Angular': 1, 'Annotation': 3, 'PdfReader': 72, 'IllegalArgumentException': 46, 'PRIndirectReference': 54, 'TIFFDirectory': 3, 'PdfCollectionSort': 2, 'Book': 2, 'PdfIndirectReference': 175, 'RenderFilter': 3, 'BaseColor': 25, 'char': 38, 'FieldLong': 3, 'DocumentException': 20, 'ImageBytesType': 2, 'PdfLine': 2, 'PdfShadingPattern': 3, 'PdfSpotColor': 6, 'UNKNOWN.object': 2, 'CMapToUnicode': 2, 'Arrays': 6, 'CertificateFactory': 2, 'PdfFileSpecification': 4, 'com.itextpdf.text.DocWriter': 3, 'PageResources': 3, 'ByteBuffer': 26, 'TabStop': 2, 'PdfIndirectObject': 56, 'UNKNOWN.certs': 2, 'PdfIsoConformance': 2, 'XmpReader': 3, 'Xml2SomDatasets': 3, 'FileAttachmentEvent': 2, 'UNKNOWN': 307, 'MessageDigest': 3, 'PdfPages': 3, 'Xml2Som': 6, 'XmpWriter': 3, 'URL': 3, 'PdfDashPattern': 3, 'PdfFunction': 9, 'TIFFFaxDecoder': 1, 'Paragraph': 2, 'PdfFont': 2, 'Square': 1, 'ExceptionConverter': 59, 'Rectangle': 53, 'String[].length': 18, 'PdfImage': 9, 'RandomAccessFileOrArray': 16, 'PdfStructureTreeRoot': 6, 'TextField': 9, 'ByteArrayOutputStream': 37, 'FileOutputStream': 16, 'RuntimeException': 31, 'Chunk': 6, 'DocumentBuilderFactory': 3, 'PdfImportedPage': 3, 'List': 31, 'Certificate[].length': 1, 'ICC_Profile': 9, 'OutputStreamCounter': 13, 'PageStamp': 12, 'FieldImage': 3}
com:itextpdf:text:pdf:PdfArray-trainingLoadTime :	31335
com:itextpdf:text:pdf:PdfArray-trainingTime :	7843
created_at :	2018-01-15 16:50:36
dataset :	icse16ex1
detectionLoadTime :	13057
detectionTime :	17759
java:util:Iterator-exampleProjects :	50
java:util:Iterator-numberOfUsagesInTrainingExamples :	{}
java:util:Iterator-trainingLoadTime :	25734
java:util:StringTokenizer-exampleProjects :	50
java:util:StringTokenizer-numberOfUsagesInTrainingExamples :	{}
java:util:StringTokenizer-trainingLoadTime :	64475
javax:crypto:Cipher-exampleProjects :	50
javax:crypto:Cipher-maxPatternSupport :	36
javax:crypto:Cipher-numberOfPatterns :	7
javax:crypto:Cipher-numberOfTrainingExamples :	284
javax:crypto:Cipher-numberOfUsagesInTrainingExamples :	{'Iterator': 2, 'ClientKeyExchange': 4, 'Provider': 8, 'GeneralSecurityException': 4, 'DHKey': 2, 'PKCS8EncodedKeySpec': 8, 'InvalidKeyException': 14, 'DHPublicKeySpec': 4, 'Object': 8, 'SSLProtocolException': 12, 'ConnectionStateSSLv3': 6, 'InvalidKeySpecException': 2, 'ConnectionStateTLS': 6, 'DHParameterSpec': 2, 'CertificateRequest': 4, 'IllegalArgumentException': 6, 'ClientHello': 2, 'NoSuchPaddingException': 12, 'ConnectionState': 6, 'null': 20, 'DigitalSignature': 12, 'IvParameterSpec': 4, 'MessageDigest': 4, 'RSAPublicKey': 2, 'byte': 22, 'ByteArrayOutputStream': 2, 'IllegalStateException': 12, 'SecureRandom': 12, 'ServerHello': 4, 'SignatureException': 4, 'ServerHandshakeImpl': 2, 'CipherOutputStream': 2, 'CipherInputStream': 2, 'InvalidAlgorithmParameterException': 10, 'DigestException': 2, 'SSLException': 4, 'DHPublicKey': 4, 'ServerHelloDone': 2, 'Serializable': 2, 'AlertException': 16, 'SSLEngineImpl': 2, 'CertificateMessage': 4, 'String': 58, 'Key': 12, 'X509Certificate': 6, 'Certificate': 2, 'Runnable': 2, 'IOException': 16, 'BigInteger': 4, 'Stream': 12, 'Set': 2, 'KeyAgreement': 4, 'NoSuchProviderException': 2, 'ObjectInputStream': 6, 'CipherSuite': 10, 'NullPointerException': 16, 'CertificateVerify': 2, 'OutputStream': 2, 'KeyFactory': 4, 'ObjectOutputStream': 2, 'HandshakeIODataStream': 2, 'SealedObject': 6, 'ServerSessionContext': 2, 'PublicKey': 4, 'X509KeyManager': 2, 'Class': 2, 'BadPaddingException': 20, 'EncryptedPrivateKeyInfo': 8, 'ServerKeyExchange': 4, 'PrivateKey': 4, 'Signature': 8, 'CipherSpi': 2, 'NullCipherSpi': 2, 'KeyPairGenerator': 2, 'NoSuchAlgorithmException': 16, 'Cipher': 46, 'ClientHandshakeImpl': 2, 'ByteArrayInputStream': 6, 'SSLSocketImpl': 2, 'Exception': 10, 'AlgorithmParameters': 12, 'AssertionError': 2, 'X509ExtendedKeyManager': 2, 'KeyPair': 2, 'X509TrustManager': 2, 'SpiAndProvider': 2, 'IllegalBlockSizeException': 18, 'SSLSessionImpl': 8}
javax:crypto:Cipher-trainingLoadTime :	51531
javax:crypto:Cipher-trainingTime :	23
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	1341
numberOfTargets :	6572
numberOfViolations :	356
updated_at :	2018-01-15 16:50:36

missing/exception handling

view

dmmc-15

missing/condition/value_or_state

sarah

view

dmmc-16

missing/condition/value_or_state

view

dmmc-18

missing/condition/value_or_state

view

dmmc-357

missing/condition/value_or_state

sarah

view

dmmc-61

missing/condition/value_or_state

view

dmmc-937

missing/condition/value_or_state

sarah

view

jadet-5

missing/condition/value_or_state

sarah

view

jadet-9

missing/condition/value_or_state

view

mudetect-15

missing/condition/value_or_state

view

jackrabbit

1601

success

12.1

missing/condition/null_check

view

1678

success

30.9

missing/condition/null_check

view

1694

success

12.1

missing/call

view

missing/call

view

1750

success

93.8

missing/call

view

jfreechart

1025

success

17.4

missing/call

view

103

success

45.0

Run Details
Project:	jfreechart
Version:	103
Result:	success
# of Findings:	0
Runtime:	45.01 s
created_at :	2018-01-15 16:50:36
dataset :	icse16ex1
detectionLoadTime :	11518
detectionTime :	26
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	7137
org:jfree:chart:plot:PlotRenderingInfo-exampleProjects :	50
org:jfree:chart:plot:PlotRenderingInfo-maxPatternSupport :	141
org:jfree:chart:plot:PlotRenderingInfo-numberOfPatterns :	68
org:jfree:chart:plot:PlotRenderingInfo-numberOfTrainingExamples :	5753
org:jfree:chart:plot:PlotRenderingInfo-numberOfUsagesInTrainingE :	{'BufferedImage': 12, 'PathIterator': 3, 'Insets.top': 3, 'BufferedImage.TYPE_INT_ARGB': 12, 'UnitType.ABSOLUTE': 2, 'Rectangle2D.Double': 6, 'Collections.EMPTY_LIST': 3, 'PolarPlot': 3, 'PlotOrientation': 63, 'OutlierList': 3, 'Font.BOLD': 3, 'Plot': 10, 'PiePlotState': 3, 'Layer.BACKGROUND': 2, 'XYZDataset': 3, 'OutlierListCollection': 3, 'XYURLGenerator': 3, 'XYItemRenderer': 3, 'Layer': 1, 'Range': 15, 'CategoryTick': 3, 'CrosshairState': 12, 'null': 111, 'ContourDataset': 6, 'Color.lightGray': 3, 'CategoryLabelPosition': 3, 'Double': 21, 'Number': 21, 'AlphaComposite': 36, 'BlockParams': 3, 'PieURLGenerator': 3, 'PieDataset': 6, 'Comparable': 15, 'Axis': 3, 'HighLowRenderer': 3, 'EntityBlockResult': 3, 'Arc2D.PIE': 3, 'RectangleEdge.TOP': 8, 'RectangleEdge.RIGHT': 8, 'CategoryLabelEntity': 3, 'Color.yellow': 3, 'Point': 6, 'Math.PI': 6, 'RectangularShape': 3, 'FontMetrics': 6, 'OHLCDataset': 6, 'CompassPlot': 3, 'Size2D': 3, 'Zoomable': 4, 'ValueDataset': 9, 'ContourEntity': 6, 'XYItemEntity': 3, 'PieSectionLabelGenerator': 3, 'DeviationRenderer': 3, 'DialShape': 3, 'GeneralPath': 15, 'ClusteredXYBarRenderer': 3, 'PieToolTipGenerator': 3, 'Outlier': 3, 'Rotation': 9, 'StackedXYBarRenderer': 3, 'XYToolTipGenerator': 3, 'XYItemRendererState': 6, 'Rectangle2D': 165, 'CategoryAxis': 6, 'PlotState': 18, 'MeterNeedle[].length': 3, 'RenderingHints.VALUE_ANTIALIAS_OFF': 6, 'CategoryDataset': 6, 'MouseWheelHandler': 4, 'State': 6, 'RectangleEdge': 91, 'Double.POSITIVE_INFINITY': 9, 'ThermometerPlot': 3, 'XYBarPainter': 6, 'ArrayList': 3, 'java.awt.Color.lightGray': 3, 'DatasetRenderingOrder': 6, 'RectangleEdge.LEFT': 14, 'MeterNeedle': 3, 'ValueAxis': 99, 'Area': 9, 'PiePlot3D': 3, 'XYTitleAnnotation': 3, 'Math': 48, 'IntervalXYDataset': 15, 'Ellipse2D': 18, 'TableOrder.BY_ROW': 6, 'RenderingHints.KEY_ANTIALIASING': 6, 'NumberAxis': 3, 'Image': 3, 'ShapeUtilities': 12, 'Color': 3, 'XYShapeRenderer': 3, 'CategoryURLGenerator': 3, 'EntityCollection': 75, 'BoxAndWhiskerXYDataset': 6, 'Line2D': 18, 'DefaultPolarItemRenderer': 3, 'PlotEntity': 3, 'CategoryItemRenderer': 3, 'Color.gray': 3, 'Object': 16, 'MultiplePiePlot': 3, 'UnitType': 3, 'PiePlot': 6, 'IllegalArgumentException': 18, 'Arc2D': 3, 'Arc2D.Double': 3, 'ContourToolTipGenerator': 6, 'Insets': 3, 'SpiderWebPlot': 6, 'CandlestickRenderer': 3, 'ChartPanel': 3, 'Graphics2D': 102, 'Insets.left': 3, 'RendererState': 3, 'Rectangle.x': 3, 'Rectangle.y': 3, 'ShadowGenerator': 12, 'InputEvent.CTRL_MASK': 1, 'CategoryItemEntity': 3, 'Collections': 3, 'ColorBar': 9, 'RectangleEdge.BOTTOM': 14, 'BasicStroke': 3, 'VectorXYDataset': 3, 'ContourPlot': 9, 'Double.NaN': 9, 'Ellipse2D.Double': 6, 'Polygon': 12, 'CategoryCrosshairState': 3, 'XYAnnotationEntity': 3, 'Point.x': 3, 'AxisEntity': 3, 'Point2D': 76, 'String': 48, 'MouseWheelEvent': 4, 'UNKNOWN': 142, 'AlphaComposite.SRC_OVER': 36, 'StandardXYItemRenderer': 3, 'Map': 18, 'AxisSpace': 24, 'AxisState': 30, 'ValueDataset[].length': 3, 'Number[].length': 6, 'PlotRenderingInfo': 196, 'ChartRenderingInfo': 97, 'Shape': 57, 'Iterator': 15, 'Paint': 66, 'TableXYDataset': 3, 'RectangleInsets': 51, 'TextBlock': 3, 'Color.blue': 3, 'Composite': 36, 'ChartComposite': 3, 'Rectangle': 9, 'TableOrder': 9, 'Size2D.width': 2, 'Point.y': 3, 'VectorRenderer': 3, 'TextBlockAnchor': 3, 'RoundRectangle2D': 3, 'PathIterator.SEG_MOVETO': 3, 'CategoryPlot': 24, 'Layer.FOREGROUND': 2, 'XYPlot': 72, 'Font': 9, 'java.awt.Color': 3, 'CategoryToolTipGenerator': 3, 'XYCoordinateType': 3, 'XYDataset': 45, 'List': 18, 'RectangleAnchor': 4, 'PathIterator.SEG_LINETO': 3, 'MeterPlot': 3, 'Stroke': 45, 'Size2D.height': 2, 'PieSectionEntity': 3}
org:jfree:chart:plot:PlotRenderingInfo-trainingLoadTime :	32338
org:jfree:chart:plot:PlotRenderingInfo-trainingTime :	616
updated_at :	2018-01-15 16:50:36

missing/condition/null_check

view

2183

success

151.7

Run Details
Project:	jfreechart
Version:	2183
Result:	success
# of Findings:	77
Runtime:	151.65 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	14422
detectionTime :	50858
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	493
numberOfTargets :	8672
numberOfViolations :	77
org:jfree:chart:plot:XYPlot-exampleProjects :	50
org:jfree:chart:plot:XYPlot-maxPatternSupport :	340
org:jfree:chart:plot:XYPlot-numberOfPatterns :	165
org:jfree:chart:plot:XYPlot-numberOfTrainingExamples :	4106
org:jfree:chart:plot:XYPlot-numberOfUsagesInTrainingExamples :	{'TagAnnotation': 1, 'PathIterator': 2, 'Abstract2DChartPlotter': 1, 'DefaultDecayGraph': 2, 'double[].length': 2, 'Size2D': 2, 'LogAxis': 6, 'CategoryLabelPositions': 2, 'Axis': 6, 'PlotData': 2, 'GraphConfiguration': 1, 'JRChartPlot': 52, 'Plot': 149, 'ColumnHomogeneityChartPanel': 1, 'JXLayer': 2, 'DefaultTableXYDataset': 1, 'XYZDataset': 10, 'DeviationChartPlotter': 2, 'DefaultColorBarEditor': 4, 'Font.PLAIN': 5, 'CustomXYToolTipGenerator': 2, 'Millisecond': 2, 'Color.pink': 1, 'ViewSpectra': 2, 'XYSeries': 11, 'JRCandlestickPlot': 6, 'ParallelPlotter2': 2, 'BufferedImage.TYPE_INT_ARGB': 1, 'BubbleChartPlotter': 1, 'GroupLayout': 2, 'XYTextAnnotation': 2, 'CvsFile': 1, 'WindowAdapter': 2, 'JOptionPane': 1, 'Color.lightGray': 19, 'UnitType.ABSOLUTE': 1, 'Point2D': 34, 'XYAreaRendererState': 2, 'BasicStroke.JOIN_BEVEL': 2, 'Composite': 12, 'DefaultExcitationGraph': 1, 'AbstractXYItemRenderer': 12, 'TickUnits': 1, 'RefineryUtilities': 1, 'SymbolicName': 1, 'BasicStroke.CAP_BUTT': 7, 'XYLineAndShapeRenderer': 59, 'IllegalStateException': 1, 'Comparable': 23, 'Collections.EMPTY_LIST': 1, 'BooleanUtilities': 1, 'HighLowRenderer': 8, 'Color.BLUE': 8, 'Integer': 18, 'EntityBlockResult': 2, 'EvolutionResult': 5, 'GenericReportGenerator': 3, 'RectangleEdge.TOP': 21, 'BasicStroke.CAP_ROUND': 10, 'GlocsaRating': 1, 'XYAnnotation': 7, 'DatasetChangeEvent': 2, 'SelectionType': 1, 'BoxLayout': 1, 'SymbolicNameAnnotation': 2, 'DatasetRenderingOrder': 3, 'TimeZone': 9, 'PlotChangeEvent': 2, 'ImageObserver': 1, 'HistogramChart': 1, 'XYLineAndShapeRenderer.lookupSeriesPaint()': 1, 'ChartMouseListener.chartMouseClicked()': 3, 'HistogramColorChart': 1, 'Double.NEGATIVE_INFINITY': 2, 'Level1Chart': 2, 'RrdXYZDataset': 1, 'BarRenderer': 1, 'AlphaComposite.SRC_OVER': 12, 'LoggerData': 2, 'PaintProvider': 2, 'IOException': 2, 'JFreeChartRender': 3, 'DeviationRenderer': 7, 'Output': 1, 'CvsContent': 5, 'Color.ORANGE': 1, 'PublicCloneable': 2, 'ComponentListener': 2, 'Layer.BACKGROUND': 3, 'JRFillChart': 2, 'ColorizedShapeItemRenderer': 1, 'ImageIO': 1, 'Object[].length': 2, 'ManhattanPlotZoom': 2, 'LinkAndBrushXYPlot': 1, 'OutlierListCollection': 2, 'DateAxis': 22, 'LCBLayout': 2, 'JOptionPane.WARNING_MESSAGE': 1, 'Short.MAX_VALUE': 3, 'Stroke[].length': 2, 'Color.WHITE': 19, 'TextAnchor.BOTTOM_RIGHT': 4, 'HttpServletRequest': 1, 'DB': 1, 'State': 10, 'RectangleEdge': 142, 'Color.LIGHT_GRAY': 15, 'Shape': 55, 'AffineTransform': 4, 'TextAnchor.BOTTOM_LEFT': 3, 'RectangleEdge.LEFT': 10, 'JTable': 1, 'MyOptionPane': 1, 'BorderLayout': 6, 'JPanel': 8, 'EEG_Main': 1, 'Range': 48, 'javax.swing.GroupLayout.DEFAULT_SIZE': 2, 'DomainConfigManagerData': 1, 'StringTokenizer': 1, 'CQRowSetEvent': 1, 'DefaultTableModel': 1, 'Image': 7, 'Title': 1, 'Color': 73, 'TimeLineChart': 1, 'EntityCollection': 49, 'Level.WARNING': 4, 'TimeSeriesDataItem': 1, 'SquareXYAreaRenderer': 2, 'LinkedHashSet': 1, 'StandardChartTheme': 2, 'JRBarPlot': 6, 'RealTimeChart': 1, 'GradientPaintTransformType.HORIZONTAL': 2, 'FetchRequest': 1, 'FlowLayout': 2, 'Dataset': 48, 'Color.CYAN': 1, 'XYBubbleRenderer': 11, 'MyXYToolTipGenerator': 2, 'LegendTitle': 13, 'RangeAxisData': 1, 'StandardXYZURLGenerator': 2, 'PlotConfigurationError': 1, 'BorderFactory': 4, 'OutputElement': 1, 'IntervalMarker': 4, 'IntervalXYDataset': 18, 'Dimension.width': 2, 'ColorBar': 2, 'Color.magenta': 1, 'ComponentListener.componentResized()': 2, 'ChartPanel': 18, 'XYAreaRenderer': 6, 'TimeLine': 1, 'File': 2, 'Graphics2D': 136, 'byte': 6, 'ChartConfig': 2, 'TextAnchor.TOP_RIGHT': 1, 'com.rapidminer.tools.Tools': 1, 'Marker': 18, 'Ellipse2D': 4, 'Collections': 4, 'RectangleEdge.BOTTOM': 8, 'BasicStroke': 36, 'NumberFormatException': 4, 'Config': 3, 'DataTableRow': 2, 'ColorizedBubbleRenderer': 1, 'JInternalFrame': 2, 'GraphUpdateHandler': 4, 'PaintSample': 2, 'WindDataset': 2, 'RangeAxisConfig': 6, 'NumberTickUnit': 1, 'float[].length': 1, 'StrokeSample': 2, 'ColorizedLineAndShapeRenderer': 1, 'String': 221, 'StandardXYSeriesLabelGenerator': 2, 'StackedXYAreaRendererState': 2, 'BlockResult': 3, 'Set': 4, 'BasicStroke.JOIN_ROUND': 10, 'Color.GRAY': 2, 'Color.orange': 1, 'XYImageAnnotation': 2, 'DefaultFileSetVisitor': 1, 'Map': 22, 'System': 5, 'AxisSpace': 22, 'Float': 2, 'BorderLayout.EAST': 1, 'javax.swing.GroupLayout.Alignment.LEADING': 2, 'ObjectVisualizer': 2, 'StandardXYURLGenerator': 6, 'XYAreaRenderer2': 2, 'LegendItem': 26, 'Iterator': 89, 'AbstractChartPanel': 8, 'ImageObserver.imageUpdate()': 1, 'MultipleChartView': 1, 'JRFillChartAxis': 2, 'RectangleAnchor.TOP_LEFT': 1, 'MouseEvent': 3, 'OHLCDataset': 8, 'JTabbedPane': 2, 'DomainConfigManager': 2, 'ChartChangeEventType': 2, 'RendererChangeEvent': 2, 'BorderArrangement': 1, 'CategoryPlot': 23, 'Layer.FOREGROUND': 5, 'ItemEvent': 1, 'TextTitle': 7, 'ChartEntity': 2, 'DefaultPlotEditor': 4, 'XYPlot': 516, 'CutoffPoint': 1, 'Font': 81, 'MarkerManhattenData': 1, 'XYBoxAnnotation': 2, 'XYLine3DRenderer': 2, 'MultiAxisChartHyperlinkProvider': 2, 'XYDotRenderer': 3, 'MarkerKey': 2, 'Map.Entry': 1, 'XYLineAndShapeRenderer.getItemPaint()': 1, 'PlotInstance': 3, 'NumericalValueRange': 1, 'CQRowSetMetaData': 1, 'XYBarRendererState': 2, 'Collection': 17, 'Color.green': 3, 'RectangleAnchor': 2, 'DecimalFormat': 3, 'LineAndShapeRenderer': 4, 'Color.DARK_GRAY': 5, 'StartStopDraggingUI': 2, 'FetchData': 1, 'TextAnchor': 5, 'Stroke': 104, 'TransferStatus.SampleHistory': 1, 'Crosshair': 3, 'Chart': 2, 'LineChartAxis': 1, 'TestPanel': 1, 'ViewPSD': 2, 'CQGraphTerminal': 2, 'BufferedImage': 4, 'ConsolFun.FIRST': 1, 'JLabel': 5, 'TickType': 4, 'JButton': 3, 'OutlierList': 2, 'Font.BOLD': 1, 'XYItemEntity': 10, 'EyeCandySixtiesChartTheme': 2, 'Logger': 4, 'System.out': 1, 'ScatterPlotter2': 1, 'Grouper': 3, 'Color.RED': 14, 'InputStream': 1, 'GapSizeChartPanel': 1, 'LegendItemCollection': 13, 'XYPolygonAnnotation': 2, 'Layer': 6, 'XYTitleAnnotation': 2, 'XYDrawableAnnotation': 2, 'SingleStep': 1, 'AxisLocation': 12, 'CrosshairState': 6, 'SampleQAHetzygPlotZoom': 1, 'CategoryItemRenderer': 10, 'MultipleSeriesChartPlotter': 1, 'GradientPaintTransformer': 6, 'XYErrorRenderer': 2, 'JRAreaPlot': 6, 'null': 163, 'Container': 2, 'JTextField': 2, 'ItemListener.itemStateChanged()': 2, 'Double': 54, 'PlotOrientation': 151, 'Line2D': 37, 'Number': 7, 'AlphaComposite': 12, 'TransferStatus': 1, 'BlockParams': 2, 'XYShapeAnnotation': 2, 'HistogramDataset': 1, 'JRChartDataset': 2, 'IPerfChartPanel': 1, 'XYSplineRenderer': 7, 'ChartProgressEvent': 1, 'ValueMarker': 5, 'StandardXYZToolTipGenerator': 2, 'ValueGenerator': 2, 'Color.white': 38, 'XYLineAnnotation': 2, 'JRHighLowPlot': 6, 'RegularTimePeriod': 3, 'Color.MAGENTA': 1, 'BasicStroke.JOIN_MITER': 5, 'RectangleEdge.RIGHT': 7, 'ChartPlottimeException': 2, 'Color.yellow': 1, 'Point': 8, 'WindowAdapter.windowClosing()': 1, 'Math.PI': 9, 'LegendItemSource.getLegendItems()': 2, 'BlockContainer': 2, 'AddParallelLineDialog': 2, 'ItemListener': 2, 'AltitudeChart': 1, 'ObjectList': 2, 'Size2D.width': 1, 'DistributionPlotter': 2, 'MafChartPanel': 2, 'VectorXYDataset': 2, 'VisitorException': 1, 'VectorRenderer': 2, 'StandardGradientPaintTransformer': 4, 'RectangleAnchor.TOP_RIGHT': 3, 'XYItemRenderer': 161, 'CombinedDomainXYPlot': 19, 'RrdDb': 2, 'BlockBorder': 10, 'RapidXYBarPainter': 2, 'StackedXYBarRenderer': 2, 'XYToolTipGenerator': 24, 'TraceViewChartPanel': 3, 'Rectangle2D': 175, 'Color.BLACK': 17, 'PlotState': 6, 'VERTICAL': 1, 'ReportSettings': 5, 'Area': 2, 'ShapeUtilities': 10, 'LinkAndBrushChartPanel': 5, 'RapidBarPainter': 1, 'CategoryDataset': 6, 'StandardXYToolTipGenerator': 4, 'Double.POSITIVE_INFINITY': 5, 'ArrayList': 4, 'Outlier': 2, 'TimeInterval': 2, 'ControlPoint': 2, 'BorderLayout.CENTER': 3, 'JCheckBox': 5, 'AttitudeChart': 1, 'ValueAxis': 310, 'Date': 5, 'ItemLabelAnchor': 3, 'CQException': 1, 'XYDataset': 163, 'LOCCalculator': 1, 'Stack': 2, 'Math': 57, 'Boolean': 18, 'BufferedReader': 1, 'GradientPaint': 7, 'IntegerMap': 1, 'UnitType': 2, 'BorderLayout.NORTH': 2, 'ChartHyperlinkProvider': 2, 'TextAnchor.TOP_LEFT': 3, 'JRBubblePlot': 6, 'NumberAxis': 70, 'JRLinePlot': 6, 'LearnPanel': 1, 'XYShapeRenderer': 2, 'XYURLGenerator': 20, 'XYSeriesLabelGenerator': 19, 'BoxAndWhiskerXYDataset': 4, 'Color.red': 11, 'HttpServletResponse': 1, 'JRScatterPlot': 8, 'LinkAndBrushPlot': 1, 'Color.gray': 1, 'FixedMillisecond': 2, 'WHITE': 4, 'CategoryTableXYDataset': 5, 'DataTable': 5, 'Zoomable': 2, 'Object': 44, 'Vector': 3, 'BLACK': 2, 'CQRowSet': 1, 'Alignment': 1, 'JFrame': 2, 'SmoothPaintScale': 1, 'ScaleTypeEnum.ON_RANGE_AXIS': 4, 'XYItemRendererState': 30, 'SortedSet': 1, 'TimeSeriesCollection': 11, 'ChartScrollBar': 2, 'LegendTitle.draw()': 3, 'IllegalArgumentException': 69, 'ValueSource': 1, 'JRFillMultiAxisPlot': 2, 'DefaultHighLowDataset': 4, 'ItemEvent.SELECTED': 1, 'MultipleScatterPlotter': 1, 'CandlestickRenderer': 16, 'ChromosomeKey': 1, 'XYCoordinateType': 2, 'char': 1, 'LegendItemSource': 2, 'XYStepAreaRenderer': 2, 'TableXYDataset': 6, 'ExcitationGraph': 1, 'ChartMouseListener': 3, 'ShadowGenerator': 2, 'RangeType': 3, 'XYBarRenderer': 19, 'Paint': 148, 'FastScatterPlot': 2, 'Calculator': 2, 'ContourPlot': 4, 'Double.NaN': 8, 'BorderLayout.SOUTH': 3, 'Ellipse2D.Double': 4, 'MemoryUsageDemo': 1, 'GeneralPath': 22, 'Color.black': 7, 'Polygon': 6, 'Paint[].length': 2, 'RectangleAnchor.BOTTOM_LEFT': 1, 'JRChartDataset.XY_DATASET': 4, 'XYDataImageAnnotation': 2, 'XYSeriesCollection': 20, 'TimeInterval.DateFormatType.DATE_FORMAT_NORMAL': 2, 'ClusteredXYBarRenderer': 3, 'LabelBlock': 1, 'InputStreamReader': 1, 'ItemLabelPosition': 5, 'ChartsBuilder': 1, 'TickUnitSource': 15, 'JRException': 2, 'Selection': 4, 'PlotConfiguration': 7, 'XYPointerAnnotation': 2, 'PaintScale': 1, 'PixelPicker': 1, 'LineChartDataset': 1, 'UNKNOWN': 333, 'HistogramType': 1, 'StandardXYItemRenderer': 12, 'DateFormat': 1, 'MySeriesItemLabelGenerator': 3, 'AxisState': 8, 'ObjectUtilities': 3, 'JRChart': 48, 'SymbolAxis': 8, 'PlotRenderingInfo': 76, 'ChartRenderingInfo': 45, 'DefaultAxisEditor': 4, 'HorizontalAlignment.LEFT': 10, 'XYStepRenderer': 2, 'XYBarPainter': 4, 'TimeSeries': 8, 'ValueTick': 8, 'DecayGraph': 2, 'XYLineAndShapeRenderer.getItemOutlinePaint()': 1, 'PlotSettings': 2, 'JRTimeSeriesPlot': 6, 'RectangleInsets': 29, 'Dimension.height': 2, 'Color.blue': 12, 'PSDItemRenderer': 1, 'JFreeChart': 210, 'Rectangle': 3, 'JComboBox': 3, 'XYBlockRenderer': 4, 'ValueType': 1, 'String[].length': 6, 'PaintScaleLegend': 1, 'System.err': 2, 'javax.swing.BoxLayout.Y_AXIS': 1, 'SimpleDateFormat': 7, 'Color.GREEN': 11, 'XYTrendline': 1, 'SeriesRenderingOrder': 3, 'LinkedList': 2, 'ActionListener': 1, 'TextUtilities': 5, 'RuntimeException': 4, 'CombinedRangeXYPlot': 18, 'CvsRevision': 1, 'AxisCollection': 2, 'RevisionIterator': 1, 'StackedXYAreaRenderer2': 2, 'List': 80, 'Author': 2, 'SeriesChartPlotter': 2, 'XYItemLabelGenerator': 8, 'CategoryAxis': 9, 'ScaleTypeEnum': 2, 'Dimension': 3, 'ColorProvider': 10, 'Color.cyan': 1, 'TransferStatus.Sample': 1, 'Size2D.height': 1, 'XYAnnotationBoundsInfo': 2}
org:jfree:chart:plot:XYPlot-trainingLoadTime :	84073
org:jfree:chart:plot:XYPlot-trainingTime :	1361
updated_at :	2018-01-15 16:50:37

missing/condition/null_check

view

2266

success

1205

6,063.3

Run Details
Project:	jfreechart
Version:	2266
Result:	success
# of Findings:	1205
Runtime:	6063.28 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	14831
detectionTime :	235862
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	178580
numberOfTargets :	8935
numberOfViolations :	1205
org:jfree:chart:plot:CategoryPlot-exampleProjects :	50
org:jfree:chart:plot:CategoryPlot-maxPatternSupport :	80
org:jfree:chart:plot:CategoryPlot-numberOfPatterns :	195
org:jfree:chart:plot:CategoryPlot-numberOfTrainingExamples :	5550
org:jfree:chart:plot:CategoryPlot-numberOfUsagesInTrainingExampl :	{'XYItemRenderer': 14, 'GraphException': 1, 'PlotData': 2, 'PolarPlot': 4, 'Font.SANS_SERIF': 2, 'ObjectList': 4, 'JRChartPlot': 56, 'Plot': 230, 'JFreeChartBarGraphSource': 1, 'Font.PLAIN': 6, 'CategoryTextAnnotation': 6, 'ChartImageWriter': 1, 'DefaultBoxAndWhiskerCategoryDataset.getQ1Value()': 1, 'SymbolAxis': 1, 'RGB': 2, 'IntervalBarRenderer': 4, 'ColoredBarRenderer': 1, 'Comparable': 104, 'BooleanUtilities': 9, 'Color.BLUE': 1, 'Integer': 47, 'CloneNotSupportedException': 4, 'BasicStroke.CAP_ROUND': 5, 'CategoryItemRendererState': 165, 'DatasetChangeEvent': 4, 'JRFont': 6, 'LineChart': 1, 'DatasetRenderingOrder': 9, 'PlotChangeEvent': 5, 'HistogramColorChart': 1, 'PaintProvider': 2, 'CvsContent': 2, 'CombinedDomainCategoryPlot': 26, 'AggregatedTimeChartPanel.clearState()': 1, 'LinkAndBrushXYPlot': 1, 'JRItemLabel': 12, 'OutlierListCollection': 4, 'DateAxis': 12, 'SortOrder.DESCENDING': 8, 'JOptionPane': 1, 'TextAnchor.BOTTOM_RIGHT': 1, 'JFreeChart': 221, 'IndicatorType': 1, 'ChartLabel': 1, 'MouseAdapter.mouseClicked()': 1, 'RectangleEdge': 255, 'Shape': 68, 'RectangleEdge.LEFT': 52, 'BorderLayout': 6, 'JFreeChartLineGraphSource': 1, 'PiePlot3D': 1, 'Range': 75, 'ByteArrayInputStream': 4, 'java.awt.Color.white': 1, 'Exception': 10, 'DataQueryFeatureSource': 1, 'Image': 1, 'GraphicsEnvironment': 1, 'Color': 86, 'Arc2D.OPEN': 1, 'EntityCollection': 104, 'ItemLabelAnchor': 14, 'CategoryAnchor': 21, 'NodeControl': 1, 'CategoryItemRenderer': 206, 'StatisticalLineAndShapeRenderer': 5, 'ChartPlottimeException': 2, 'Dataset': 48, 'StatisticsTotalResult': 1, 'LegendTitle': 14, 'AggregatedTimeChartPanel': 1, 'DomainConfigManager': 2, 'TabItem': 2, 'IntervalMarker': 5, 'HorizontalAlignment.CENTER': 1, 'Color.magenta': 2, 'CustomToolTipGenerator': 2, 'ChartPanel': 5, 'ParetoChartItemLabelGenerator': 1, 'byte': 2, 'GRID_COLOR': 1, 'AggregatedTimeChartPanel.getTitle()': 1, 'Color.GREEN': 1, 'com.rapidminer.tools.Tools': 1, 'Collections': 14, 'RectangleEdge.BOTTOM': 50, 'BasicStroke': 36, 'Statistic': 1, 'DeckChartPanel': 2, 'RangeAxisConfig': 4, 'StrokeSample': 4, 'Point2D': 41, 'String': 254, 'SensorDataAggregator': 1, 'BasicStroke.JOIN_ROUND': 5, 'Collection': 13, 'AbstractCategoryItemRenderer': 25, 'Map': 29, 'AxisSpace': 46, 'Float': 3, 'Tick': 4, 'TestNGTestResultBuildAction': 2, 'StackedAreaRenderer': 8, 'LegendItem': 41, 'MultiValueCategoryDataset': 4, 'StringUtils': 2, 'Level.WARNING': 1, 'KeyEvent.VK_X': 1, 'BoxAndWhiskerCategoryDataset': 8, 'SWTAxisEditor': 4, 'Layer.FOREGROUND': 6, 'GanttCategoryDataset': 8, 'SortOrder.ASCENDING': 5, 'TimeChartPanel': 1, 'CategoryToolTipGenerator': 17, 'MultiAxisChartHyperlinkProvider': 2, 'GraphObject': 2, 'PlotInstance': 3, 'JFreeChartDualAxisGraphSource': 1, 'NumberOnlyBuildLabel': 4, 'Color.green': 19, 'SWT.BORDER': 2, 'StandardCategoryURLGenerator': 51, 'TextAnchor': 25, 'DefaultStatisticalCategoryDataset': 2, 'ListSelectionListener': 1, 'Boolean': 31, 'SelectionAdapter': 2, 'JOptionPane.ERROR_MESSAGE': 1, 'JLabel': 5, 'ChartParameters': 1, 'TextAnchor.CENTER_LEFT': 5, 'StackingMode': 1, 'AggregatedTimeChartPanel.getTotalDataValue()': 1, 'Color.WHITE': 20, 'CategoryURLGenerator.generateURL()': 2, 'RectangleInsets.ZERO_INSETS': 1, 'DimensionConfigData': 1, 'JFileChooser': 1, 'JList': 1, 'BorderFactory': 7, 'KeyEvent.VK_T': 1, 'JRAreaPlot': 12, 'IntervalCategoryDataset': 9, 'DefaultCategoryDataset': 30, 'ChartDatas': 1, 'BarRenderer': 77, 'Double': 36, 'Color.GRAY': 2, 'CombinedRangeCategoryPlotTests': 1, 'LogarithmicAxis': 1, 'OutputStream': 1, 'JFreeChartStackedBarGraphSource': 1, 'TextAnchor.CENTER': 7, 'CombinedCategoryPlot': 2, 'ValueMarker': 17, 'NodeInfoPanel': 1, 'KeyEvent.VK_F': 1, 'DefaultChartTheme': 2, 'RectangleEdge.RIGHT': 43, 'CategoryMarker': 13, 'Rectangle2D': 327, 'BorderLayout.WEST': 1, 'StringBuffer': 1, 'CategoryURLGenerator': 16, 'ParetoChartPlotter': 2, 'DataCollector': 1, 'Runnable': 1, 'JScrollPane': 1, 'StaplerRequest': 1, 'int[].length': 1, 'DataCollector.getCollectedNumber()': 1, 'ObjectInputStream': 4, 'StatisticalBarRenderer': 11, 'ValueType': 1, 'AuthorsActivityChart': 2, 'Color.BLACK': 5, 'ReportSettings': 1, 'ShapeUtilities': 17, 'LinkAndBrushChartPanel': 2, 'RapidBarPainter': 5, 'TimeZone': 2, 'JRSeriesColor': 2, 'Outlier': 4, 'StringBuilder': 1, 'StackedBarRenderer.getSeriesPaint()': 1, 'ValueAxis': 416, 'GlobalHelper': 2, 'MoteProgramAction': 1, 'Math': 112, 'BarChartPanel.addSensorData()': 1, 'ActionListener.actionPerformed()': 1, 'NumberAxis': 90, 'JRLinePlot': 6, 'CategoryLineGraphRenderer': 2, 'TransactionRecordAction': 1, 'XYPlot': 35, 'GetOverlayIcon': 1, 'Color.gray': 4, 'Object': 61, 'CollectServer': 1, 'Effect3D': 12, 'StackedBarRenderer': 13, 'JFrame': 2, 'StandardCategoryItemLabelGenerator': 6, 'SWT.FILL': 2, 'DefaultListModel': 1, 'ObjectOutput': 4, 'ValueSource': 2, 'JRFillMultiAxisPlot': 2, 'StandardEntityCollection': 2, 'Level.INFO': 2, 'TextAnchor.CENTER_RIGHT': 4, 'ListCellRenderer': 1, 'ShadowGenerator': 6, 'CombinedRangeCategoryPlot': 30, 'SortOrder': 10, 'Component': 1, 'Double.NaN': 4, 'Polygon': 1, 'CvsRevision': 2, 'StatisticalCategoryDataset': 12, 'JchartBeta': 2, 'ItemLabelPosition': 17, 'TextAnchor.HALF_ASCENT_CENTER': 1, 'Font.SERIF': 1, 'ColorPalette.BLUE': 4, 'JRException': 2, 'SUCCESS': 1, 'NumberFormat': 4, 'SwingUtilities': 1, 'JTabbedPane.WRAP_TAB_LAYOUT': 1, 'JMenuBar': 1, 'UNKNOWN': 573, 'BarChart': 1, 'JRChart': 48, 'SWT.RIGHT': 2, 'PlotRenderingInfo': 63, 'TextAnchor.BOTTOM_CENTER': 4, 'BarChartPanel': 2, 'ColorPalette.RED': 4, 'LineAndShapeRenderer': 50, 'DefaultDrawingSupplier': 3, 'JFreeChartPlotEngine': 1, 'SimpleFeature': 1, 'Label': 2, 'Color.DARK_GRAY': 4, 'ActionListener': 1, 'StackedAreaRenderer2.generateURL()': 3, 'Arc2D': 1, 'FillLayout': 2, 'SerialConnection': 1, 'BarPainter': 20, 'SelectionAdapter.widgetSelected()': 2, 'TextUtilities': 21, 'ListSelectionListener.valueChanged()': 1, 'DataTable': 2, 'CategoryBarGraphRenderer': 2, 'XYDataset': 6, 'RevisionIterator': 1, 'List': 151, 'DateFormat': 5, 'ChartImageFactory': 1, 'MyPlotChangeListener': 1, 'Dimension': 2, 'XYBarRenderer': 1, 'RectangleConstraint': 1, 'VisualizationType': 1, 'CategoryToolTipGenerator.generateToolTip()': 2, 'LogAxis': 2, 'CategoryLabelPositions': 27, 'Axis': 19, 'GridLayout': 2, 'Paint': 249, 'BufferedImage': 13, 'Output': 1, 'Layer.BACKGROUND': 3, 'DefaultColorBarEditor': 8, 'AreaRendererEndType': 4, 'NumberFormatMine': 1, 'WindowAdapter': 1, 'Color.lightGray': 10, 'CategoryLabelPosition': 4, 'BasicStroke.JOIN_BEVEL': 1, 'AlphaComposite.SRC_OVER': 12, 'DateUtil': 1, 'PamsUser': 1, 'BasicStroke.CAP_BUTT': 5, 'MyBarRenderer': 1, 'Node': 1, 'RectangleEdge.TOP': 45, 'StandardPieToolTipGenerator': 1, 'SelectionType': 1, 'CategoryAnnotation': 4, 'Locale': 5, 'Size2D': 1, 'LevelRenderer': 1, 'IOException': 2, 'SimpleFeatureSource': 1, 'JRFillChart': 2, 'JRBaseFont': 4, 'RendererChangeListener': 4, 'MinMaxCategoryRenderer': 4, 'CategoryLineAnnotation': 6, 'ReportEntry': 1, 'LCBLayout': 4, 'DistributionPlotter': 2, 'SWT.PUSH': 2, 'Stroke[].length': 2, 'BarChartPlotter': 1, 'CategorySeriesLabelGenerator': 28, 'Color.LIGHT_GRAY': 8, 'CategoryPointerAnnotation': 4, 'NumberOnlyBuildLabel.build': 2, 'Calendar.DATE': 1, 'GraphDataInterface': 2, 'LineRenderer3D': 8, 'GridData': 2, 'GanttRenderer': 10, 'LineChartGen': 1, 'TickUnitSource': 44, 'JOptionPane.YES_OPTION': 1, 'StandardChartTheme': 6, 'JRBarPlot': 18, 'GradientPaintTransformType.HORIZONTAL': 4, 'DefaultPlotEditor': 10, 'SubCategoryAxis': 5, 'ColorPalette': 3, 'PlotConfigurationError': 1, 'BiCache': 1, 'AttributeDescriptor': 1, 'MouseAdapter': 1, 'JOptionPane.NO_OPTION': 1, 'ColorBar': 4, 'JLabel.CENTER': 1, 'Encoding': 1, 'File': 2, 'Graphics2D': 260, 'JRBar3DPlot': 12, 'Marker': 21, 'CommitListBuilder': 2, 'PlotOrientation': 314, 'NumberFormatException': 1, 'SeriesFormat': 1, 'GroupedStackedBarRenderer': 8, 'PaintSample': 4, 'ServletActionContext': 1, 'NumberTickUnit': 2, 'SparselyLabeledCategoryAxis': 2, 'JCheckBoxMenuItem': 1, 'Set': 9, 'Color.orange': 6, 'AreaRenderer': 10, 'System': 12, 'ScatterRenderer': 8, 'TreeMap': 4, 'Iterator': 113, 'IntervalCategoryToolTipGenerator': 4, 'JRFillChartAxis': 2, 'Button': 2, 'Visualizer': 1, 'JTabbedPane': 7, 'RendererChangeEvent': 4, 'BorderArrangement': 1, 'CategoryPlot': 829, 'TextTitle': 3, 'StackedBarChartPlotter': 1, 'Font': 120, 'AggregatedTimeChartPanel.createState()': 1, 'PrintWriter': 2, 'HorizontalAlignment.LEFT': 5, 'DecimalFormat': 6, 'ValueTick': 4, 'JComboBox': 4, 'AggregatedTimeChartPanel.getSensorDataValue()': 1, 'Stroke': 188, 'JFreeChartGraphSource': 2, 'SimpleFeatureIterator': 1, 'BufferedImage.TYPE_INT_ARGB': 5, 'TickType': 4, 'TimeChartPanel.getSensorDataValue()': 1, 'JButton': 4, 'OutlierList': 4, 'Font.BOLD': 9, 'CategoryGraphBarPainter': 2, 'Logger': 3, 'System.out': 4, 'CategoryStepRenderer': 1, 'Color.red': 19, 'LegendItemCollection': 24, 'StackedAreaRenderer2.generateToolTip()': 3, 'Layer': 1, 'AxisLocation': 30, 'ColorDialog': 2, 'SWT.CENTER': 2, 'GradientPaintTransformer': 28, 'JMenu': 1, 'null': 252, 'StandardBarPainter': 7, 'Color.RED': 5, 'ChartFrame': 1, 'Number': 101, 'AlphaComposite': 12, 'SerialConsole': 1, 'CylinderRenderer': 1, 'Color.white': 39, 'ChartChangeEventType': 4, 'Graphics': 1, 'DefaultBoxAndWhiskerCategoryDataset': 1, 'BasicStroke.JOIN_MITER': 4, 'Color.yellow': 8, 'Avatar': 1, 'CalendarComparator': 1, 'Math.PI': 35, 'ChartUtil': 1, 'Calendar': 1, 'CategoryLabelWidthType': 4, 'String[].length': 4, 'SWT.DROP_DOWN': 2, 'BarRenderer.getItemPaint()': 2, 'GeneralPath': 31, 'StandardGradientPaintTransformer': 6, 'SWTPlotAppearanceEditor': 4, 'ServletOutputStream': 1, 'OUTLINE_COLOR': 2, 'BlockBorder': 7, 'RapidXYBarPainter': 1, 'BlockContainer': 1, 'CategoryAxis': 365, 'PlotState': 12, 'ColorPalette.YELLOW': 4, 'AxisState': 37, 'SWT.NONE': 4, 'CategoryDataset': 330, 'Group': 4, 'TextAnchor.TOP_CENTER': 3, 'Double.POSITIVE_INFINITY': 4, 'BoxAndWhiskerRenderer': 10, 'ArrayList': 1, 'SWTPlotEditor': 4, 'DefaultPieDataset': 1, 'BorderLayout.CENTER': 1, 'GraphController': 2, 'JCheckBox': 4, 'RangeAxisData': 1, 'GradientPaint': 43, 'BorderLayout.NORTH': 4, 'ChartHyperlinkProvider': 2, 'ValueSourceToMultiValueCategoryDatasetAdapter': 1, 'AbstractChartPanel': 2, 'CategoryDatasetBuilder': 2, 'StackedBarRenderer3D': 6, 'Line2D': 83, 'HttpServletResponse': 1, 'ReFitGraph': 1, 'LinkAndBrushPlot': 1, 'String[][].length': 1, 'Vector': 1, 'TestResult': 1, 'MultiplePiePlot': 1, 'OutputElement': 1, 'RenderedGraph': 1, 'SortedSet': 2, 'PiePlot': 1, 'Commit': 2, 'IllegalArgumentException': 65, 'TexturePaint': 2, 'Composite': 16, 'SensorData': 1, 'CategoryDatasetBuilder.buildData()': 1, 'PlotConfiguration': 5, 'ObjectInput': 4, 'char': 2, 'JMenuItem': 1, 'CategoryItemEntity': 5, 'StackedAreaRenderer2.getItemPaint()': 1, 'ContourPlot': 8, 'BufferedImage[].length': 2, 'Ellipse2D.Double': 8, 'T': 1, 'AxisCollection': 4, 'Color.black': 23, 'GraphHelper': 4, 'Paint[].length': 4, 'CategoryCrosshairState': 12, 'JFileChooser.APPROVE_OPTION': 1, 'MapPanel': 1, 'Arrays': 6, 'DataCollector.getTitle()': 1, 'StandardCategoryToolTipGenerator': 53, 'TabFolder': 2, 'BarRenderer3D': 22, 'MarkerChangeListener': 3, 'JRFontUtil': 4, 'StandardXYItemRenderer': 8, 'PlotSettings': 2, 'ObjectUtilities': 6, 'DefaultShadowGenerator': 1, 'StatisticsResult': 1, 'ValueSourceData': 1, 'ChartRenderingInfo': 15, 'DefaultAxisEditor': 8, 'NullPointerException': 2, 'WaterfallBarRenderer': 4, 'StackedAreaRenderer2': 3, 'RectangleInsets': 42, 'TextBlock': 4, 'Color.blue': 16, 'Rectangle': 2, 'Size2D.width': 1, 'BufferedImage.TYPE_INT_RGB': 6, 'BAR_OUTLINE_WIDTH_THRESHOLD': 3, 'ColorProvider': 4, 'System.err': 1, 'ByteArrayOutputStream': 4, 'CategoryItemLabelGenerator': 93, 'java.awt.Color': 1, 'FileOutputStream': 1, 'RuntimeException': 7, 'DataSetBuilder': 1, 'Author': 2, 'ConnectSerialAction': 1, 'DefaultDimensionConfig': 1, 'CombinedDomainCategoryPlotTests': 1, 'TextBlockAnchor': 4, 'JPanel': 4, 'PublicCloneable': 3, 'Size2D.height': 1}
org:jfree:chart:plot:CategoryPlot-trainingLoadTime :	89138
org:jfree:chart:plot:CategoryPlot-trainingTime :	5717015
updated_at :	2018-01-15 16:50:37

missing/condition/null_check
superfluous/condition/null_check

view

881

success

43.3

missing/condition/null_check

view

missing/condition/null_check

view

jmrtd

success

88.9

missing/call

view

success

65.5

Run Details
Project:	jmrtd
Version:	67
Result:	success
# of Findings:	0
Runtime:	65.52 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	503
detectionTime :	31
javax:crypto:Cipher-exampleProjects :	50
javax:crypto:Cipher-maxPatternSupport :	36
javax:crypto:Cipher-numberOfPatterns :	7
javax:crypto:Cipher-numberOfTrainingExamples :	284
javax:crypto:Cipher-numberOfUsagesInTrainingExamples :	{'Iterator': 2, 'ClientKeyExchange': 4, 'Provider': 8, 'GeneralSecurityException': 4, 'DHKey': 2, 'PKCS8EncodedKeySpec': 8, 'InvalidKeyException': 14, 'DHPublicKeySpec': 4, 'Object': 8, 'SSLProtocolException': 12, 'ConnectionStateSSLv3': 6, 'InvalidKeySpecException': 2, 'ConnectionStateTLS': 6, 'DHParameterSpec': 2, 'CertificateRequest': 4, 'IllegalArgumentException': 6, 'ClientHello': 2, 'NoSuchPaddingException': 12, 'ConnectionState': 6, 'null': 20, 'DigitalSignature': 12, 'IvParameterSpec': 4, 'MessageDigest': 4, 'RSAPublicKey': 2, 'byte': 22, 'ByteArrayOutputStream': 2, 'IllegalStateException': 12, 'SecureRandom': 12, 'ServerHello': 4, 'SignatureException': 4, 'ServerHandshakeImpl': 2, 'CipherOutputStream': 2, 'CipherInputStream': 2, 'InvalidAlgorithmParameterException': 10, 'DigestException': 2, 'SSLException': 4, 'DHPublicKey': 4, 'ServerHelloDone': 2, 'Serializable': 2, 'AlertException': 16, 'SSLEngineImpl': 2, 'CertificateMessage': 4, 'String': 58, 'Key': 12, 'X509Certificate': 6, 'Certificate': 2, 'Runnable': 2, 'IOException': 16, 'BigInteger': 4, 'Stream': 12, 'Set': 2, 'KeyAgreement': 4, 'NoSuchProviderException': 2, 'ObjectInputStream': 6, 'CipherSuite': 10, 'NullPointerException': 16, 'CertificateVerify': 2, 'OutputStream': 2, 'KeyFactory': 4, 'ObjectOutputStream': 2, 'HandshakeIODataStream': 2, 'SealedObject': 6, 'ServerSessionContext': 2, 'PublicKey': 4, 'X509KeyManager': 2, 'Class': 2, 'BadPaddingException': 20, 'EncryptedPrivateKeyInfo': 8, 'ServerKeyExchange': 4, 'PrivateKey': 4, 'Signature': 8, 'CipherSpi': 2, 'NullCipherSpi': 2, 'KeyPairGenerator': 2, 'NoSuchAlgorithmException': 16, 'Cipher': 46, 'ClientHandshakeImpl': 2, 'ByteArrayInputStream': 6, 'SSLSocketImpl': 2, 'Exception': 10, 'AlgorithmParameters': 12, 'AssertionError': 2, 'X509ExtendedKeyManager': 2, 'KeyPair': 2, 'X509TrustManager': 2, 'SpiAndProvider': 2, 'IllegalBlockSizeException': 18, 'SSLSessionImpl': 8}
javax:crypto:Cipher-trainingLoadTime :	64465
javax:crypto:Cipher-trainingTime :	63
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	341
updated_at :	2018-01-15 16:50:37

missing/condition/value_or_state

view

jodatime

1231

success

6.8

missing/condition/null_check

view

lucene

1251

success

90.1

missing/exception handling

view

1918

success

689

2,935.8

Run Details
Project:	lucene
Version:	1918
Result:	success
# of Findings:	689
Runtime:	2935.84 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	4822
detectionTime :	583934
java:util:Iterator-exampleProjects :	50
java:util:Iterator-numberOfUsagesInTrainingExamples :	{}
java:util:Iterator-trainingLoadTime :	32996
java:util:Iterator-trainingTime :	16
java:util:SortedMap-exampleProjects :	50
java:util:SortedMap-numberOfTrainingExamples :	1069
java:util:SortedMap-numberOfUsagesInTrainingExamples :	{'Class': 3, 'Iterator': 2, 'UnmodifiableSortedMap': 6, 'Set': 2, 'SortedMap': 18, 'Comparable': 3, 'K': 8, 'Object': 6, 'TreeSet': 6, 'SynchronizedSortedMap': 6, 'TreeMap': 1, 'Map.Entry': 1, 'IllegalArgumentException': 1, 'Comparator': 14, 'ObjectOutputStream': 1, 'E': 12, 'NavigableMap': 3, 'CheckedSortedMap': 3}
java:util:SortedMap-trainingLoadTime :	95377
java:util:SortedMap-trainingTime :	15
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	4663819
numberOfTargets :	4934
numberOfViolations :	689
org:apache:lucene:index:SegmentInfos-exampleProjects :	41
org:apache:lucene:index:SegmentInfos-maxPatternSupport :	18
org:apache:lucene:index:SegmentInfos-numberOfPatterns :	102
org:apache:lucene:index:SegmentInfos-numberOfTrainingExamples :	5278
org:apache:lucene:index:SegmentInfos-numberOfUsagesInTrainingExa :	{'': 5, 'MergeException': 9, 'Boolean': 9, 'Iterator': 186, 'Collections': 62, 'SegmentCommitInfo': 1, 'CorruptIndexException': 24, 'Status.SegmentInfoStatus': 9, 'DirectoryReader': 37, 'FlushNotAllowedEngineException': 1, 'ReleasableLock': 1, 'Logger': 1, 'DecimalFormatSymbols': 4, 'Pattern': 5, 'Codec': 59, 'OpenMode': 9, 'SegmentInfo.info': 8, 'FieldNumberBiMap': 12, 'Locale.ROOT': 19, 'Error': 5, 'ElasticSearchIllegalStateException': 1, 'MergeDocIDRemapper': 1, 'Double.NaN': 3, 'Matcher': 5, 'null': 243, 'SegmentInfosReader': 3, 'AtomicLong': 1, 'LiveIndexWriterConfig': 10, 'IndexOutput': 27, 'IndexShardGatewayRecoveryException': 2, 'ThreadInterruptedException': 7, 'CommitPoint': 14, 'EngineCreationFailureException': 1, 'HashSet': 15, 'IndexFormatTooNewException': 13, 'Status': 27, 'ImmutableList': 1, 'StoredFieldStatus': 9, 'IndexShardRestoreFailedException': 1, 'BalancedSegmentMergePolicy': 6, 'RecoveryStatus': 1, 'FindSegmentsFile.doBody()': 16, 'IndexFormatTooOldException': 12, 'SegmentInfoReader': 5, 'CloneNotSupportedException': 9, 'RestStatus': 1, 'MergePolicy.OneMerge': 46, 'AtomicReaderContext': 2, 'IndexWriter': 226, 'StaleReaderException': 3, 'IndexDeletionPolicy': 28, 'SegmentInfoPerCommit.info': 22, 'FlushFailedEngineException': 1, 'RecoveryState.Index': 1, 'Lock': 23, 'UNKNOWN.docBase': 5, 'SegmentInfo.info.name': 8, 'SegmentInfoPerCommit.info.name': 4, 'TieredMergePolicy': 9, 'RestoreContext': 1, 'Long.MAX_VALUE': 9, 'FsTranslog': 1, 'InterruptedException': 1, 'EngineClosedException': 2, 'FilenameFilter': 3, 'UNKNOWN.level': 9, 'IOException': 86, 'FlushInfo': 6, 'SegmentInfoWriter': 5, 'WhitespaceAnalyzer': 3, 'Character.MAX_RADIX': 18, 'ArrayList': 6, 'Translog': 1, 'NoSuchDirectoryException': 18, 'System.out': 16, 'FieldNormStatus': 9, 'Object[].length': 2, 'MergeInfo': 16, 'SegmentCommitInfo.info': 1, 'BufferedDeletesStream': 14, 'SegmentInfosWriter': 6, 'Long': 13, 'MergeAbortedException': 9, 'OneMerge': 60, 'SegmentInfos.FindSegmentsFile': 21, 'ReadersAndLiveDocs': 20, 'AtomicReader': 22, 'IndexFileDeleter': 51, 'Translog.Snapshot': 1, 'Luke': 4, 'ChecksumIndexInput': 15, 'IndexFileNameFilter': 4, 'Bits': 7, 'StringBuilder': 26, 'Iterable': 9, 'EngineAlreadyStartedException': 1, 'Integer.MAX_VALUE': 9, 'SegmentInfo.name': 15, 'IndexShardRecoveryException': 1, 'String': 463, 'SegmentInfoPerCommit': 155, 'Math': 29, 'MergeScore': 9, 'Stage': 1, 'NamedAnalyzer': 1, 'RobinEngine': 2, 'Lucene3xSegmentInfoReader': 4, 'StoreRecovery': 1, 'Lists': 1, 'MergeSpecification': 66, 'InternalEngine': 2, 'Integer': 43, 'IndexNotFoundException': 9, 'PrintStream': 47, 'Index': 4, 'EngineException\|IOException': 1, 'Double.MAX_VALUE': 3, 'CorruptIndexException\|IndexNotFoundException\|IndexFormatTooOldException\|IndexFormatTooNewException': 1, 'IllegalArgumentException': 34, 'MergeState': 8, 'ApplyDeletesResult': 18, 'CheckAbort': 8, 'BlobStoreIndexShardGateway': 1, 'ReaderPool': 11, 'Object': 60, 'Vector': 2, 'FileNotFoundException': 31, 'InfoStream': 24, 'IndexInput': 30, 'SegmentInfo.dir': 6, 'UNKNOWN.docCount': 3, 'SegmentByteSizeDescending': 5, 'Supplier': 1, 'SegmentInfo.docCount': 11, 'DocValuesStatus': 8, 'Version': 4, 'Directory': 376, 'Store': 3, 'SegmentInfosFormat': 9, 'IndexWriterConfig': 17, 'EngineException': 2, 'Engine': 1, 'FieldNumbers': 10, 'HashMap': 1, 'RecoverySource': 1, 'IndexWriter.ReadersAndLiveDocs': 1, 'BufferedDeletes': 1, 'Flush': 1, 'SegmentReader.norms': 1, 'IndexFileNames': 1, 'char': 19, 'File': 15, 'byte': 1, 'IndexSplitter': 7, 'CountDownLatch': 1, 'Exception': 10, 'ChecksumIndexOutput': 18, 'Arrays': 11, 'OutOfMemoryError': 2, 'IOContext': 73, 'Map.Entry': 13, 'SegmentInfo': 263, 'PayloadProcessorProvider': 4, 'IllegalStateException': 48, 'FrozenBufferedDeletes': 9, 'TranslogRecoveryRunner': 1, 'IndexStore': 1, 'TermIndexStatus': 9, 'BitVector': 1, 'FindSegmentsFile': 28, 'CopyOnWriteArrayList': 1, 'Version.LUCENE_40': 1, 'Lucene': 1, 'RefCount': 11, 'Start': 1, 'StandardDirectoryReader': 50, 'ReadOnlyDirectoryReader': 1, 'MultiReader': 1, 'NumberFormat': 9, 'ShardId': 8, 'Set': 9, 'Thread': 12, 'TermVectorStatus': 9, 'FieldInfos': 28, 'Base64': 1, 'UNKNOWN': 426, 'IndexReader': 37, 'System': 33, 'TrackingDirectoryWrapper': 5, 'DocumentsWriter': 10, 'IndexFileNames.SEGMENTS_GEN': 1, 'SegmentInfos': 443, 'CheckIndex': 18, 'RecoveryState': 1, 'MetadataSnapshot': 1, 'RecoveryDiff': 1, 'SegmentInfoStatus': 9, 'Type': 2, 'RAMDirectory': 3, 'TranslogGeneration': 1, 'UNKNOWN.info': 9, 'ReaderCommit': 9, 'FieldInfo': 6, 'CommitPoint.FileInfo': 1, 'SnapshotFiles': 1, 'Map': 110, 'Throwable': 34, 'SegmentInfoFormat': 10, 'String[].length': 27, 'BlobStoreIndexShardSnapshot.FileInfo': 1, 'LockObtainFailedException': 14, 'BlobStoreIndexShardSnapshot': 1, 'IOUtils': 1, 'SegmentReader': 46, 'FSDirectory': 17, 'SegmentInfoAndLevel': 9, 'Comparator': 17, 'InputStreamStreamInput': 1, 'ElasticSearchException': 1, 'KeepOnlyLastCommitDeletionPolicy': 5, 'IndexShard': 1, 'EngineConfig': 1, 'StoreFileMetaData': 2, 'MapBuilder': 3, 'RuntimeException': 23, 'EOFException': 1, 'SegmentReader.core': 8, 'IndexWriterConfig.OpenMode.CREATE': 2, 'Store.MetadataSnapshot': 1, 'LogMergePolicy': 45, 'List': 203, 'Collection': 95, 'IndexCommit': 49, 'DecimalFormat': 7, 'LocalIndexShardGateway': 1, 'LoadedMetadata': 1, 'SegmentMerger': 15, 'Integer.MIN_VALUE': 9, 'SegmentInfos.FindSegmentsFile.doBody()': 21, 'CorruptIndexException\|IndexFormatTooOldException\|IndexFormatTooNewException': 1, 'FileInputStream': 1}
org:apache:lucene:index:SegmentInfos-trainingLoadTime :	93875
org:apache:lucene:index:SegmentInfos-trainingTime :	2121783
updated_at :	2018-01-15 16:50:37

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

sarah

view

tikanga-1

missing/condition/value_or_state

sarah

view

207

success

30.8

missing/condition/value_or_state

view

754

success

32.4

missing/condition/value_or_state

view

rhino

286251

success

392

489.7

Run Details
Project:	rhino
Version:	286251
Result:	success
# of Findings:	392
Runtime:	489.71 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	8933
detectionTime :	190012
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfExploredAlternatives :	369494
numberOfTargets :	2011
numberOfViolations :	392
org:mozilla:javascript:IRFactory-exampleProjects :	38
org:mozilla:javascript:IRFactory-maxPatternSupport :	22
org:mozilla:javascript:IRFactory-numberOfPatterns :	36
org:mozilla:javascript:IRFactory-numberOfTrainingExamples :	5074
org:mozilla:javascript:IRFactory-numberOfUsagesInTrainingExample :	{'': 4, 'LabeledStatement': 22, 'StringLiteral': 22, 'Scriptable': 22, 'GeneratorExpression': 30, 'Object': 129, 'CompilerEnvirons': 46, 'ObjectLiteral': 66, 'ErrorReporter': 22, 'SecurityController': 22, 'NewExpression': 22, 'IRFactory': 127, 'Boolean.TRUE': 68, 'Name': 88, 'IllegalArgumentException': 44, 'ForInLoop': 22, 'ScriptOrFnNode': 4, 'UnaryExpression': 44, 'Jump': 96, 'Node.Jump': 8, 'Debugger': 22, 'ParenthesizedExpression': 22, 'VariableDeclaration': 66, 'Scope': 88, 'XmlFragment': 22, 'StackOverflowError': 2, 'SwitchStatement': 22, 'XmlExpression': 22, 'ReturnStatement': 22, 'Parser': 58, 'Assignment': 22, 'WhileLoop': 22, 'InfixExpression': 22, 'ForLoop': 22, 'Node': 1254, 'System': 22, 'Evaluator': 22, 'XmlLiteral': 22, 'String': 285, 'NumberLiteral': 22, 'XmlRef': 66, 'XmlMemberGet': 22, 'Codegen': 22, 'Hashtable': 6, 'ConditionalExpression': 22, 'GeneratorExpressionLoop': 15, 'ThrowStatement': 22, 'DoLoop': 22, 'UNKNOWN': 360, 'ExpressionStatement': 22, 'Map': 1, 'System.out': 22, 'AstRoot': 66, 'ScriptNode': 88, 'ObjToIntMap': 22, 'ArrayLiteral': 66, 'ArrayComprehensionLoop': 22, 'FunctionNode': 85, 'Iterator': 176, 'WithStatement': 22, 'IfStatement': 22, 'VariableInitializer': 22, 'ObjectProperty': 44, 'Label': 22, 'TryStatement': 22, 'Class': 22, 'PropertyGet': 44, 'XmlString': 22, 'LetNode': 22, 'Reader': 22, 'ScriptRuntime': 22, 'null': 210, 'XmlElemRef': 22, 'PerFunctionVariables': 37, 'ObjArray': 12, 'RuntimeException': 120, 'ElementGet': 44, 'AstNode': 397, 'List': 323, 'SwitchCase': 22, 'ClassCompiler': 22, 'FunctionCall': 22, 'CatchClause': 22, 'XmlPropRef': 22, 'ArrayComprehension': 44, 'FunctionNode.ARROW_FUNCTION': 1, 'ParserException': 2, 'Context': 22, 'Yield': 22}
org:mozilla:javascript:IRFactory-trainingLoadTime :	59585
org:mozilla:javascript:IRFactory-trainingTime :	228947
updated_at :	2018-01-15 16:50:37

superfluous/call/duplicate

sarah

view

synthetic

callondte

success

63.7

callondte

missing/condition/environment

view

close-1

success

87.3

close-1

missing/call

view

close-2

success

87.7

close-2

missing/exception handling

view

cme

success

229.6

cme

superfluous/call

view

deadlock

success

22.8

Run Details
Project:	synthetic
Version:	deadlock
Result:	success
# of Findings:	0
Runtime:	22.75 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	7
detectionTime :	33
java:lang:Object-exampleProjects :	50
java:lang:Object-maxPatternSupport :	233
java:lang:Object-numberOfPatterns :	26
java:lang:Object-numberOfTrainingExamples :	9078
java:lang:Object-numberOfUsagesInTrainingExamples :	{'': 19, 'SecureCacheResponse.getCipherSuite()': 1, 'Entry.Type.get()': 1, 'AWTEvent': 3, 'ErrorManager': 1, 'GregorianCalendar': 1, 'SchemaFactory': 1, 'SecureCacheResponse': 1, 'GridLayout': 1, 'CollationKeyICU': 1, 'CheckboxGroup': 1, 'D': 2, 'SynchronizedMap': 3, 'DalvikLogHandler': 1, 'KT': 1, 'PutField': 1, 'Class[].length': 6, 'Range': 1, 'Error': 3, 'EnumMapIterator': 1, 'GaiException': 1, 'NoSuchAlgorithmException': 2, 'NotActiveException': 2, 'Link': 4, 'V': 62, 'StackTraceElement': 1, 'XToolkit': 1, 'IndexOutOfBoundsException': 2, 'AbstractPreferences': 3, 'Socket': 2, 'X500Principal': 4, 'ClientSessionContext': 1, 'AbstractMap': 1, 'HashIterator': 1, 'Map.Entry.toString()': 1, 'Comparable': 2, 'Buffer': 1, 'NumericShaper': 1, 'LinkedBlockingQueue': 2, 'KeyPair': 1, 'CASUpdater': 5, 'Integer': 7, 'Format.Field': 1, 'UnresolvedPermission': 1, 'CloneNotSupportedException': 11, 'SignedData': 1, 'AnnotationMember': 7, 'DHPublicKey': 1, 'SocketAddress': 11, 'DOMConfigurationImpl': 1, 'InvalidObjectException': 1, 'LogRecord': 1, 'AtomicIntegerFieldUpdaterImpl': 5, 'Map.Entry.equals()': 1, 'TBSCertificate': 1, 'BlockGuard': 1, 'VT': 2, 'CertificateException': 1, 'Service': 2, 'CoderResult': 1, 'Key': 2, 'SynchronizedMapEntry': 1, 'Extensions': 1, 'PropertyChangeEvent': 1, 'InvocationTargetException': 7, 'BasicMapEntry': 3, 'DSAPublicKey': 1, 'BasicAttributes': 1, 'IOException': 32, 'Iterator': 40, 'AbstractSet.add()': 1, 'PriorityBlockingQueue': 3, 'BasicAttribute': 1, 'CopyOnWriteArrayList': 1, 'InstantiationException': 1, 'JarEntry': 1, 'OpenSSLServerSocketImpl': 1, 'GenericArrayType': 1, 'Long': 4, 'SynchronizedCollection': 2, 'MiniEnumSet': 3, 'ProcessManager': 2, 'CardLayout': 1, 'LinkedEntry': 1, 'InvalidKeySpecException': 1, 'RunnableScheduledFuture': 1, 'DatagramSocket': 1, 'Short': 2, 'Double': 3, 'ArrayDeque': 3, 'NotSerializableException': 2, 'X509KeyManager': 2, 'PKCS8EncodedKeySpec': 1, 'SelectionKeyImpl': 1, 'AuthenticatedAttributes': 1, 'ConcurrentSkipListMap.Node': 1, 'KeyStoreException': 1, 'ListIterator': 5, 'BigDecimal': 1, 'BorderLayout': 1, 'PixelGrabber': 1, 'LockedUpdater': 3, 'NoSuchMethodException': 3, 'Map.Entry.getKey()': 1, 'IndexedPropertyDescriptor': 2, 'GetField.get()': 1, 'RefAddr': 1, 'Exception': 23, 'TrustAnchor': 2, 'FinalizerReference': 1, 'AttributedStringIterator': 1, 'HashEntry': 13, 'Image': 2, 'CharacterIterator': 1, 'AuthPermission': 2, 'DatagramSocketImplFactory': 1, 'Thread_Wait': 1, 'RejectedExecutionException': 1, 'PrintStream': 22, 'UnicodeToBytes': 1, 'SelectorImpl': 1, 'SSLSessionImpl': 2, 'BitSet': 3, 'Attribute': 2, 'FileHandler': 1, 'TimerTask.when': 1, 'ListOfTypes': 1, 'PropertyDescriptor': 1, 'FlowLayout': 1, 'Formattable': 1, 'AbstractSet.iterator()': 2, 'FileNotFoundException': 1, 'LinkedBlockingDeque': 4, 'MemoryBlock': 1, 'InetAddress': 9, 'DOMException': 2, 'ArrayStore': 1, 'RawData': 1, 'ThreadGroup': 3, 'Enumeration': 5, 'Permission': 3, 'Proxy': 5, 'AttributeRange.end_index': 1, 'ClientHello': 2, 'HugeEnumSet': 3, 'PropertyChangeListener': 1, 'ICU': 3, 'AttributeRange.begin_index': 1, 'Insets': 1, 'DigitalSignature': 1, 'AnnotationFactory': 1, 'ProtectionDomain': 1, 'X509Certificate': 6, 'StringIndexOutOfBoundsException': 3, 'File': 2, 'Toolkit': 2, 'NodeImpl': 1, 'Os': 1, 'EnumMapValueCollection': 1, 'SecureRandom': 1, 'ServerHandshakeImpl': 1, 'CertificationRequestInfo': 1, 'ObjectIdentifier': 2, 'ProcessImpl': 2, 'ZipEntry': 2, 'Container': 1, 'IllegalAccessException': 7, 'AbstractStringBuilder': 3, 'PKIXParameters': 1, 'IllegalStateException': 2, 'GetField.getObjectStreamClass()': 1, 'MediaEntry': 1, 'UnsupportedOperationException': 16, 'TimerTask.scheduled': 2, 'OutputStream': 1, 'SecurityException': 5, 'Visual': 2, 'EventDispatcher': 1, 'IllegalSelectorException': 1, 'SimpleImmutableEntry': 2, 'ContentInfo': 1, 'IntrospectionException': 6, 'String': 288, 'Entry': 28, 'AbstractSelectableChannel': 1, 'Certificate': 1, 'LinkedHashMap': 2, 'Hashtable': 11, 'ClassCastException': 10, 'Set': 18, 'UnmodifiableIterator.next()': 1, 'Format': 3, 'Field': 22, 'SHA1_MessageDigestImpl': 1, 'XGraphicsConfiguration': 1, 'Map': 11, 'System': 20, 'SocketException': 6, 'Float': 2, 'ProcessReferenceQueue': 1, 'InterruptedIOException': 10, 'AbstractSet.contains()': 1, 'char[].length': 1, 'IntrospectionIncubator': 1, 'ColorModel': 1, 'Permissions': 2, 'DatagramSocketImpl': 1, 'DHParameterSpec': 1, 'IdentityScope': 1, 'SSLParameters': 2, 'Byte': 2, 'DateFormatSymbols': 2, 'AbstractSet.size()': 2, 'PutField.write()': 1, 'TreeMap': 3, 'ScrollPane': 1, 'PipedReader': 7, 'LocaleData': 1, 'ServerKeyExchange': 1, 'SelectorProvider': 1, 'PrivateKey': 2, 'Waiter': 2, 'BeanInfo': 1, 'ObjectStreamException': 1, 'Font': 2, 'SecureSet': 1, 'Cipher': 1, 'ClientHandshakeImpl': 1, 'Identity': 1, 'RemoteObject': 1, 'MissingResourceException': 2, 'PrintWriter': 3, 'Libcore': 1, 'Screen': 1, 'EventSetDescriptor': 2, 'AbstractSet.retainAll()': 1, 'SecureCacheResponse.getLocalPrincipal()': 1, 'NativeBreakIterator': 1, 'X509TrustManager': 1, 'FieldPosition': 2, 'Parameter': 1, 'SecureCacheResponse.getBody()': 1, 'AttributeRange': 1, 'Boolean': 4, 'Cloneable': 1, 'AttributedString': 2, 'FieldSizePair': 1, 'GetField.defaulted()': 1, 'CertSelector': 2, 'PKIXCertPathValidatorResult': 1, 'HashtableEntry': 8, 'ColorSpace': 1, 'Logger': 1, 'DecimalFormatSymbols': 2, 'Pattern': 1, 'PermissionCollection': 2, 'MapEntry': 3, 'InputStream': 3, 'Enum': 6, 'Manifest': 1, 'NetworkInterface': 1, 'Name': 3, 'X509ExtendedKeyManager': 1, 'Charset': 1, 'URI': 1, 'Reference': 6, 'TrustManagerImpl': 1, 'EventListener': 2, 'null': 97, 'PipedOutputStream': 3, 'Relation': 1, 'Handler': 1, 'EmulatedFieldsForDumping': 1, 'StreamCorruptedException': 3, 'OutputStreamWriter': 1, 'TimerTask': 3, 'RSAPublicKey': 1, 'SecureCacheResponse.getLocalCertificateChain()': 1, 'VMThread': 4, 'ASN1Exception': 1, 'Node': 20, 'EnumMap': 7, 'ResourceBundle': 2, 'GeneralName': 1, 'ClassNotFoundException': 2, 'SSLParametersImpl': 2, 'SynchronizedIterator': 1, 'PutField.checkType()': 1, 'Appendable': 1, 'DSAParams': 1, 'UnknownFormatConversionException': 1, 'SingletonList': 1, 'FontMetrics': 1, 'ServerSocket': 1, 'SSLEngineImpl': 1, 'Point': 1, 'TwoKeyHashMap': 3, 'StringBuffer': 9, 'InvocationEvent': 2, 'ExplicitInfo': 1, 'Calendar': 7, 'InterruptedException': 15, 'Serializable': 1, 'Runnable': 3, 'Map.Entry.getValue()': 1, 'AttributedCharacterIterator': 3, 'KeyPairGenerator': 1, 'Index': 1, 'int[].length': 1, 'X509CertSelector': 1, 'Character': 2, 'ThreadPoolExecutor': 1, 'PipedWriter': 3, 'MessageFormat': 2, 'KeyStore': 1, 'ObjectInputStream': 4, 'BytesToUnicode': 1, 'SST': 1, 'NameConstraints': 1, 'PropertyChangeListenerProxy': 1, 'OpenSSLSocketImpl': 1, 'KeyFactory': 1, 'FinalizerDaemon': 1, 'SingletonMap': 2, 'EllipticCurve': 2, 'E': 40, 'PublicKey': 6, 'TimeZone': 6, 'ArrayList': 15, 'Locale': 2, 'StringBuilder': 21, 'ArrayBlockingQueue': 3, 'Currency': 1, 'UnknownHostException': 5, 'SSLPeerUnverifiedException': 1, 'XPathFactory': 1, 'CipherSpi': 1, 'Date': 4, 'Inet4Address': 1, 'Method': 22, 'Stack': 1, 'Window': 1, 'BindException': 2, 'LayoutManager': 1, 'AtomicReferenceFieldUpdaterImpl': 5, 'RemoteException': 1, 'EventDispatchThread': 1, 'InternalError': 1, 'SynchronizedSet.iterator()': 1, 'EmulatedFields.ObjectSlot': 1, 'MemoryHandler': 1, 'IdentityHashMap': 1, 'AlgorithmIdentifier': 1, 'ParsePosition': 1, 'ArrayIndexOutOfBoundsException': 2, 'SpiAndProvider': 1, 'pr100': 1, 'WriteAbortedException': 1, 'InfoAccessSyntax': 1, 'ExceptionInInitializerError': 3, 'A': 1, 'PutField.put()': 1, 'Provider': 3, 'Entry.Type': 1, 'ASN1Type': 3, 'Formatter': 5, 'PipedInputStream': 7, 'KeepInline': 1, 'Principal': 2, 'DHPublicKeySpec': 1, 'K': 56, 'GetField.getField()': 1, 'Vector': 14, 'ProtocolVersion': 4, 'AbstractSet.remove()': 1, 'EventObject': 2, 'Annotation': 1, 'JarException': 1, 'HandshakeIODataStream': 1, 'Checkbox': 1, 'Externalizable': 2, 'byte': 16, 'SortedSet': 1, 'DelayedWorkQueue': 2, 'AssertionError': 11, 'ObjectOutput': 1, 'CertificateRequest': 1, 'IllegalArgumentException': 33, 'ZoneInfo': 1, 'XAnyEvent': 1, 'Binding': 1, 'V1': 1, 'Daemon': 1, 'IllegalFormatConversionException': 1, 'Number': 3, 'Finished': 1, 'HashMap': 9, 'ObjectStreamField': 6, 'Bidi': 1, 'ModificationItem': 1, 'char': 42, 'ServerHelloDone': 1, 'SSLSocketImpl': 1, 'DoubleKey': 2, 'Values': 1, 'BeanInfoEmbryo': 1, 'DSAPublicKeySpec': 1, 'AccessControlContext': 1, 'FileDescriptor': 1, 'HashMapEntry': 11, 'Constructor': 4, 'RemoteRef': 1, 'Map.Entry': 17, 'ChoiceFormat': 1, 'Component': 2, 'PropertyEditorSupport': 1, 'SingletonSet': 1, 'WeakHashMap': 8, 'FormatToken': 1, 'PriorityQueue': 1, 'BeanDescriptor': 1, 'T': 31, 'TaskQueue': 2, 'GetField': 1, 'Preferences': 2, 'ObjectStreamClass': 8, 'CertificateMessage': 2, 'InputStreamReader': 1, 'RemoteStub': 1, 'Subject': 1, 'SignerInfo': 1, 'WeakBucket.WeakEntry': 1, 'EnumSet': 1, 'PolicyNode': 1, 'TypeVariable': 2, 'ReferenceQueue': 8, 'NumberFormat': 1, 'FieldPositionIterator': 1, 'BigInteger': 7, 'Collection': 6, 'SecureCacheResponse.getHeaders()': 1, 'Thread': 17, 'CharSequence': 5, 'InvalidParameterException': 1, 'UNKNOWN': 3, 'DSAPrivateKey': 1, 'Map.Entry.hashCode()': 1, 'AttributeRange.attribs': 1, 'Object': 341, 'ClassLoader': 6, 'VMRuntime': 1, 'Segment': 13, 'Remote': 1, 'URL': 2, 'AttributedCharacterIterator.Attribute': 3, 'Scanner': 1, 'CipherSuite': 4, 'DataFlavor': 1, 'DecimalFormat': 2, 'NullPointerException': 33, 'Type': 3, 'BerInputStream': 1, 'DataInputStream': 1, 'ObjectOutputStream': 6, 'SynchronizedIterator.next()': 1, 'InetSocketAddress': 9, 'Map.Entry.setValue()': 1, 'Rectangle': 1, 'SimpleTimeZone': 2, 'Throwable': 16, 'Class': 234, 'TextAttribute': 1, 'Inet6Address': 1, 'DatatypeConfigurationException': 2, 'CertSelector.match()': 1, 'DSAPrivateKeySpec': 1, 'AnnotationTypeMismatchException': 1, 'SimpleDateFormat': 2, 'Package': 15, 'AbstractList': 1, 'Comparator': 2, 'SynchronizedSet': 1, 'WeakBucket': 1, 'SecureCacheResponse.getPeerPrincipal()': 1, 'ConcurrentSkipListMap': 2, 'LinkedList': 5, 'AbstractSet': 2, 'Proxy.h': 1, 'RuntimeException': 10, 'ServerHello': 1, 'java.lang.reflect.Array': 4, 'X509EncodedKeySpec': 1, 'CopiesList': 1, 'SimpleEntry': 2, 'CompositeName': 2, 'NoSuchMethodError': 1, 'List': 19, 'EventQueue': 3, 'UnmodifiableEntrySet': 1, 'DateFormat': 2, 'SecureCacheResponse.getServerCertificateChain()': 1, 'Thread_Alive': 1, 'TimerImpl': 1, 'GenericSignatureParser': 1, 'PushbackInputStream': 1, 'UnmodifiableIterator': 1, 'FileInputStream': 1, 'UnicastServerRef': 1}
java:lang:Object-trainingLoadTime :	21978
java:lang:Object-trainingTime :	252
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	1
updated_at :	2018-01-15 16:50:37

deadlock

superfluous/condition/threading

view

fisexists

success

29.9

fisexists

missing/condition/value_or_state

view

flip-1

success

62.8

flip-1

missing/call

view

flip-2

success

60.9

flip-2

missing/call

view

flush

success

342.7

flush

missing/call

view

hasnext

success

34.8

hasnext

missing/condition/value_or_state

view

latenullcheck

success

23.2

Run Details
Project:	synthetic
Version:	latenullcheck
Result:	success
# of Findings:	0
Runtime:	23.2 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	7
detectionTime :	31
java:lang:Object-exampleProjects :	50
java:lang:Object-maxPatternSupport :	233
java:lang:Object-numberOfPatterns :	26
java:lang:Object-numberOfTrainingExamples :	9078
java:lang:Object-numberOfUsagesInTrainingExamples :	{'': 19, 'SecureCacheResponse.getCipherSuite()': 1, 'Entry.Type.get()': 1, 'AWTEvent': 3, 'ErrorManager': 1, 'GregorianCalendar': 1, 'SchemaFactory': 1, 'SecureCacheResponse': 1, 'GridLayout': 1, 'CollationKeyICU': 1, 'CheckboxGroup': 1, 'D': 2, 'SynchronizedMap': 3, 'DalvikLogHandler': 1, 'KT': 1, 'PutField': 1, 'Class[].length': 6, 'Range': 1, 'Error': 3, 'EnumMapIterator': 1, 'GaiException': 1, 'NoSuchAlgorithmException': 2, 'NotActiveException': 2, 'Link': 4, 'V': 62, 'StackTraceElement': 1, 'XToolkit': 1, 'IndexOutOfBoundsException': 2, 'AbstractPreferences': 3, 'Socket': 2, 'X500Principal': 4, 'ClientSessionContext': 1, 'AbstractMap': 1, 'HashIterator': 1, 'Map.Entry.toString()': 1, 'Comparable': 2, 'Buffer': 1, 'NumericShaper': 1, 'LinkedBlockingQueue': 2, 'KeyPair': 1, 'CASUpdater': 5, 'Integer': 7, 'Format.Field': 1, 'UnresolvedPermission': 1, 'CloneNotSupportedException': 11, 'SignedData': 1, 'AnnotationMember': 7, 'DHPublicKey': 1, 'SocketAddress': 11, 'DOMConfigurationImpl': 1, 'InvalidObjectException': 1, 'LogRecord': 1, 'AtomicIntegerFieldUpdaterImpl': 5, 'Map.Entry.equals()': 1, 'TBSCertificate': 1, 'BlockGuard': 1, 'VT': 2, 'CertificateException': 1, 'Service': 2, 'CoderResult': 1, 'Key': 2, 'SynchronizedMapEntry': 1, 'Extensions': 1, 'PropertyChangeEvent': 1, 'InvocationTargetException': 7, 'BasicMapEntry': 3, 'DSAPublicKey': 1, 'BasicAttributes': 1, 'IOException': 32, 'Iterator': 40, 'AbstractSet.add()': 1, 'PriorityBlockingQueue': 3, 'BasicAttribute': 1, 'CopyOnWriteArrayList': 1, 'InstantiationException': 1, 'JarEntry': 1, 'OpenSSLServerSocketImpl': 1, 'GenericArrayType': 1, 'Long': 4, 'SynchronizedCollection': 2, 'MiniEnumSet': 3, 'ProcessManager': 2, 'CardLayout': 1, 'LinkedEntry': 1, 'InvalidKeySpecException': 1, 'RunnableScheduledFuture': 1, 'DatagramSocket': 1, 'Short': 2, 'Double': 3, 'ArrayDeque': 3, 'NotSerializableException': 2, 'X509KeyManager': 2, 'PKCS8EncodedKeySpec': 1, 'SelectionKeyImpl': 1, 'AuthenticatedAttributes': 1, 'ConcurrentSkipListMap.Node': 1, 'KeyStoreException': 1, 'ListIterator': 5, 'BigDecimal': 1, 'BorderLayout': 1, 'PixelGrabber': 1, 'LockedUpdater': 3, 'NoSuchMethodException': 3, 'Map.Entry.getKey()': 1, 'IndexedPropertyDescriptor': 2, 'GetField.get()': 1, 'RefAddr': 1, 'Exception': 23, 'TrustAnchor': 2, 'FinalizerReference': 1, 'AttributedStringIterator': 1, 'HashEntry': 13, 'Image': 2, 'CharacterIterator': 1, 'AuthPermission': 2, 'DatagramSocketImplFactory': 1, 'Thread_Wait': 1, 'RejectedExecutionException': 1, 'PrintStream': 22, 'UnicodeToBytes': 1, 'SelectorImpl': 1, 'SSLSessionImpl': 2, 'BitSet': 3, 'Attribute': 2, 'FileHandler': 1, 'TimerTask.when': 1, 'ListOfTypes': 1, 'PropertyDescriptor': 1, 'FlowLayout': 1, 'Formattable': 1, 'AbstractSet.iterator()': 2, 'FileNotFoundException': 1, 'LinkedBlockingDeque': 4, 'MemoryBlock': 1, 'InetAddress': 9, 'DOMException': 2, 'ArrayStore': 1, 'RawData': 1, 'ThreadGroup': 3, 'Enumeration': 5, 'Permission': 3, 'Proxy': 5, 'AttributeRange.end_index': 1, 'ClientHello': 2, 'HugeEnumSet': 3, 'PropertyChangeListener': 1, 'ICU': 3, 'AttributeRange.begin_index': 1, 'Insets': 1, 'DigitalSignature': 1, 'AnnotationFactory': 1, 'ProtectionDomain': 1, 'X509Certificate': 6, 'StringIndexOutOfBoundsException': 3, 'File': 2, 'Toolkit': 2, 'NodeImpl': 1, 'Os': 1, 'EnumMapValueCollection': 1, 'SecureRandom': 1, 'ServerHandshakeImpl': 1, 'CertificationRequestInfo': 1, 'ObjectIdentifier': 2, 'ProcessImpl': 2, 'ZipEntry': 2, 'Container': 1, 'IllegalAccessException': 7, 'AbstractStringBuilder': 3, 'PKIXParameters': 1, 'IllegalStateException': 2, 'GetField.getObjectStreamClass()': 1, 'MediaEntry': 1, 'UnsupportedOperationException': 16, 'TimerTask.scheduled': 2, 'OutputStream': 1, 'SecurityException': 5, 'Visual': 2, 'EventDispatcher': 1, 'IllegalSelectorException': 1, 'SimpleImmutableEntry': 2, 'ContentInfo': 1, 'IntrospectionException': 6, 'String': 288, 'Entry': 28, 'AbstractSelectableChannel': 1, 'Certificate': 1, 'LinkedHashMap': 2, 'Hashtable': 11, 'ClassCastException': 10, 'Set': 18, 'UnmodifiableIterator.next()': 1, 'Format': 3, 'Field': 22, 'SHA1_MessageDigestImpl': 1, 'XGraphicsConfiguration': 1, 'Map': 11, 'System': 20, 'SocketException': 6, 'Float': 2, 'ProcessReferenceQueue': 1, 'InterruptedIOException': 10, 'AbstractSet.contains()': 1, 'char[].length': 1, 'IntrospectionIncubator': 1, 'ColorModel': 1, 'Permissions': 2, 'DatagramSocketImpl': 1, 'DHParameterSpec': 1, 'IdentityScope': 1, 'SSLParameters': 2, 'Byte': 2, 'DateFormatSymbols': 2, 'AbstractSet.size()': 2, 'PutField.write()': 1, 'TreeMap': 3, 'ScrollPane': 1, 'PipedReader': 7, 'LocaleData': 1, 'ServerKeyExchange': 1, 'SelectorProvider': 1, 'PrivateKey': 2, 'Waiter': 2, 'BeanInfo': 1, 'ObjectStreamException': 1, 'Font': 2, 'SecureSet': 1, 'Cipher': 1, 'ClientHandshakeImpl': 1, 'Identity': 1, 'RemoteObject': 1, 'MissingResourceException': 2, 'PrintWriter': 3, 'Libcore': 1, 'Screen': 1, 'EventSetDescriptor': 2, 'AbstractSet.retainAll()': 1, 'SecureCacheResponse.getLocalPrincipal()': 1, 'NativeBreakIterator': 1, 'X509TrustManager': 1, 'FieldPosition': 2, 'Parameter': 1, 'SecureCacheResponse.getBody()': 1, 'AttributeRange': 1, 'Boolean': 4, 'Cloneable': 1, 'AttributedString': 2, 'FieldSizePair': 1, 'GetField.defaulted()': 1, 'CertSelector': 2, 'PKIXCertPathValidatorResult': 1, 'HashtableEntry': 8, 'ColorSpace': 1, 'Logger': 1, 'DecimalFormatSymbols': 2, 'Pattern': 1, 'PermissionCollection': 2, 'MapEntry': 3, 'InputStream': 3, 'Enum': 6, 'Manifest': 1, 'NetworkInterface': 1, 'Name': 3, 'X509ExtendedKeyManager': 1, 'Charset': 1, 'URI': 1, 'Reference': 6, 'TrustManagerImpl': 1, 'EventListener': 2, 'null': 97, 'PipedOutputStream': 3, 'Relation': 1, 'Handler': 1, 'EmulatedFieldsForDumping': 1, 'StreamCorruptedException': 3, 'OutputStreamWriter': 1, 'TimerTask': 3, 'RSAPublicKey': 1, 'SecureCacheResponse.getLocalCertificateChain()': 1, 'VMThread': 4, 'ASN1Exception': 1, 'Node': 20, 'EnumMap': 7, 'ResourceBundle': 2, 'GeneralName': 1, 'ClassNotFoundException': 2, 'SSLParametersImpl': 2, 'SynchronizedIterator': 1, 'PutField.checkType()': 1, 'Appendable': 1, 'DSAParams': 1, 'UnknownFormatConversionException': 1, 'SingletonList': 1, 'FontMetrics': 1, 'ServerSocket': 1, 'SSLEngineImpl': 1, 'Point': 1, 'TwoKeyHashMap': 3, 'StringBuffer': 9, 'InvocationEvent': 2, 'ExplicitInfo': 1, 'Calendar': 7, 'InterruptedException': 15, 'Serializable': 1, 'Runnable': 3, 'Map.Entry.getValue()': 1, 'AttributedCharacterIterator': 3, 'KeyPairGenerator': 1, 'Index': 1, 'int[].length': 1, 'X509CertSelector': 1, 'Character': 2, 'ThreadPoolExecutor': 1, 'PipedWriter': 3, 'MessageFormat': 2, 'KeyStore': 1, 'ObjectInputStream': 4, 'BytesToUnicode': 1, 'SST': 1, 'NameConstraints': 1, 'PropertyChangeListenerProxy': 1, 'OpenSSLSocketImpl': 1, 'KeyFactory': 1, 'FinalizerDaemon': 1, 'SingletonMap': 2, 'EllipticCurve': 2, 'E': 40, 'PublicKey': 6, 'TimeZone': 6, 'ArrayList': 15, 'Locale': 2, 'StringBuilder': 21, 'ArrayBlockingQueue': 3, 'Currency': 1, 'UnknownHostException': 5, 'SSLPeerUnverifiedException': 1, 'XPathFactory': 1, 'CipherSpi': 1, 'Date': 4, 'Inet4Address': 1, 'Method': 22, 'Stack': 1, 'Window': 1, 'BindException': 2, 'LayoutManager': 1, 'AtomicReferenceFieldUpdaterImpl': 5, 'RemoteException': 1, 'EventDispatchThread': 1, 'InternalError': 1, 'SynchronizedSet.iterator()': 1, 'EmulatedFields.ObjectSlot': 1, 'MemoryHandler': 1, 'IdentityHashMap': 1, 'AlgorithmIdentifier': 1, 'ParsePosition': 1, 'ArrayIndexOutOfBoundsException': 2, 'SpiAndProvider': 1, 'pr100': 1, 'WriteAbortedException': 1, 'InfoAccessSyntax': 1, 'ExceptionInInitializerError': 3, 'A': 1, 'PutField.put()': 1, 'Provider': 3, 'Entry.Type': 1, 'ASN1Type': 3, 'Formatter': 5, 'PipedInputStream': 7, 'KeepInline': 1, 'Principal': 2, 'DHPublicKeySpec': 1, 'K': 56, 'GetField.getField()': 1, 'Vector': 14, 'ProtocolVersion': 4, 'AbstractSet.remove()': 1, 'EventObject': 2, 'Annotation': 1, 'JarException': 1, 'HandshakeIODataStream': 1, 'Checkbox': 1, 'Externalizable': 2, 'byte': 16, 'SortedSet': 1, 'DelayedWorkQueue': 2, 'AssertionError': 11, 'ObjectOutput': 1, 'CertificateRequest': 1, 'IllegalArgumentException': 33, 'ZoneInfo': 1, 'XAnyEvent': 1, 'Binding': 1, 'V1': 1, 'Daemon': 1, 'IllegalFormatConversionException': 1, 'Number': 3, 'Finished': 1, 'HashMap': 9, 'ObjectStreamField': 6, 'Bidi': 1, 'ModificationItem': 1, 'char': 42, 'ServerHelloDone': 1, 'SSLSocketImpl': 1, 'DoubleKey': 2, 'Values': 1, 'BeanInfoEmbryo': 1, 'DSAPublicKeySpec': 1, 'AccessControlContext': 1, 'FileDescriptor': 1, 'HashMapEntry': 10, 'Constructor': 4, 'RemoteRef': 1, 'Map.Entry': 17, 'ChoiceFormat': 1, 'Component': 2, 'PropertyEditorSupport': 1, 'SingletonSet': 1, 'WeakHashMap': 8, 'FormatToken': 1, 'PriorityQueue': 1, 'BeanDescriptor': 1, 'T': 31, 'TaskQueue': 2, 'GetField': 1, 'Preferences': 2, 'ObjectStreamClass': 8, 'CertificateMessage': 2, 'InputStreamReader': 1, 'RemoteStub': 1, 'Subject': 1, 'SignerInfo': 1, 'WeakBucket.WeakEntry': 1, 'EnumSet': 1, 'PolicyNode': 1, 'TypeVariable': 2, 'ReferenceQueue': 8, 'NumberFormat': 1, 'FieldPositionIterator': 1, 'BigInteger': 7, 'Collection': 6, 'SecureCacheResponse.getHeaders()': 1, 'Thread': 17, 'CharSequence': 5, 'InvalidParameterException': 1, 'UNKNOWN': 3, 'DSAPrivateKey': 1, 'Map.Entry.hashCode()': 1, 'AttributeRange.attribs': 1, 'Object': 341, 'ClassLoader': 6, 'VMRuntime': 1, 'Segment': 13, 'Remote': 1, 'URL': 2, 'AttributedCharacterIterator.Attribute': 3, 'Scanner': 1, 'CipherSuite': 4, 'DataFlavor': 1, 'DecimalFormat': 2, 'NullPointerException': 33, 'Type': 3, 'BerInputStream': 1, 'DataInputStream': 1, 'ObjectOutputStream': 6, 'SynchronizedIterator.next()': 1, 'InetSocketAddress': 9, 'Map.Entry.setValue()': 1, 'Rectangle': 1, 'SimpleTimeZone': 2, 'Throwable': 16, 'Class': 234, 'TextAttribute': 1, 'Inet6Address': 1, 'DatatypeConfigurationException': 2, 'CertSelector.match()': 1, 'DSAPrivateKeySpec': 1, 'AnnotationTypeMismatchException': 1, 'SimpleDateFormat': 2, 'Package': 15, 'AbstractList': 1, 'Comparator': 2, 'SynchronizedSet': 1, 'WeakBucket': 1, 'SecureCacheResponse.getPeerPrincipal()': 1, 'ConcurrentSkipListMap': 2, 'LinkedList': 5, 'AbstractSet': 2, 'Proxy.h': 1, 'RuntimeException': 10, 'ServerHello': 1, 'java.lang.reflect.Array': 4, 'X509EncodedKeySpec': 1, 'CopiesList': 1, 'SimpleEntry': 2, 'CompositeName': 2, 'NoSuchMethodError': 1, 'List': 19, 'EventQueue': 3, 'UnmodifiableEntrySet': 1, 'DateFormat': 2, 'SecureCacheResponse.getServerCertificateChain()': 1, 'Thread_Alive': 1, 'TimerImpl': 1, 'GenericSignatureParser': 1, 'PushbackInputStream': 1, 'UnmodifiableIterator': 1, 'FileInputStream': 1, 'UnicastServerRef': 1}
java:lang:Object-trainingLoadTime :	22448
java:lang:Object-trainingTime :	260
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	1
updated_at :	2018-01-15 16:50:37

latenullcheck

misplaced/condition/null_check

view

listget

success

20.0

listget

missing/condition/value_or_state

view

mapkeynull

success

29.1

mapkeynull

missing/condition/null_check

view

mapnull

success

28.6

mapnull

missing/condition/value_or_state

view

maybenull

success

22.4

Run Details
Project:	synthetic
Version:	maybenull
Result:	success
# of Findings:	0
Runtime:	22.39 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	7
detectionTime :	25
java:lang:Object-exampleProjects :	50
java:lang:Object-maxPatternSupport :	233
java:lang:Object-numberOfPatterns :	26
java:lang:Object-numberOfTrainingExamples :	9078
java:lang:Object-numberOfUsagesInTrainingExamples :	{'': 19, 'SecureCacheResponse.getCipherSuite()': 1, 'Entry.Type.get()': 1, 'AWTEvent': 3, 'ErrorManager': 1, 'GregorianCalendar': 1, 'SchemaFactory': 1, 'SecureCacheResponse': 1, 'GridLayout': 1, 'CollationKeyICU': 1, 'CheckboxGroup': 1, 'D': 2, 'SynchronizedMap': 3, 'DalvikLogHandler': 1, 'KT': 1, 'PutField': 1, 'Class[].length': 6, 'Range': 1, 'Error': 3, 'EnumMapIterator': 1, 'GaiException': 1, 'NoSuchAlgorithmException': 2, 'NotActiveException': 2, 'Link': 4, 'V': 62, 'StackTraceElement': 1, 'XToolkit': 1, 'IndexOutOfBoundsException': 2, 'AbstractPreferences': 3, 'Socket': 2, 'X500Principal': 4, 'ClientSessionContext': 1, 'AbstractMap': 1, 'HashIterator': 1, 'Map.Entry.toString()': 1, 'Comparable': 2, 'Buffer': 1, 'NumericShaper': 1, 'LinkedBlockingQueue': 2, 'KeyPair': 1, 'CASUpdater': 5, 'Integer': 7, 'Format.Field': 1, 'UnresolvedPermission': 1, 'CloneNotSupportedException': 11, 'SignedData': 1, 'AnnotationMember': 7, 'DHPublicKey': 1, 'SocketAddress': 11, 'DOMConfigurationImpl': 1, 'InvalidObjectException': 1, 'LogRecord': 1, 'AtomicIntegerFieldUpdaterImpl': 5, 'Map.Entry.equals()': 1, 'TBSCertificate': 1, 'BlockGuard': 1, 'VT': 2, 'CertificateException': 1, 'Service': 2, 'CoderResult': 1, 'Key': 2, 'SynchronizedMapEntry': 1, 'Extensions': 1, 'PropertyChangeEvent': 1, 'InvocationTargetException': 7, 'BasicMapEntry': 3, 'DSAPublicKey': 1, 'BasicAttributes': 1, 'IOException': 32, 'Iterator': 40, 'AbstractSet.add()': 1, 'PriorityBlockingQueue': 3, 'BasicAttribute': 1, 'CopyOnWriteArrayList': 1, 'InstantiationException': 1, 'JarEntry': 1, 'OpenSSLServerSocketImpl': 1, 'GenericArrayType': 1, 'Long': 4, 'SynchronizedCollection': 2, 'MiniEnumSet': 3, 'ProcessManager': 2, 'CardLayout': 1, 'LinkedEntry': 1, 'InvalidKeySpecException': 1, 'RunnableScheduledFuture': 1, 'DatagramSocket': 1, 'Short': 2, 'Double': 3, 'ArrayDeque': 3, 'NotSerializableException': 2, 'X509KeyManager': 2, 'PKCS8EncodedKeySpec': 1, 'SelectionKeyImpl': 1, 'AuthenticatedAttributes': 1, 'ConcurrentSkipListMap.Node': 1, 'KeyStoreException': 1, 'ListIterator': 5, 'BigDecimal': 1, 'BorderLayout': 1, 'PixelGrabber': 1, 'LockedUpdater': 3, 'NoSuchMethodException': 3, 'Map.Entry.getKey()': 1, 'IndexedPropertyDescriptor': 2, 'GetField.get()': 1, 'RefAddr': 1, 'Exception': 23, 'TrustAnchor': 2, 'FinalizerReference': 1, 'AttributedStringIterator': 1, 'HashEntry': 13, 'Image': 2, 'CharacterIterator': 1, 'AuthPermission': 2, 'DatagramSocketImplFactory': 1, 'Thread_Wait': 1, 'RejectedExecutionException': 1, 'PrintStream': 22, 'UnicodeToBytes': 1, 'SelectorImpl': 1, 'SSLSessionImpl': 2, 'BitSet': 3, 'Attribute': 2, 'FileHandler': 1, 'TimerTask.when': 1, 'ListOfTypes': 1, 'PropertyDescriptor': 1, 'FlowLayout': 1, 'Formattable': 1, 'AbstractSet.iterator()': 2, 'FileNotFoundException': 1, 'LinkedBlockingDeque': 4, 'MemoryBlock': 1, 'InetAddress': 9, 'DOMException': 2, 'ArrayStore': 1, 'RawData': 1, 'ThreadGroup': 3, 'Enumeration': 5, 'Permission': 3, 'Proxy': 5, 'AttributeRange.end_index': 1, 'ClientHello': 2, 'HugeEnumSet': 3, 'PropertyChangeListener': 1, 'ICU': 3, 'AttributeRange.begin_index': 1, 'Insets': 1, 'DigitalSignature': 1, 'AnnotationFactory': 1, 'ProtectionDomain': 1, 'X509Certificate': 6, 'StringIndexOutOfBoundsException': 3, 'File': 2, 'Toolkit': 2, 'NodeImpl': 1, 'Os': 1, 'EnumMapValueCollection': 1, 'SecureRandom': 1, 'ServerHandshakeImpl': 1, 'CertificationRequestInfo': 1, 'ObjectIdentifier': 2, 'ProcessImpl': 2, 'ZipEntry': 2, 'Container': 1, 'IllegalAccessException': 7, 'AbstractStringBuilder': 3, 'PKIXParameters': 1, 'IllegalStateException': 2, 'GetField.getObjectStreamClass()': 1, 'MediaEntry': 1, 'UnsupportedOperationException': 16, 'TimerTask.scheduled': 2, 'OutputStream': 1, 'SecurityException': 5, 'Visual': 2, 'EventDispatcher': 1, 'IllegalSelectorException': 1, 'SimpleImmutableEntry': 2, 'ContentInfo': 1, 'IntrospectionException': 6, 'String': 288, 'Entry': 28, 'AbstractSelectableChannel': 1, 'Certificate': 1, 'LinkedHashMap': 2, 'Hashtable': 11, 'ClassCastException': 10, 'Set': 18, 'UnmodifiableIterator.next()': 1, 'Format': 3, 'Field': 22, 'SHA1_MessageDigestImpl': 1, 'XGraphicsConfiguration': 1, 'Map': 11, 'System': 20, 'SocketException': 6, 'Float': 2, 'ProcessReferenceQueue': 1, 'InterruptedIOException': 10, 'AbstractSet.contains()': 1, 'char[].length': 1, 'IntrospectionIncubator': 1, 'ColorModel': 1, 'Permissions': 2, 'DatagramSocketImpl': 1, 'DHParameterSpec': 1, 'IdentityScope': 1, 'SSLParameters': 2, 'Byte': 2, 'DateFormatSymbols': 2, 'AbstractSet.size()': 2, 'PutField.write()': 1, 'TreeMap': 3, 'ScrollPane': 1, 'PipedReader': 7, 'LocaleData': 1, 'ServerKeyExchange': 1, 'SelectorProvider': 1, 'PrivateKey': 2, 'Waiter': 2, 'BeanInfo': 1, 'ObjectStreamException': 1, 'Font': 2, 'SecureSet': 1, 'Cipher': 1, 'ClientHandshakeImpl': 1, 'Identity': 1, 'RemoteObject': 1, 'MissingResourceException': 2, 'PrintWriter': 3, 'Libcore': 1, 'Screen': 1, 'EventSetDescriptor': 2, 'AbstractSet.retainAll()': 1, 'SecureCacheResponse.getLocalPrincipal()': 1, 'NativeBreakIterator': 1, 'X509TrustManager': 1, 'FieldPosition': 2, 'Parameter': 1, 'SecureCacheResponse.getBody()': 1, 'AttributeRange': 1, 'Boolean': 4, 'Cloneable': 1, 'AttributedString': 2, 'FieldSizePair': 1, 'GetField.defaulted()': 1, 'CertSelector': 2, 'PKIXCertPathValidatorResult': 1, 'HashtableEntry': 8, 'ColorSpace': 1, 'Logger': 1, 'DecimalFormatSymbols': 2, 'Pattern': 1, 'PermissionCollection': 2, 'MapEntry': 3, 'InputStream': 3, 'Enum': 6, 'Manifest': 1, 'NetworkInterface': 1, 'Name': 3, 'X509ExtendedKeyManager': 1, 'Charset': 1, 'URI': 1, 'Reference': 6, 'TrustManagerImpl': 1, 'EventListener': 2, 'null': 97, 'PipedOutputStream': 3, 'Relation': 1, 'Handler': 1, 'EmulatedFieldsForDumping': 1, 'StreamCorruptedException': 3, 'OutputStreamWriter': 1, 'TimerTask': 3, 'RSAPublicKey': 1, 'SecureCacheResponse.getLocalCertificateChain()': 1, 'VMThread': 4, 'ASN1Exception': 1, 'Node': 20, 'EnumMap': 7, 'ResourceBundle': 2, 'GeneralName': 1, 'ClassNotFoundException': 2, 'SSLParametersImpl': 2, 'SynchronizedIterator': 1, 'PutField.checkType()': 1, 'Appendable': 1, 'DSAParams': 1, 'UnknownFormatConversionException': 1, 'SingletonList': 1, 'FontMetrics': 1, 'ServerSocket': 1, 'SSLEngineImpl': 1, 'Point': 1, 'TwoKeyHashMap': 3, 'StringBuffer': 9, 'InvocationEvent': 2, 'ExplicitInfo': 1, 'Calendar': 7, 'InterruptedException': 15, 'Serializable': 1, 'Runnable': 3, 'Map.Entry.getValue()': 1, 'AttributedCharacterIterator': 3, 'KeyPairGenerator': 1, 'Index': 1, 'int[].length': 1, 'X509CertSelector': 1, 'Character': 2, 'ThreadPoolExecutor': 1, 'PipedWriter': 3, 'MessageFormat': 2, 'KeyStore': 1, 'ObjectInputStream': 4, 'BytesToUnicode': 1, 'SST': 1, 'NameConstraints': 1, 'PropertyChangeListenerProxy': 1, 'OpenSSLSocketImpl': 1, 'KeyFactory': 1, 'FinalizerDaemon': 1, 'SingletonMap': 2, 'EllipticCurve': 2, 'E': 40, 'PublicKey': 6, 'TimeZone': 6, 'ArrayList': 15, 'Locale': 2, 'StringBuilder': 21, 'ArrayBlockingQueue': 3, 'Currency': 1, 'UnknownHostException': 5, 'SSLPeerUnverifiedException': 1, 'XPathFactory': 1, 'CipherSpi': 1, 'Date': 4, 'Inet4Address': 1, 'Method': 22, 'Stack': 1, 'Window': 1, 'BindException': 2, 'LayoutManager': 1, 'AtomicReferenceFieldUpdaterImpl': 5, 'RemoteException': 1, 'EventDispatchThread': 1, 'InternalError': 1, 'SynchronizedSet.iterator()': 1, 'EmulatedFields.ObjectSlot': 1, 'MemoryHandler': 1, 'IdentityHashMap': 1, 'AlgorithmIdentifier': 1, 'ParsePosition': 1, 'ArrayIndexOutOfBoundsException': 2, 'SpiAndProvider': 1, 'pr100': 1, 'WriteAbortedException': 1, 'InfoAccessSyntax': 1, 'ExceptionInInitializerError': 3, 'A': 1, 'PutField.put()': 1, 'Provider': 3, 'Entry.Type': 1, 'ASN1Type': 3, 'Formatter': 5, 'PipedInputStream': 7, 'KeepInline': 1, 'Principal': 2, 'DHPublicKeySpec': 1, 'K': 56, 'GetField.getField()': 1, 'Vector': 14, 'ProtocolVersion': 4, 'AbstractSet.remove()': 1, 'EventObject': 2, 'Annotation': 1, 'JarException': 1, 'HandshakeIODataStream': 1, 'Checkbox': 1, 'Externalizable': 2, 'byte': 16, 'SortedSet': 1, 'DelayedWorkQueue': 2, 'AssertionError': 11, 'ObjectOutput': 1, 'CertificateRequest': 1, 'IllegalArgumentException': 33, 'ZoneInfo': 1, 'XAnyEvent': 1, 'Binding': 1, 'V1': 1, 'Daemon': 1, 'IllegalFormatConversionException': 1, 'Number': 3, 'Finished': 1, 'HashMap': 9, 'ObjectStreamField': 6, 'Bidi': 1, 'ModificationItem': 1, 'char': 42, 'ServerHelloDone': 1, 'SSLSocketImpl': 1, 'DoubleKey': 2, 'Values': 1, 'BeanInfoEmbryo': 1, 'DSAPublicKeySpec': 1, 'AccessControlContext': 1, 'FileDescriptor': 1, 'HashMapEntry': 11, 'Constructor': 4, 'RemoteRef': 1, 'Map.Entry': 17, 'ChoiceFormat': 1, 'Component': 2, 'PropertyEditorSupport': 1, 'SingletonSet': 1, 'WeakHashMap': 8, 'FormatToken': 1, 'PriorityQueue': 1, 'BeanDescriptor': 1, 'T': 31, 'TaskQueue': 2, 'GetField': 1, 'Preferences': 2, 'ObjectStreamClass': 8, 'CertificateMessage': 2, 'InputStreamReader': 1, 'RemoteStub': 1, 'Subject': 1, 'SignerInfo': 1, 'WeakBucket.WeakEntry': 1, 'EnumSet': 1, 'PolicyNode': 1, 'TypeVariable': 2, 'ReferenceQueue': 8, 'NumberFormat': 1, 'FieldPositionIterator': 1, 'BigInteger': 7, 'Collection': 6, 'SecureCacheResponse.getHeaders()': 1, 'Thread': 17, 'CharSequence': 5, 'InvalidParameterException': 1, 'UNKNOWN': 3, 'DSAPrivateKey': 1, 'Map.Entry.hashCode()': 1, 'AttributeRange.attribs': 1, 'Object': 341, 'ClassLoader': 6, 'VMRuntime': 1, 'Segment': 13, 'Remote': 1, 'URL': 2, 'AttributedCharacterIterator.Attribute': 3, 'Scanner': 1, 'CipherSuite': 4, 'DataFlavor': 1, 'DecimalFormat': 2, 'NullPointerException': 33, 'Type': 3, 'BerInputStream': 1, 'DataInputStream': 1, 'ObjectOutputStream': 6, 'SynchronizedIterator.next()': 1, 'InetSocketAddress': 9, 'Map.Entry.setValue()': 1, 'Rectangle': 1, 'SimpleTimeZone': 2, 'Throwable': 16, 'Class': 234, 'TextAttribute': 1, 'Inet6Address': 1, 'DatatypeConfigurationException': 2, 'CertSelector.match()': 1, 'DSAPrivateKeySpec': 1, 'AnnotationTypeMismatchException': 1, 'SimpleDateFormat': 2, 'Package': 15, 'AbstractList': 1, 'Comparator': 2, 'SynchronizedSet': 1, 'WeakBucket': 1, 'SecureCacheResponse.getPeerPrincipal()': 1, 'ConcurrentSkipListMap': 2, 'LinkedList': 5, 'AbstractSet': 2, 'Proxy.h': 1, 'RuntimeException': 10, 'ServerHello': 1, 'java.lang.reflect.Array': 4, 'X509EncodedKeySpec': 1, 'CopiesList': 1, 'SimpleEntry': 2, 'CompositeName': 2, 'NoSuchMethodError': 1, 'List': 19, 'EventQueue': 3, 'UnmodifiableEntrySet': 1, 'DateFormat': 2, 'SecureCacheResponse.getServerCertificateChain()': 1, 'Thread_Alive': 1, 'TimerImpl': 1, 'GenericSignatureParser': 1, 'PushbackInputStream': 1, 'UnmodifiableIterator': 1, 'FileInputStream': 1, 'UnicastServerRef': 1}
java:lang:Object-trainingLoadTime :	21637
java:lang:Object-trainingTime :	252
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	1
updated_at :	2018-01-15 16:50:37

maybenull

missing/condition/null_check
superfluous/condition/null_check

view

nofile

success

0.7

nofile

missing/condition/value_or_state

view

pack-1

success

37.0

pack-1

misplaced/call

view

pack-2

success

35.2

pack-2

missing/call

view

repetitive

success

41.4

repetitive

superfluous/iteration

view

setfirst

success

32.7

setfirst

missing/condition/value_or_state

view

supresserror

success

189.3

Run Details
Project:	synthetic
Version:	supresserror
Result:	success
# of Findings:	0
Runtime:	189.34 s
created_at :	2018-01-15 16:50:37
dataset :	icse16ex1
detectionLoadTime :	9
detectionTime :	34
java:lang:Throwable-exampleProjects :	50
java:lang:Throwable-maxPatternSupport :	819
java:lang:Throwable-numberOfPatterns :	87
java:lang:Throwable-numberOfTrainingExamples :	17370
java:lang:Throwable-numberOfUsagesInTrainingExamples :	{'': 22, 'ValueMember': 3, 'OutOfMemoryError': 2, 'NoSuchAlgorithmException': 20, 'SchemaFactory': 2, 'LdapLoginModule': 3, 'ConstantClass': 1, 'PKIXParameters': 1, 'DOMNormalizer': 3, 'OutputObject': 3, 'ByteBufferWithInfo': 3, 'RMIConnectorServer': 1, 'Process': 1, 'FileTime': 1, 'RepositoryId_1_3_1': 1, 'PrintingStatus': 1, 'IDLNameTranslator': 1, 'MARSHAL': 89, 'Inflater': 2, 'FrameView': 1, 'NotificationListener': 1, 'NumberFormatException': 13, 'StackTraceElement': 6, 'IndexOutOfBoundsException': 7, 'DOM2DTM': 1, 'SunToolkit': 1, 'Properties': 14, 'ResolveResult': 4, 'KeyPair': 2, 'Integer': 22, 'Constant': 1, 'FutureTask': 1, 'SocketOptions': 1, 'AccessControlException': 1, 'UnsupportedCallbackException': 6, 'RuntimeOperationsException': 4, 'IncrementalSAXSource_Filter': 3, 'DTMAxisIterator': 11, 'LiteralElement': 1, 'Service': 3, 'SerialRef': 1, 'IDLTypeException': 2, 'VerifyType': 1, 'NamedNodeMap': 1, 'ObjectInputStream.GetField': 2, 'Connection': 3, 'XIncludeNamespaceSupport': 1, 'SQLOutputImpl': 1, 'SAXParseException': 11, 'SaslException': 1, 'BidiUtils': 1, 'Long': 4, 'SQLException': 19, 'Callback': 6, 'ModuleInfo.entry': 1, 'DatagramPacket': 1, 'CORBA.ORB': 2, 'PKCS8EncodedKeySpec': 1, 'KeyStoreException': 3, 'SerialStruct': 2, 'SnmpOidTable': 2, 'ServerAlreadyActive': 1, 'InstantiationError': 1, 'XPathFactory': 3, 'ByteSequence': 4, 'DictionaryBasedBreakIterator': 1, 'BadServerDefinition': 1, 'DATA_CONVERSION': 29, 'ClassFormatError': 3, 'SecurityConstants.GET_CLASSLOADER_PERMISSION': 1, 'SocketFactory': 1, 'InflaterInputStream': 3, 'Image': 1, 'ObjectId': 1, 'Color': 1, 'ObjectCopier': 1, 'PrintStream': 126, 'TransletOutputHandlerFactory': 1, 'Wrapper': 1, 'ActivationGroupImpl': 1, 'StringValueExp': 1, 'Printable': 1, 'ResolvingParser': 1, 'ServerSocket': 1, 'FileNotFoundException': 5, 'ResourcesMgr': 2, 'BasicFileAttributes': 1, 'Realm': 1, 'ThreadGroup': 3, 'BufferedReader': 9, 'ModuleInfo': 1, 'JMXServiceURL': 4, 'NodeList': 1, 'HashMap': 2, 'ZipException': 5, 'Set': 16, 'HTMLEditorKit': 1, 'InstanceAlreadyExistsException': 1, 'TypeConstraintException': 2, 'CodeSource': 2, 'ClientListenerInfo': 1, 'ConfigFile': 1, 'ObjectIdentifier': 1, 'Extension': 1, 'DTMManager': 2, 'IllegalStateException': 8, 'XObject': 8, 'ValueInputStream': 1, 'RemoteException': 10, 'CurrentNodeListIterator': 1, 'INTF_REPOS': 2, 'CertificateEncodingException': 3, 'RenderContext': 1, 'FileLoginModule': 2, 'ObjectCopierFactory': 1, 'ForwardException': 3, 'CommunicationException': 2, 'Hashtable': 17, 'RepositoryId': 1, 'DOMErrorImpl': 9, 'Utils': 1, 'Field': 15, 'DOMParserImpl': 2, 'ContinuationContext': 1, 'Float': 2, 'PrintStreamOrWriter': 2, 'CoroutineManager': 2, 'InterruptedIOException': 2, 'ImageInputStream': 1, 'RoleUnresolvedList': 2, 'Activator': 8, 'BaseMarkupSerializer': 3, 'Console': 1, 'XPointerProcessor': 1, 'StringReader': 3, 'XMLDocumentFragmentScannerImpl': 1, 'DynamicAccessPermission': 1, 'PeerEvent': 1, 'ServiceNotFoundException': 3, 'EOFException': 1, 'NO_RESOURCES': 9, 'CatalogException': 3, 'Collection': 2, 'NoSuchMethodError': 2, 'DerValue.data': 1, 'Boolean': 18, 'NoClassDefFoundError': 3, 'NullOutputStream': 1, 'HeapNode': 2, 'KerberosTicket': 2, 'SnmpV3Message': 1, 'InitialContext': 1, 'RE': 1, 'InputStream': 45, 'FileSystemPreferences': 2, 'Name': 5, 'URI': 6, 'LogWrapperBase': 1, 'Reference': 1, 'MatchingIterator': 1, 'StaxXMLInputSource': 1, 'ParserConfigurationException': 6, 'MessageMediator': 2, 'ClassFormatException': 1, 'LSException': 6, 'Member': 3, 'ParseException': 3, 'OutputStream': 11, 'HTMLDocument': 1, 'SAXTransformerFactory': 1, 'ServerAlreadyRegistered': 1, 'Cursor': 3, 'IllegalCharException': 1, 'DatatypeFactory': 2, 'CompletionStatus': 607, 'AclEntryImpl': 2, 'ClassNotFoundException': 48, 'ActivationGroup': 1, 'GetOptsException': 1, 'AllPermission': 1, 'SynthContext': 1, 'Closeable': 1, 'XPathFactoryConfigurationException': 1, 'SnmpMib': 2, 'FontFormatException': 1, 'DupFilterIterator': 1, 'SAXInputSource': 1, 'PrivateKeyUsageExtension.NOT_BEFORE': 1, 'EventHandlerBase': 1, 'XML11DTDConfiguration': 1, 'Parser': 10, 'ASCII_CharStream': 1, 'FileResource': 1, 'Runtime': 1, 'BAD_OPERATION': 50, 'CORBA.Object': 3, 'BAD_TYPECODE': 5, 'DocumentBuilder': 3, 'StubFactoryStaticImpl': 1, 'DataFlavor': 2, 'KeyFactory': 1, 'ReflectiveOperationException': 1, 'MXBeanProxy': 1, 'HashPrintRequestAttributeSet': 1, 'PublicKey': 1, 'ServiceLoader': 7, 'ForwardPositionIterator': 1, 'StringBuilder': 5, 'CallbackHandler': 8, 'AbstractRegionPainter.PaintContext': 1, 'UnknownHostException': 5, 'PrintServiceLookup': 1, 'Inet4Address': 1, 'ActivationGroupDesc': 1, 'BAD_INV_ORDER': 36, 'XMLEvent': 1, 'SerializationHandler': 1, 'DTDConfiguration': 1, 'InitialNameService': 1, 'EventDispatchThread': 2, 'Mac': 1, 'StepPattern': 2, 'AssertionError': 2, 'GetEndPointInfoAgainException': 1, 'ServerCloneException': 4, 'InvalidDatatypeValueException': 1, 'ExceptionInInitializerError': 4, 'ConstantPool': 1, 'TextOutputCallback': 1, 'StringBufferInputStream': 1, 'SchemaFactoryFinder': 2, 'BufferedOutputStream': 3, 'Principal': 4, 'Bindings': 3, 'PrivilegedAction.run()': 19, 'ServerHeldDown': 4, 'ParseUtil': 2, 'StateInvariantError': 2, 'IIOInvalidTreeException': 1, 'BerException': 1, 'RMIServerImpl': 1, 'ObjectInputStreamWithLoader': 1, 'JMXConnectorProvider': 1, 'Grammar': 1, 'RefreshFailedException': 2, 'ValueConversions': 1, 'ModelMBeanInfo': 1, 'Level': 4, 'RMIC': 2, 'BasicFileAttributeView': 1, 'Catalog': 2, 'GetOpt': 1, 'KerberosPrincipal': 2, 'Callable.call()': 1, 'RequiredModelMBean': 2, 'RIOptimisticProvider': 1, 'Policy': 1, 'DOMLocatorImpl': 3, 'SequencedEvent': 1, 'ObjectStreamClass': 20, 'Notification': 1, 'CertificateNotYetValidException': 1, 'SyntaxTreeNode': 6, 'Oid': 1, 'BigInteger': 1, 'SyncFactoryException': 4, 'UNKNOWN': 52, 'ServerLocation': 1, 'URLLoader': 2, 'ClassLoader': 31, 'Remote': 4, 'BreakIteratorGetter': 1, 'RoleUnresolved': 2, 'DataInputStream': 1, 'ContactInfo': 2, 'SecurityConstants.GET_STACK_TRACE_PERMISSION': 1, 'ObjectStreamClass_1_3_1': 3, 'Reader': 8, 'NonValidatingConfiguration': 1, 'SingleIterator': 2, 'Channels': 2, 'InternalError': 50, 'sun.security.util.ResourcesMgr': 1, 'ServerNotRegistered': 8, 'CertificateExpiredException': 1, 'IIOPOutputStream': 2, 'CPlusPlusDemangler': 1, 'ModalEventFilter': 1, 'AppContext': 2, 'CodeSetsComponent': 1, 'SortingIterator': 1, 'X509CertImpl': 1, 'Context': 4, 'SelectionKey': 2, 'java.lang.Integer': 2, 'KeyboardFocusManager': 2, 'ExtendedKeyUsageExtension': 1, 'Delegate': 1, 'ClientInvocationInfo': 1, 'SymbMap': 1, 'Include': 1, 'MarshalException': 1, 'PropertyExpander': 2, 'LinkOption': 1, 'NameCallback': 5, 'IIOPInputStream': 6, 'ByteArrayOutputStream': 12, 'TopLevelElement': 2, 'Symbol': 2, 'ObjectStreamException': 2, 'Abort': 2, 'FileImageOutputStream': 2, 'ModuleInfo.module': 1, 'RegularExpression': 2, 'DTMIterator': 2, 'Node': 19, 'Thread.UncaughtExceptionHandler': 1, 'SocksProxy': 2, 'WrongMethodTypeException': 1, 'WorkQueue': 4, 'Locale': 5, 'InstructionHandle.instruction': 1, 'Key': 1, 'XMLDocumentHandler': 1, 'RepositoryId_1_3': 1, 'Conditional.evaluate()': 2, 'NewInstance': 2, 'IOException': 202, 'Templates': 1, 'StreamResult': 3, 'PrivilegedActionException': 12, 'LogManager': 1, 'MalformedURLException': 17, 'NoSuchElementException': 3, 'MalformedByteSequenceException': 1, 'JMXConnectorServer': 1, 'DataFormatException': 5, 'SecuritySupport': 1, 'ServerCallback': 2, 'RMIClassLoaderSpi': 1, 'LogRecord': 3, 'JarException': 4, 'XMLStreamException': 3, 'BigDecimal': 1, 'PIHandler': 2, 'FuncExtFunctionAvailable': 1, 'PrivilegedExceptionAction.run()': 15, 'NoSuchMethodException': 22, 'Builder': 1, 'PeerEvent.PRIORITY_EVENT': 1, 'ReadOnlyGrammarPool': 1, 'SignatureAlgorithm': 1, 'EnvironmentCheck': 1, 'Track': 1, 'AuthPermission': 2, 'AclImpl': 2, 'NameService': 3, 'KeyImpl': 1, 'SyncFactory': 1, 'LSOutput': 1, 'Result': 1, 'FileAlreadyExistsException': 1, 'AlgorithmAlreadyRegisteredException': 1, 'DOMException': 5, 'SAXCatalogParser': 2, 'OutputFormat': 3, 'com.sun.org.apache.xml.internal.security.utils.ElementProxy': 1, 'ObservedObject': 1, 'DataOutputStream': 9, 'java.security.AccessController': 11, 'ElemContext': 1, 'ByteArrayInputStream': 10, 'NodeIterator': 2, 'CORBA.INTERNAL': 1, 'AccessException': 1, 'TabularDataSupport': 1, 'File': 32, 'Graphics2D': 1, 'AWTError': 2, 'NameServiceStartThread': 2, 'IOR': 2, 'URLStreamHandler': 3, 'MethodTypeForm': 1, 'TransformerException': 41, 'SAXParserHandler': 1, 'REDebugCompiler': 1, 'InvalidTargetObjectTypeException': 1, 'Location': 3, 'TransformerImpl': 3, 'ValueMember.name': 3, 'SecurityException': 25, 'Types': 1, 'INV_OBJREF': 8, 'Certificate': 6, 'Path': 1, 'DynamicMBean': 2, 'MBeanServer': 4, 'Iterator.hasNext()': 4, 'FactoryConfigurationError': 16, 'UnicastRemoteCall': 2, 'KeyStoreLoginModule': 5, 'System': 104, 'XSComplexTypeDecl': 1, 'XML11NonValidatingConfiguration': 1, 'Skeleton': 2, 'SnmpOid': 3, 'NotCompliantMBeanException': 4, 'SAXResult': 1, 'PlainSocketImpl': 1, 'Byte': 2, 'LoginContext': 2, 'RECompiler': 1, 'Future': 2, 'MessageFormat': 3, 'PrivateKey': 2, 'OADestroyed': 1, 'Builder.getKeyStore()': 1, 'TransformerFactoryConfigurationError': 4, 'RuntimeErrorException': 1, 'SAXSource': 5, 'DefaultMBeanServerInterceptor': 1, 'Font': 1, 'RMIServer': 2, 'AttributeNotFoundException': 6, 'Map.Entry': 2, 'UnicastConnectionManager': 1, 'SAXParserFactory': 11, 'WrappedRuntimeException': 6, 'ServerNotifForwarder': 1, 'Array': 1, 'PrivilegedOperation': 1, 'sun.misc.Launcher': 1, 'IIOMetadataNode': 1, 'Conditional': 2, 'GeneralSecurityException': 1, 'DocumentFragment': 1, 'BufferedInputStream': 3, 'EmptyStackException': 1, 'GSSException': 1, 'TemplatesImpl': 1, 'XMLGrammarPoolImplExtension': 1, 'ImmutableDescriptor': 2, 'LocatorImpl.getEncoding()': 2, 'XSLTC': 7, 'InvalidRelationServiceException': 1, 'null': 726, 'SecurityManager': 15, 'Graphics': 1, 'Expression': 3, 'ToolProvider': 1, 'StreamCorruptedException': 6, 'Externalizable': 8, 'InvalidAttributeValueException': 3, 'ObjectKeyTemplate': 1, 'Param': 2, 'FailedLoginException': 3, 'NotificationResult': 2, 'ForkJoinTask': 1, 'REProgram': 2, 'SnmpEngineId': 1, 'UnmarshalException': 2, 'CreatedFontTracker': 1, 'SymbolTable': 2, 'XPathException': 8, 'CORBA.MARSHAL': 1, 'Password': 2, 'instinit2': 2, 'Point': 1, 'RMIConnector': 1, 'InputStream.close()': 1, 'ToolTipManager': 1, 'SerialException': 8, 'InterruptedException': 16, 'PrinterJob': 1, 'OutputStream.close()': 1, 'X509CertSelector': 3, 'Character': 1, 'Proxy': 4, 'IIOMetadataFormat': 2, 'InetAddress': 5, 'WeakReference': 2, 'ErrorHandler': 2, 'ThreadPoolManager': 4, 'OpenDataException': 4, 'TransformXSLT': 1, 'HeaderParser': 1, 'URIResolver': 3, 'XSDHandler': 1, 'NoninvertibleTransformException': 1, 'XMLErrorReporter': 1, 'SubjectAlternativeNameExtension': 1, 'RMIConnectionImpl': 1, 'Date': 3, 'NthIterator': 1, 'Stack': 1, 'ScriptEngine': 3, 'ReflectionException': 17, 'ColorUIResource': 1, 'ArrayIndexOutOfBoundsException': 1, 'ParsedNamingURL': 1, 'EventQueue': 2, 'SoftReference': 1, 'RMIClassLoader': 1, 'InputObject': 4, 'URISyntaxException': 5, 'AbstractXMLSchema': 1, 'Iterator.getNext()': 1, 'InstanceNotFoundException': 18, 'BufferedImage': 2, 'CorbaMessageMediatorImpl': 1, 'PrintService': 1, 'XPathNamespaceImpl': 1, 'JarURLLoader.baseJarURL': 1, 'FileResolverImpl': 1, 'SnmpTooBigException': 1, 'OpenType': 4, 'Transformer': 3, 'WriterOutputBuffer': 3, 'TypeCodeImpl': 1, 'SSLSocketFactory': 1, 'ServantObject': 1, 'ExceptionRW': 1, 'DirContextNamePair': 1, 'char': 58, 'RenderingHints': 2, 'URLClassLoader': 5, 'java.lang.reflect.Array': 1, 'ListenerNotFoundException': 1, 'RemoteRef': 1, 'NodeIteratorBase': 1, 'JavaClass': 6, 'SystemColor': 1, 'ProtectionDomain': 2, 'TypeCode': 1, 'Painter': 1, 'CertificateFactory': 6, 'TransformException': 3, 'XInt': 1, 'XPathFactoryFinder': 2, 'RETestCase': 3, 'DTMManagerDefault': 1, 'SourceLocator': 8, 'PageFormat': 1, 'Clob': 2, 'KrbAsReqBuilder': 1, 'DocumentEvent': 2, 'Source': 10, 'ProviderImpl': 1, 'XML11Serializer': 3, 'XMLEntityScanner': 1, 'SocketImpl': 2, 'ProfileDataException': 1, 'SocketOrChannelConnectionImpl': 4, 'NullPointerException': 26, 'XMLSecurityException': 5, 'ObjectOutputStream': 8, 'DefaultErrorHandler': 1, 'InetSocketAddress': 2, 'Rectangle': 1, 'JMXConnectorServerProvider': 1, 'AtomicLong': 1, 'MimeTypeParameterList': 1, 'ProviderException': 1, 'XMLStreamReader': 2, 'DatatypeConfigurationException': 2, 'GIOPVersion': 1, 'DTMException': 2, 'XIncludeTextReader': 1, 'NotificationAccessController': 1, 'BranchInstruction': 1, 'BAD_CONTEXT': 2, 'KeyPairGenerator': 2, 'LinkedList': 1, 'ValidationContext': 1, 'UnknownServiceContext': 1, 'FileOutputStream': 5, 'NamespaceMappings.MappingRecord': 1, 'TestEarlyGC': 1, 'RelationType': 1, 'Subject': 4, 'NameService.getHostByAddr()': 1, 'Certificate[].length': 1, 'Message': 1, 'AbsoluteIterator': 1, 'DOMAdapter': 1, 'UnicastServerRef': 2, 'XPath': 1, 'FileInputStream': 8, 'CompilerException': 1, 'MBeanInfo': 1, 'NameService.lookupAllHostAddr()': 1, 'DataTransferer': 2, 'RelationService': 23, 'X500Principal': 3, 'InvalidRelationIdException': 2, 'FilePermission': 1, 'IllegalAccessException': 28, 'SwingUtilities2': 1, 'IIOException': 1, 'ConstantUtf8': 1, 'Error': 75, 'ObjectOutputStream.PutField': 2, 'UnsupportedEncodingException': 7, 'PrincipalName.KRB_NT_PRINCIPAL': 1, 'Writer': 3, 'NamespaceContext': 1, 'ErrorListener': 6, 'Compiler': 1, 'PropertyManager': 1, 'JAXBException': 2, 'ClientNotifForwarder': 3, 'RuntimeMBeanException': 1, 'HexDumpEncoder': 1, 'Comparable': 1, 'Select': 1, 'ModelMBeanAttributeInfo': 1, 'UnresolvedPermission': 3, 'CloneNotSupportedException': 50, 'Host': 1, 'Callable': 1, 'CDROutputObject': 1, 'SocketAddress': 3, 'InvalidObjectException': 8, 'RoleNotFoundException': 7, 'LocalResolver': 1, 'AttributeList': 1, 'NotificationFilter': 1, 'PrivilegedAction': 19, 'ServiceConfigurationError': 8, 'InvocationTargetException': 27, 'RelationTypeNotFoundException': 7, 'DOMSerializerImpl': 3, 'CDRInputObject': 1, 'BadLocationException': 15, 'SignatureAlgorithmSpi': 1, 'ORBD': 1, 'XPointerHandler': 1, 'DirContext': 2, 'BAD_PARAM': 88, 'EndPointInfo.endpointType': 1, 'EncryptionKey[].length': 1, 'NotSerializableException': 9, 'Struct': 3, 'DOMSource': 7, 'PrincipalImpl': 2, 'JMXConnector': 1, 'RoleInfoNotFoundException': 2, 'GIFImageReader': 1, 'ImageFilter': 2, 'UnknownServiceException': 1, 'MimeType': 1, 'Exception': 318, 'MLetParser': 1, 'PrefixResolver': 2, 'Position': 1, 'ClassParser': 4, 'SnmpMsg': 1, 'JarURLResource': 1, 'InvalidClassException': 10, 'MaxStreamFormatVersionComponent': 1, 'Enumeration': 16, 'Permission': 2, 'Entity': 1, 'XSObjectListImpl': 1, 'Acceptor': 1, 'CatalogManager': 4, 'Locator': 3, 'MalformedObjectNameException': 3, 'DestroyFailedException': 1, 'SAXCatalogReader': 3, 'byte': 37, 'JDMSecurityDefs': 1, 'ServiceContexts': 1, 'MyLoader': 2, 'Credentials': 3, 'RoleInfo': 3, 'SubjectCodeSource': 1, 'ExceptionNode': 1, 'MimeTypeParseException': 4, 'JInternalFrame': 1, 'ProtectionParameter': 2, 'UnsupportedOperationException': 7, 'Broker': 5, 'CorbaConnection': 1, 'ThrowableMethods': 2, 'DOMResult': 1, 'String': 788, 'Toolkit': 5, 'Debug': 11, 'BerDecoder': 1, 'Variable': 2, 'ProfileDeferralInfo.filename': 1, 'ListenerThread': 1, 'SnmpAdaptorServer': 2, 'Map': 24, 'SnmpRequestTree': 2, 'SocketException': 8, 'StreamSource': 3, 'IteratorCache': 1, 'SingleIterator.value()': 2, 'SearchResult': 1, 'NodeVector': 1, 'XSDComplexTypeTraverser': 1, 'Document': 31, 'SnmpPduFactory': 1, 'XmlAttrStack': 1, 'ServerException': 2, 'CMSManager': 1, 'SnmpPduPacket': 2, 'ObjectStreamField': 7, 'MissingResourceException': 1, 'ConnectionCache': 2, 'PrivateKeyUsageExtension.NOT_AFTER': 1, 'XSDocumentInfo': 1, 'PrintRequestAttributeSet': 1, 'XMLInputFactory': 3, 'TransformerFactoryImpl': 2, 'Translet': 1, 'PrinterException': 1, 'PasswordProtection': 1, 'XMLParserConfiguration': 1, 'ElementEdit': 1, 'XIncludeHandler': 1, 'NO_IMPLEMENT': 15, 'ImageReadParam': 1, 'HTMLdtd': 1, 'UNKNOWN.length': 1, 'Comparator.compare()': 1, 'IDLTypesUtil': 1, 'HttpURLConnection': 2, 'AbstractSAXParser': 2, 'StringTokenizer': 5, 'SuballocatedIntVector': 1, 'XNodeSet': 2, 'ClassFactory': 1, 'Handler': 3, 'Double': 2, 'HashSet': 3, 'RuleBasedBreakIterator': 1, 'LinkageError': 3, 'CorbaContactInfoListIterator': 1, 'Path2D': 1, 'COMM_FAILURE': 20, 'X509CRLSelector': 1, 'SOAPElementFactory': 1, 'PrincipalName': 3, 'SAAJMetaFactory': 1, 'XMLSecurityRuntimeException': 4, 'StringBuffer': 10, 'InvocationEvent': 1, 'PlainDocument': 1, 'Any': 1, 'XMLEventReader': 2, 'Runnable': 5, 'CORBA_2_3.portable.OutputStream': 1, 'TransformationException': 1, 'InvalidRoleValueException': 4, 'MessageUtils': 2, 'XMLStringFactory': 1, 'void': 1, 'KeyStore': 3, 'PolicyParser.PrincipalEntry': 1, 'ObjectInputStream': 23, 'MultiValuedNodeHeapIterator': 1, 'ValueExp': 1, 'NoSuchThreadPoolException': 4, 'XML11Configuration': 1, 'XSLTCDTMManager': 2, 'NoSuchFieldError': 3, 'PIParamWrapper': 1, 'RelationSupport': 17, 'AWTException': 2, 'NotOwnerException': 1, 'MonitorNotification': 1, 'DefaultMutableTreeNode': 1, 'StAXInputSource': 2, 'Blob': 1, 'EntityResolver': 2, 'SourceLoader': 2, 'Method': 42, 'DTM': 6, 'TransformerFactory': 5, 'XPathContext': 10, 'SocketChannel': 3, 'IllegalAccessError': 4, 'IOError': 1, 'TRANSIENT': 6, 'TransformerConfigurationException': 2, 'OAInvocationInfo': 2, 'SchemaParsingConfig': 1, 'WriteAbortedException': 4, 'SnmpMibRequest': 2, 'SQLData': 3, 'JarURLLoader': 1, 'ORB': 31, 'SyncProviderException': 2, 'ErrorMsg': 14, 'BreakIterator': 1, 'OrderClassLoaders': 1, 'Object': 389, 'RoleResult': 5, 'MatchPatternIterator': 1, 'MBeanServerNotification': 2, 'QName': 1, 'SOAPException': 8, 'AuthProvider': 1, 'ServerNotActive': 1, 'EndPointInfo': 2, 'MethodHandle': 3, 'View': 1, 'XNIException': 23, 'ServerManagerImpl': 1, 'Messages': 1, 'CopierManager': 1, 'LazyPainter': 1, 'SnmpMessage': 1, 'ConfigurationError': 4, 'MessageDigest': 9, 'ObjectAdapter': 1, 'SnmpNull': 1, 'RoleList': 4, 'AccessControlContext': 2, 'WebServiceException': 1, 'ORBSocketFactory': 1, 'Component': 3, 'ProxyGenerator': 1, 'NoSuchWorkQueueException': 4, 'BranchElement': 1, 'SSLSocket': 2, 'Dialog': 3, 'SendingContext.CodeBase': 1, 'LoginException': 18, 'InstructionHandle': 1, 'InputStreamReader': 10, 'UnexpectedException': 1, 'MappingRecord': 1, 'UIDefaults': 2, 'ContentHandlerFactory': 1, 'URLConnection': 4, 'ArrayType': 1, 'StringIndexOutOfBoundsException': 9, 'AppContext.EVENT_QUEUE_KEY': 1, 'NamingEnumeration': 2, 'UnicastConnection': 4, 'Segment': 4, 'URL': 23, 'LocatorImpl': 5, 'StAXSchemaParser': 1, 'ServerLocationPerORB': 2, 'UnionChildIterator': 1, 'MidiDevice': 1, 'SerialClob': 2, 'Transform': 3, 'ThreadDeath': 2, 'CachedXPathFuncHereAPI': 1, 'ContentHandler': 2, 'XMLEntityResolver': 1, 'Inet6Address': 1, 'Bias': 1, 'NamingUtils': 1, 'UnknownError': 2, 'ParagraphView': 1, 'InvalidNameException': 2, 'Function': 2, 'TypeValidator': 1, 'X509EncodedKeySpec': 1, 'WeakHashMap': 1, 'DocumentBuilderFactory': 5, 'SAX2DTM': 1, 'Iterator.next()': 4, 'NoSuchFieldException': 4, 'List': 26, 'ICC_Profile': 1, 'Launcher': 1, 'MBeanServerNotificationFilter': 1, 'FuncHereContext': 1, 'XMLSignatureInput': 1, 'ActivationGroupID': 1, 'JComponent': 2, 'BadStringOperationException': 1, 'ExecutorThread': 1, 'MBeanServerInvocationHandler': 1, 'sun.security.krb5.Config': 1, 'XMLReader': 13, 'DTMWSFilter': 3, 'Attributes': 7, 'ThreadLocal': 1, 'Attr': 2, 'ReadObjectCallback': 1, 'ThreadPool': 4, 'AbstractTranslet': 3, 'ScriptEngineFactory': 4, 'MarshalledObject': 3, 'NodeValueIterator': 2, 'IDLJavaSerializationInputStream': 2, 'XMLDTDScanner': 1, 'ObjectName': 12, 'CORBA_2_3.portable.InputStream': 1, 'Socket': 3, 'Short': 2, 'X500PrivateCredential': 1, 'CDRInputStream': 1, 'Security': 1, 'RMIClientCommunicatorAdmin': 1, 'SecureRandom': 1, 'InvalidAlgorithmParameterException': 1, 'ServerDef': 3, 'LocaleServiceProviderPool': 1, 'ValueMember.type': 3, 'JEditorPane': 1, 'ActivationException': 5, 'ImageConsumer': 2, 'MethodSignature': 2, 'CertificateException': 11, 'PrivilegedExceptionAction.run0()': 1, 'Work': 4, 'Destroyable': 1, 'TextUI': 2, 'PolicyFile': 4, 'AbstractDocument': 1, 'InstantiationException': 18, 'Repository': 6, 'INV_POLICY': 3, 'FunctionTable': 1, 'XMLInputSource': 10, 'ComplexTypeRecoverableError': 1, 'RETest': 2, 'StAXLocationWrapper': 1, 'NamingException': 11, 'SQLInputImpl': 1, 'AffineTransform': 2, 'InvalidName': 1, 'SslRMIServerSocketFactory': 1, 'Resolver': 4, 'Enum': 2, 'Krb5LoginModule': 4, 'Configuration': 1, 'XSFacets': 1, 'IdAndFilter': 1, 'IncrementalSAXSource': 2, 'TRANSACTION_ROLLEDBACK': 3, 'CMMException': 1, 'MemberSignature': 1, 'CertificateRep': 4, 'DOMErrorHandlerWrapper': 6, 'CORBA.COMM_FAILURE': 1, 'SignatureSpi': 1, 'OBJECT_NOT_EXIST': 19, 'ProxySelector': 2, 'SystemException': 8, 'IORTemplate': 1, 'XMLSerializer': 4, 'SelectorImpl': 2, 'Match': 1, 'Attribute': 3, 'SnmpStatusException': 9, 'DisposeAction': 1, 'VirtualMachineError': 2, 'ExecutionException': 3, 'PrivilegedExceptionAction': 15, 'ObjectKey': 1, 'FileBuilder': 1, 'Bidi': 1, 'XMLReaderManager': 1, 'RTFGenerator': 1, 'JMXServerErrorException': 1, 'TraceImplementation': 1, 'XMLParseException': 14, 'PKIXCertPathChecker': 1, 'SAXParser': 8, 'KeyTab': 1, 'DTMDefaultBase': 2, 'ValueMember.id': 2, 'AsynchronousChannelProvider': 1, 'Monitor': 1, 'UnicastServer': 1, 'X509Certificate': 3, 'InvocationHandler': 2, 'MBeanException': 18, 'KrbException': 3, 'Import': 1, 'StreamPrintServiceFactory': 1, 'SAXException': 27, 'MidiEvent': 1, 'InputStream.read()': 1, 'DigestOutputStream': 7, 'ApplicationException': 1, 'DefaultDocumentEvent': 1, 'StepIterator': 2, 'PrinterAbortException': 1, 'com.sun.org.apache.xml.internal.security.Init': 1, 'RelationNotFoundException': 6, 'XMLSchemaLoader': 1, 'SSLContext': 1, 'IIOMetadata': 1, 'Text': 3, 'ClassGenException': 3, 'StAXSource': 1, 'NameServiceDescriptor': 1, 'UnsupportedElement': 1, 'TCKind': 4, 'NoSuchProviderException': 5, 'XMLString': 1, 'NamingContext': 1, 'CharInfo': 1, 'NameConstraintsExtension': 1, 'Iterator': 41, 'Content': 1, 'INITIALIZE': 19, 'SHA1PRNG': 1, 'CompositeData': 1, 'PredicatedNodeTest': 1, 'XMLEventFactory': 2, 'ProcessBuilder': 1, 'SnmpInformRequest': 3, 'ShellFolder': 1, 'ProfileDeferralInfo': 1, 'JMXProviderException': 2, 'ToStream': 1, 'ObjectAlreadyActive': 1, 'PrintWriter': 28, 'PlatformLogger': 2, 'invokethrow': 2, 'EventHandler': 2, 'MethodType': 1, 'Stylesheet': 4, 'Parameter': 2, 'Highlighter': 2, 'Type': 3, 'ResourceBundle': 4, 'Role': 9, 'DerValue': 2, 'MidiUnavailableException': 1, 'SnmpVarBind': 2, 'Random': 1, 'RemarshalException': 1, 'ChangedCharSetException': 1, 'Descriptor': 1, 'SOAPFactory': 2, 'MBeanRegistrationException': 2, 'Charset': 3, 'CertificatePoliciesExtension': 1, 'PolicyParser.ParsingException': 1, 'AsynchronousByteChannel': 2, 'NameServer': 1, 'Container': 1, 'Krb5Util': 1, 'instinit2.buffer': 2, 'SOAPConnectionFactory': 1, 'XMLSignatureException': 10, 'Util': 1, 'ByteBuffer': 7, 'MLetContent': 1, 'INTERNAL': 180, 'ModalityType': 1, 'XNumber': 5, 'XMLOutputFactory': 1, 'MessageFactory': 1, 'ConfirmationCallback': 1, 'TagStack': 1, 'Serializable': 10, 'ServerError': 2, 'DOMEnhancedForDTM': 1, 'CertPath': 6, 'XMLDTDScannerImpl': 1, 'Builder.getProtectionParameter()': 1, 'SecureRandomSpi': 1, 'ByteBufferPoolImpl': 1, 'DOMErrorHandler': 9, 'SnmpPdu': 1, 'XSTypeDefinition': 1, 'PreferencesFactory': 2, 'TextAttribute': 1, 'MultiDOM': 1, 'SnmpAcl': 1, 'PaintContext': 1, 'DOM': 3, 'DirContextStringPair': 1, 'ClassCastException': 13, 'EditorKit': 3, 'CertPathRep': 4, 'TransletException': 2, 'X500Name': 1, 'Instruction': 3, 'ArrayList': 9, 'Unsafe': 3, 'XMLAttributes': 1, 'DOMInputSource': 1, 'CreatedFontTracker.MAX_FILE_SIZE': 1, 'DerOutputStream': 1, 'RelationServiceNotRegisteredException': 5, 'XPathResultImpl': 1, 'PasswordCallback': 6, 'Element': 15, 'NamespaceWildcardIterator': 1, 'PrivateKeyUsageExtension': 2, 'Provider': 3, 'Lookup': 1, 'KeepInline': 2, 'DTDDriver': 1, 'RuntimePermission': 1, 'SnmpOidRecord': 2, 'Vector': 10, 'JScrollPane': 1, 'RESyntaxException': 1, 'CachedXPathAPI': 1, 'XmlsStackElement': 1, 'IMP_LIMIT': 1, 'FileWriter': 2, 'StringWriter': 3, 'EncapsOutputStream': 1, 'IllegalArgumentException': 86, 'ValidationContextImpl': 1, 'XMLDocumentScanner': 4, 'JndiLoginModule': 3, 'SyncProvider': 3, 'InputSource': 15, 'XSSimpleTypeDecl': 1, 'CreatedFontTracker.MAX_TOTAL_BYTES': 1, 'DGCImpl': 1, 'CorbaMessageMediator': 6, 'ObjectInput': 1, 'AWTKeyStroke': 2, 'IndirectionException': 1, 'IIOPProfileTemplate': 1, 'DocumentBuilderFactoryImpl': 1, 'UnrecoverableKeyException': 1, 'Constructor': 16, 'PolicyParser': 1, 'Wrapper.OBJECT': 1, 'ServantManagerImpl': 1, 'T': 5, 'Logger': 2, 'BreakIteratorProvider': 1, 'KeyRep': 1, 'NamingContextImpl': 1, 'javax.xml.parsers.SAXParserFactory': 2, 'XMLStreamReaderImpl': 2, 'OBJ_ADAPTER': 32, 'DTMAxisTraverser': 3, 'ReadObjectState': 2, 'LocatorImpl.getXMLVersion()': 2, 'DefaultHandler': 1, 'SerializerTrace': 1, 'Thread': 31, 'DerInputStream': 1, 'AttributeSet': 2, 'ReaderThread': 1, 'WrongNumberArgsException': 1, 'FactoryFinder.ConfigurationError': 14, 'Runnable.run()': 2, 'SecretKeySpec': 1, 'Ref': 2, 'Scanner': 8, 'java.security.Security': 2, 'OutputStream.write()': 1, 'CharacterName': 1, 'XMLResourceIdentifierImpl': 1, 'Paper': 1, 'Throwable': 852, 'ORBPortInfo': 1, 'Class': 160, 'MLet': 1, 'InvalidORBid': 1, 'CORBA.ORBPackage.InvalidName': 2, 'InputMismatchException': 8, 'ResolvingXMLReader': 2, 'Comparator': 1, 'PendingException': 1, 'ReflectiveCopyException': 1, 'ObjectInstance': 1, 'LoginModuleControlFlag': 1, 'RuntimeException': 103, 'FilterIterator': 1, 'Iterator.remove()': 4, 'ClientCommunicatorAdmin': 1, 'JTextComponent': 3, 'CompositeName': 1, 'RandomAccessFile': 1, 'SocksSocketImpl': 2, 'Access': 1, 'TransformerHandler': 1, 'CallbackHandlerProtection': 1}
java:lang:Throwable-trainingLoadTime :	188109
java:lang:Throwable-trainingTime :	458
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	2
updated_at :	2018-01-15 16:50:37

supresserror

superfluous/exception handling

view

unsynchronized

success

28.8

unsynchronized

missing/condition/threading

view

wait-loop

success

22.3

Run Details
Project:	synthetic
Version:	wait-loop
Result:	success
# of Findings:	0
Runtime:	22.31 s
created_at :	2018-01-15 16:50:38
dataset :	icse16ex1
detectionLoadTime :	12
detectionTime :	37
java:lang:Object-exampleProjects :	50
java:lang:Object-maxPatternSupport :	233
java:lang:Object-numberOfPatterns :	26
java:lang:Object-numberOfTrainingExamples :	9078
java:lang:Object-numberOfUsagesInTrainingExamples :	{'': 19, 'SecureCacheResponse.getCipherSuite()': 1, 'Entry.Type.get()': 1, 'AWTEvent': 3, 'ErrorManager': 1, 'GregorianCalendar': 1, 'SchemaFactory': 1, 'SecureCacheResponse': 1, 'GridLayout': 1, 'CollationKeyICU': 1, 'CheckboxGroup': 1, 'D': 2, 'SynchronizedMap': 3, 'DalvikLogHandler': 1, 'KT': 1, 'PutField': 1, 'Class[].length': 6, 'Range': 1, 'Error': 3, 'EnumMapIterator': 1, 'GaiException': 1, 'NoSuchAlgorithmException': 2, 'NotActiveException': 2, 'Link': 4, 'V': 62, 'StackTraceElement': 1, 'XToolkit': 1, 'IndexOutOfBoundsException': 2, 'AbstractPreferences': 3, 'Socket': 2, 'X500Principal': 4, 'ClientSessionContext': 1, 'AbstractMap': 1, 'HashIterator': 1, 'Map.Entry.toString()': 1, 'Comparable': 2, 'Buffer': 1, 'NumericShaper': 1, 'LinkedBlockingQueue': 2, 'KeyPair': 1, 'CASUpdater': 5, 'Integer': 7, 'Format.Field': 1, 'UnresolvedPermission': 1, 'CloneNotSupportedException': 11, 'SignedData': 1, 'AnnotationMember': 7, 'DHPublicKey': 1, 'SocketAddress': 11, 'DOMConfigurationImpl': 1, 'InvalidObjectException': 1, 'LogRecord': 1, 'AtomicIntegerFieldUpdaterImpl': 5, 'Map.Entry.equals()': 1, 'TBSCertificate': 1, 'BlockGuard': 1, 'VT': 2, 'CertificateException': 1, 'Service': 2, 'CoderResult': 1, 'Key': 2, 'SynchronizedMapEntry': 1, 'Extensions': 1, 'PropertyChangeEvent': 1, 'InvocationTargetException': 7, 'BasicMapEntry': 3, 'DSAPublicKey': 1, 'BasicAttributes': 1, 'IOException': 32, 'Iterator': 40, 'AbstractSet.add()': 1, 'PriorityBlockingQueue': 3, 'BasicAttribute': 1, 'CopyOnWriteArrayList': 1, 'InstantiationException': 1, 'JarEntry': 1, 'OpenSSLServerSocketImpl': 1, 'GenericArrayType': 1, 'Long': 4, 'SynchronizedCollection': 2, 'MiniEnumSet': 3, 'ProcessManager': 2, 'CardLayout': 1, 'LinkedEntry': 1, 'InvalidKeySpecException': 1, 'RunnableScheduledFuture': 1, 'DatagramSocket': 1, 'Short': 2, 'Double': 3, 'ArrayDeque': 3, 'NotSerializableException': 2, 'X509KeyManager': 2, 'PKCS8EncodedKeySpec': 1, 'SelectionKeyImpl': 1, 'AuthenticatedAttributes': 1, 'ConcurrentSkipListMap.Node': 1, 'KeyStoreException': 1, 'ListIterator': 5, 'BigDecimal': 1, 'BorderLayout': 1, 'PixelGrabber': 1, 'LockedUpdater': 3, 'NoSuchMethodException': 3, 'Map.Entry.getKey()': 1, 'IndexedPropertyDescriptor': 2, 'GetField.get()': 1, 'RefAddr': 1, 'Exception': 23, 'TrustAnchor': 2, 'FinalizerReference': 1, 'AttributedStringIterator': 1, 'HashEntry': 13, 'Image': 2, 'CharacterIterator': 1, 'AuthPermission': 2, 'DatagramSocketImplFactory': 1, 'Thread_Wait': 1, 'RejectedExecutionException': 1, 'PrintStream': 22, 'UnicodeToBytes': 1, 'SelectorImpl': 1, 'SSLSessionImpl': 2, 'BitSet': 3, 'Attribute': 2, 'FileHandler': 1, 'TimerTask.when': 1, 'ListOfTypes': 1, 'PropertyDescriptor': 1, 'FlowLayout': 1, 'Formattable': 1, 'AbstractSet.iterator()': 2, 'FileNotFoundException': 1, 'LinkedBlockingDeque': 4, 'MemoryBlock': 1, 'InetAddress': 9, 'DOMException': 2, 'ArrayStore': 1, 'RawData': 1, 'ThreadGroup': 3, 'Enumeration': 5, 'Permission': 3, 'Proxy': 5, 'AttributeRange.end_index': 1, 'ClientHello': 2, 'HugeEnumSet': 3, 'PropertyChangeListener': 1, 'ICU': 3, 'AttributeRange.begin_index': 1, 'Insets': 1, 'DigitalSignature': 1, 'AnnotationFactory': 1, 'ProtectionDomain': 1, 'X509Certificate': 6, 'StringIndexOutOfBoundsException': 3, 'File': 2, 'Toolkit': 2, 'NodeImpl': 1, 'Os': 1, 'EnumMapValueCollection': 1, 'SecureRandom': 1, 'ServerHandshakeImpl': 1, 'CertificationRequestInfo': 1, 'ObjectIdentifier': 2, 'ProcessImpl': 2, 'ZipEntry': 2, 'Container': 1, 'IllegalAccessException': 7, 'AbstractStringBuilder': 3, 'PKIXParameters': 1, 'IllegalStateException': 2, 'GetField.getObjectStreamClass()': 1, 'MediaEntry': 1, 'UnsupportedOperationException': 16, 'TimerTask.scheduled': 2, 'OutputStream': 1, 'SecurityException': 5, 'Visual': 2, 'EventDispatcher': 1, 'IllegalSelectorException': 1, 'SimpleImmutableEntry': 2, 'ContentInfo': 1, 'IntrospectionException': 6, 'String': 288, 'Entry': 28, 'AbstractSelectableChannel': 1, 'Certificate': 1, 'LinkedHashMap': 2, 'Hashtable': 11, 'ClassCastException': 10, 'Set': 18, 'UnmodifiableIterator.next()': 1, 'Format': 3, 'Field': 22, 'SHA1_MessageDigestImpl': 1, 'XGraphicsConfiguration': 1, 'Map': 11, 'System': 20, 'SocketException': 6, 'Float': 2, 'ProcessReferenceQueue': 1, 'InterruptedIOException': 10, 'AbstractSet.contains()': 1, 'char[].length': 1, 'IntrospectionIncubator': 1, 'ColorModel': 1, 'Permissions': 2, 'DatagramSocketImpl': 1, 'DHParameterSpec': 1, 'IdentityScope': 1, 'SSLParameters': 2, 'Byte': 2, 'DateFormatSymbols': 2, 'AbstractSet.size()': 2, 'PutField.write()': 1, 'TreeMap': 3, 'ScrollPane': 1, 'PipedReader': 7, 'LocaleData': 1, 'ServerKeyExchange': 1, 'SelectorProvider': 1, 'PrivateKey': 2, 'Waiter': 2, 'BeanInfo': 1, 'ObjectStreamException': 1, 'Font': 2, 'SecureSet': 1, 'Cipher': 1, 'ClientHandshakeImpl': 1, 'Identity': 1, 'RemoteObject': 1, 'MissingResourceException': 2, 'PrintWriter': 3, 'Libcore': 1, 'Screen': 1, 'EventSetDescriptor': 2, 'AbstractSet.retainAll()': 1, 'SecureCacheResponse.getLocalPrincipal()': 1, 'NativeBreakIterator': 1, 'X509TrustManager': 1, 'FieldPosition': 2, 'Parameter': 1, 'SecureCacheResponse.getBody()': 1, 'AttributeRange': 1, 'Boolean': 4, 'Cloneable': 1, 'AttributedString': 2, 'FieldSizePair': 1, 'GetField.defaulted()': 1, 'CertSelector': 2, 'PKIXCertPathValidatorResult': 1, 'HashtableEntry': 8, 'ColorSpace': 1, 'Logger': 1, 'DecimalFormatSymbols': 2, 'Pattern': 1, 'PermissionCollection': 2, 'MapEntry': 3, 'InputStream': 3, 'Enum': 6, 'Manifest': 1, 'NetworkInterface': 1, 'Name': 3, 'X509ExtendedKeyManager': 1, 'Charset': 1, 'URI': 1, 'Reference': 6, 'TrustManagerImpl': 1, 'EventListener': 2, 'null': 97, 'PipedOutputStream': 3, 'Relation': 1, 'Handler': 1, 'EmulatedFieldsForDumping': 1, 'StreamCorruptedException': 3, 'OutputStreamWriter': 1, 'TimerTask': 3, 'RSAPublicKey': 1, 'SecureCacheResponse.getLocalCertificateChain()': 1, 'VMThread': 4, 'ASN1Exception': 1, 'Node': 20, 'EnumMap': 7, 'ResourceBundle': 2, 'GeneralName': 1, 'ClassNotFoundException': 2, 'SSLParametersImpl': 2, 'SynchronizedIterator': 1, 'PutField.checkType()': 1, 'Appendable': 1, 'DSAParams': 1, 'UnknownFormatConversionException': 1, 'SingletonList': 1, 'FontMetrics': 1, 'ServerSocket': 1, 'SSLEngineImpl': 1, 'Point': 1, 'TwoKeyHashMap': 3, 'StringBuffer': 9, 'InvocationEvent': 2, 'ExplicitInfo': 1, 'Calendar': 7, 'InterruptedException': 15, 'Serializable': 1, 'Runnable': 3, 'Map.Entry.getValue()': 1, 'AttributedCharacterIterator': 3, 'KeyPairGenerator': 1, 'Index': 1, 'int[].length': 1, 'X509CertSelector': 1, 'Character': 2, 'ThreadPoolExecutor': 1, 'PipedWriter': 3, 'MessageFormat': 2, 'KeyStore': 1, 'ObjectInputStream': 4, 'BytesToUnicode': 1, 'SST': 1, 'NameConstraints': 1, 'PropertyChangeListenerProxy': 1, 'OpenSSLSocketImpl': 1, 'KeyFactory': 1, 'FinalizerDaemon': 1, 'SingletonMap': 2, 'EllipticCurve': 2, 'E': 40, 'PublicKey': 6, 'TimeZone': 6, 'ArrayList': 15, 'Locale': 2, 'StringBuilder': 21, 'ArrayBlockingQueue': 3, 'Currency': 1, 'UnknownHostException': 5, 'SSLPeerUnverifiedException': 1, 'XPathFactory': 1, 'CipherSpi': 1, 'Date': 4, 'Inet4Address': 1, 'Method': 22, 'Stack': 1, 'Window': 1, 'BindException': 2, 'LayoutManager': 1, 'AtomicReferenceFieldUpdaterImpl': 5, 'RemoteException': 1, 'EventDispatchThread': 1, 'InternalError': 1, 'SynchronizedSet.iterator()': 1, 'EmulatedFields.ObjectSlot': 1, 'MemoryHandler': 1, 'IdentityHashMap': 1, 'AlgorithmIdentifier': 1, 'ParsePosition': 1, 'ArrayIndexOutOfBoundsException': 2, 'SpiAndProvider': 1, 'pr100': 1, 'WriteAbortedException': 1, 'InfoAccessSyntax': 1, 'ExceptionInInitializerError': 3, 'A': 1, 'PutField.put()': 1, 'Provider': 3, 'Entry.Type': 1, 'ASN1Type': 3, 'Formatter': 5, 'PipedInputStream': 7, 'KeepInline': 1, 'Principal': 2, 'DHPublicKeySpec': 1, 'K': 56, 'GetField.getField()': 1, 'Vector': 14, 'ProtocolVersion': 4, 'AbstractSet.remove()': 1, 'EventObject': 2, 'Annotation': 1, 'JarException': 1, 'HandshakeIODataStream': 1, 'Checkbox': 1, 'Externalizable': 2, 'byte': 16, 'SortedSet': 1, 'DelayedWorkQueue': 2, 'AssertionError': 11, 'ObjectOutput': 1, 'CertificateRequest': 1, 'IllegalArgumentException': 33, 'ZoneInfo': 1, 'XAnyEvent': 1, 'Binding': 1, 'V1': 1, 'Daemon': 1, 'IllegalFormatConversionException': 1, 'Number': 3, 'Finished': 1, 'HashMap': 9, 'ObjectStreamField': 6, 'Bidi': 1, 'ModificationItem': 1, 'char': 42, 'ServerHelloDone': 1, 'SSLSocketImpl': 1, 'DoubleKey': 2, 'Values': 1, 'BeanInfoEmbryo': 1, 'DSAPublicKeySpec': 1, 'AccessControlContext': 1, 'FileDescriptor': 1, 'HashMapEntry': 11, 'Constructor': 4, 'RemoteRef': 1, 'Map.Entry': 17, 'ChoiceFormat': 1, 'Component': 2, 'PropertyEditorSupport': 1, 'SingletonSet': 1, 'WeakHashMap': 8, 'FormatToken': 1, 'PriorityQueue': 1, 'BeanDescriptor': 1, 'T': 31, 'TaskQueue': 2, 'GetField': 1, 'Preferences': 2, 'ObjectStreamClass': 8, 'CertificateMessage': 2, 'InputStreamReader': 1, 'RemoteStub': 1, 'Subject': 1, 'SignerInfo': 1, 'WeakBucket.WeakEntry': 1, 'EnumSet': 1, 'PolicyNode': 1, 'TypeVariable': 2, 'ReferenceQueue': 8, 'NumberFormat': 1, 'FieldPositionIterator': 1, 'BigInteger': 7, 'Collection': 6, 'SecureCacheResponse.getHeaders()': 1, 'Thread': 17, 'CharSequence': 5, 'InvalidParameterException': 1, 'UNKNOWN': 3, 'DSAPrivateKey': 1, 'Map.Entry.hashCode()': 1, 'AttributeRange.attribs': 1, 'Object': 341, 'ClassLoader': 6, 'VMRuntime': 1, 'Segment': 13, 'Remote': 1, 'URL': 2, 'AttributedCharacterIterator.Attribute': 3, 'Scanner': 1, 'CipherSuite': 4, 'DataFlavor': 1, 'DecimalFormat': 2, 'NullPointerException': 33, 'Type': 3, 'BerInputStream': 1, 'DataInputStream': 1, 'ObjectOutputStream': 6, 'SynchronizedIterator.next()': 1, 'InetSocketAddress': 9, 'Map.Entry.setValue()': 1, 'Rectangle': 1, 'SimpleTimeZone': 2, 'Throwable': 16, 'Class': 234, 'TextAttribute': 1, 'Inet6Address': 1, 'DatatypeConfigurationException': 2, 'CertSelector.match()': 1, 'DSAPrivateKeySpec': 1, 'AnnotationTypeMismatchException': 1, 'SimpleDateFormat': 2, 'Package': 15, 'AbstractList': 1, 'Comparator': 2, 'SynchronizedSet': 1, 'WeakBucket': 1, 'SecureCacheResponse.getPeerPrincipal()': 1, 'ConcurrentSkipListMap': 2, 'LinkedList': 5, 'AbstractSet': 2, 'Proxy.h': 1, 'RuntimeException': 10, 'ServerHello': 1, 'java.lang.reflect.Array': 4, 'X509EncodedKeySpec': 1, 'CopiesList': 1, 'SimpleEntry': 2, 'CompositeName': 2, 'NoSuchMethodError': 1, 'List': 19, 'EventQueue': 3, 'UnmodifiableEntrySet': 1, 'DateFormat': 2, 'SecureCacheResponse.getServerCertificateChain()': 1, 'Thread_Alive': 1, 'TimerImpl': 1, 'GenericSignatureParser': 1, 'PushbackInputStream': 1, 'UnmodifiableIterator': 1, 'FileInputStream': 1, 'UnicastServerRef': 1}
java:lang:Object-trainingLoadTime :	21531
java:lang:Object-trainingTime :	243
md5 :	3394d0a68ef71aebfc9746ca18617cdf
numberOfTargets :	2
updated_at :	2018-01-15 16:50:38

wait-loop

missing/iteration

view

Experiment 3: Benchmark

Detector: MuDetectXProject_170702_MinSupport5

Experiment 3: Benchmark

Detector: MuDetectXProject_170702_MinSupport5

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details

Run Details