MuBench :: Review Site

Project

Version

Result

# of Findings

Runtime

Misuse

Violation Types

Decision

Reviews

Your Review

Your Comment

Tags

aclang

587

success

483

70.8

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

missing/condition/null_check

sarah

view

missing/condition/null_check

sarah

view

587.1

view

587.2

view

adempiere

1312

success

41.9

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

missing/call
superfluous/call

view

missing/call
superfluous/call

view

alibaba-druid

e10f28

success

77.9

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

missing/call

view

missing/exception handling

view

closure

114

success

14.3

superfluous/condition/null_check

view

319

success

400

178.1

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

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

884

success

33.9

Run Details
Project:	closure
Version:	884
Result:	success
# of Findings:	0
Runtime:	33.89 s
com:google:javascript:rhino:jstype:ObjectType-exampleProjects :	20
com:google:javascript:rhino:jstype:ObjectType-maxPatternSupport :	274
com:google:javascript:rhino:jstype:ObjectType-numberOfPatterns :	98
com:google:javascript:rhino:jstype:ObjectType-numberOfTrainingEx :	6293
com:google:javascript:rhino:jstype:ObjectType-numberOfUsagesInTr :	{'List': 40, 'SubclassRelationship': 5, 'UNKNOWN': 316, 'TernaryValue': 1, 'Traversal': 1, 'TypedScopeCreator': 4, 'Object': 2, 'DiagnosticType': 40, 'TemplateType': 1, 'IllegalStateException': 8, 'ObjectType': 718, 'ImmutableMap.Builder': 1, 'ExtendedTypeValidator': 1, 'ConcreteScope': 4, 'Exception': 1, 'Name': 5, 'Method': 1, 'EnumElementType': 53, 'StringBuilder': 10, 'SubclassType': 9, 'AbstractScopeBuilder': 21, 'TypeInference': 5, 'CodingConvention': 3, 'SortedMap': 4, 'StaticSlot': 16, 'null': 228, 'SymbolScope': 3, 'TemplateTypeMapReplacer': 4, 'AstFunctionContents': 3, 'EnumType': 12, 'PrototypeObjectType': 17, 'RecordType': 17, 'ObjectType.Property': 1, 'PropertyContinuation': 6, 'RestrictByFalseInstanceOfResultVisitor': 4, 'JSDocInfo': 101, 'FlowScope': 20, 'JSTypeExpression': 13, 'CollectProperties': 4, 'Map.Entry': 3, 'Reference': 3, 'Property': 38, 'AbstractCompiler': 9, 'InferJSDocInfo': 2, 'Symbol': 10, 'InstanceObjectType': 3, 'Collection': 39, 'HashMap': 6, 'ResolveMode': 4, 'Map': 20, 'JSType': 427, 'Integer.MAX_VALUE': 1, 'StaticTypedRef': 1, 'RestrictByTrueInstanceOfResultVisitor': 2, 'Iterator': 189, 'StaticTypedScope': 4, 'StaticSourceFile': 6, 'ConcreteType': 4, 'FunctionBuilder': 16, 'GlobalScopeBuilder': 4, 'UnionTypeBuilder': 10, 'ExtractRecordTypePropertyNames': 2, 'StubDeclaration': 5, 'NamedType': 19, 'ArrayList': 8, 'CheckAccessControls': 13, 'StaticScope': 20, 'RecordProperty': 3, 'ImplementedTypeValidator': 1, 'DelegateRelationship': 5, 'TypeValidator': 8, 'Boolean': 4, 'EquivalenceMethod': 5, 'FunctionPrototypeType': 24, 'Scope': 27, 'CheckLevel': 5, 'ProxyObjectType': 76, 'StaticRef': 1, 'ImmutableMap': 1, 'ErrorReporter': 10, 'TypedVar': 11, 'BooleanOutcomePair': 1, 'ModificationVisitor': 5, 'ImmutableList': 18, 'TemplateTypeMap': 14, 'Node': 222, 'Branch': 1, 'FunctionTypeBuilder': 15, 'TemplatizedType': 10, 'StaticReference': 4, 'UnionType': 56, 'ObjectLiteralCast': 5, 'T': 1, 'ImmutableSet': 2, 'FunctionType': 315, 'FunctionType.getConstructor()': 2, 'DiGraphEdge': 1, 'Visibility': 11, 'FunctionParamBuilder': 16, 'JSTypeNative': 5, 'PropertyMap': 18, 'JSTypeRegistry': 79, 'String[].length': 5, 'CompilerInput': 12, 'NameResolver': 1, 'JSTypeBitSet': 10, 'char': 1, 'ControlFlowGraph': 1, 'ParameterizedType': 2, 'Var': 28, 'NoObjectType': 2, 'NodeTraversal': 54, 'Collections': 4, 'String': 388, 'Iterable': 101, 'RecordTypeBuilder': 6, 'LocalScopeBuilder': 3, 'FirstOrderFunctionAnalyzer': 4, 'TypedScope': 9, 'TypeCheck': 17, 'ConformanceResult': 1, 'ConcreteInstanceType': 14, 'TypeIRegistry': 1, 'Set': 75, 'StaticTypedSlot': 6, 'ArrowType': 7, 'ConcreteFunctionType': 8, 'ImmutableList.Builder': 5, 'SuggestionPair': 1}
com:google:javascript:rhino:jstype:ObjectType-trainingLoadTime :	23542
com:google:javascript:rhino:jstype:ObjectType-trainingTime :	430
created_at :	2018-01-15 16:50:18
dataset :	icse16ex1
detectionLoadTime :	9390
detectionTime :	26
md5 :	5a204a3c89f0190863ab0dd267007368
numberOfTargets :	7796
updated_at :	2018-01-15 16:50:18

missing/condition/null_check

view

httpclient

302

success

136

139.8

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

missing/call

view

444

success

45.4

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

missing/call

sarah

view

missing/call

sarah

view

452

success

37.2

missing/call
superfluous/call

view

itext

5091

success

188.9

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

missing/exception handling

view

dmmc-15

missing/condition/value_or_state

view

dmmc-16

missing/condition/value_or_state

view

dmmc-18

missing/condition/value_or_state

view

dmmc-357

missing/condition/value_or_state

view

dmmc-61

missing/condition/value_or_state

view

dmmc-937

missing/condition/value_or_state

view

jadet-5

missing/condition/value_or_state

view

jadet-9

missing/condition/value_or_state

view

mudetect-15

missing/condition/value_or_state

view

jackrabbit

1601

success

12.7

missing/condition/null_check

view

1678

success

32.0

missing/condition/null_check

view

1694

success

12.3

missing/call

view

missing/call

view

1750

success

97.7

missing/call

view

jfreechart

1025

success

17.6

missing/call

view

103

success

45.7

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

missing/condition/null_check

view

2183

success

120.6

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

missing/condition/null_check

view

2266

success

127.4

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

missing/condition/null_check
superfluous/condition/null_check

view

881

success

44.1

missing/condition/null_check

view

missing/condition/null_check

view

jmrtd

success

94.1

missing/call

view

success

64.1

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

missing/condition/value_or_state

view

jodatime

1231

success

6.9

missing/condition/null_check

view

lucene

1251

success

91.2

missing/exception handling

view

1918

success

624

2,001.8

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

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

31.0

missing/condition/value_or_state

view

754

success

32.1

missing/condition/value_or_state

view

rhino

286251

success

391

482.6

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

superfluous/call/duplicate

sarah

view

synthetic

callondte

success

64.9

callondte

missing/condition/environment

view

close-1

success

89.3

close-1

missing/call

view

close-2

success

86.8

close-2

missing/exception handling

view

cme

success

231.2

cme

superfluous/call

view

deadlock

success

23.1

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

deadlock

superfluous/condition/threading

view

fisexists

success

29.5

fisexists

missing/condition/value_or_state

view

flip-1

success

62.4

flip-1

missing/call

view

flip-2

success

60.7

flip-2

missing/call

view

flush

success

344.5

flush

missing/call

view

hasnext

success

35.6

hasnext

missing/condition/value_or_state

view

latenullcheck

success

23.0

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

latenullcheck

misplaced/condition/null_check

view

listget

success

19.0

listget

missing/condition/value_or_state

view

mapkeynull

success

29.3

mapkeynull

missing/condition/null_check

view

mapnull

success

29.2

mapnull

missing/condition/value_or_state

view

maybenull

success

22.3

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

maybenull

missing/condition/null_check
superfluous/condition/null_check

view

nofile

success

0.7

nofile

missing/condition/value_or_state

view

pack-1

success

36.6

pack-1

misplaced/call

view

pack-2

success

34.9

pack-2

missing/call

view

repetitive

success

41.2

repetitive

superfluous/iteration

view

setfirst

success

32.5

setfirst

missing/condition/value_or_state

view

supresserror

success

191.0

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

supresserror

superfluous/exception handling

view

unsynchronized

success

28.7

unsynchronized

missing/condition/threading

view

wait-loop

success

22.4

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

wait-loop

missing/iteration

view

Experiment 3: Benchmark

Detector: MuDetectXProject_170702_MinSupport8

Experiment 3: Benchmark

Detector: MuDetectXProject_170702_MinSupport8

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

Run Details