aclang |
587 |
success |
135 |
65.9 s |
×
Run Details |
|
Project: |
aclang |
Version: |
587 |
Result: |
success |
# of Findings: |
135 |
Runtime: |
65.91 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
2068 |
detectionTime : |
4091 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfExploredAlternatives : |
434 |
numberOfTargets : |
2186 |
numberOfViolations : |
135 |
org:apache:commons:lang:text:StrBuilder-exampleProjects : |
42 |
org:apache:commons:lang:text:StrBuilder-maxPatternSupport : |
146 |
org:apache:commons:lang:text:StrBuilder-numberOfPatterns : |
32 |
org:apache:commons:lang:text:StrBuilder-numberOfTrainingExamples : |
3712 |
org:apache:commons:lang:text:StrBuilder-numberOfUsagesInTraining : |
{'GetMethod': 1, 'AuthorizationHandler': 1, 'RuntimeException': 8, 'NonBlockingMessageDialogs': 2, 'SimpleNode': 14, 'QueryBuilder': 3, 'Size': 1, 'Double[][].length': 1, 'ProteinDomainDTO': 1, 'SqlOperation': 1, 'CompoundFilter': 1, 'Database': 1, 'AggregationColumn': 1, 'ProteinDomainPanel': 1, 'AttachedFile': 1, 'JFileChooser': 1, 'SWT.MULTI': 1, 'LoggerAppenderRef': 1, 'DataSourceParameters': 1, 'AffyAgiParser': 1, 'Character': 24, 'PerfMonProc': 1, 'Integer': 24, 'FileWriter': 1, 'Ps': 1, 'StringBuffer': 10, 'IntRange': 2, 'IllegalStateException': 4, 'Composite': 3, 'DurationFormatUtils': 2, 'Object[].length': 11, 'CharRange': 2, 'SWT.DOWN': 1, 'LongRange': 2, 'Service': 2, 'Shell': 1, 'Method': 7, 'PerfMonSwap': 1, 'ProcCpu': 1, 'Object': 49, 'Format': 2, 'ReasonType': 4, 'ResponseStatus': 1, 'CharSet': 4, 'DefaultLogger': 2, 'AbstractColumn': 6, 'Connection': 2, 'CpuPerc[].length': 1, 'AppenderReference': 1, 'NullArgumentException': 2, 'Offset': 1, 'Affy': 1, 'IJettyManager': 2, 'PatientService': 1, 'ColumnColumnFilter': 1, 'String': 390, 'SWT.UP': 1, 'JFileChooser.FILES_ONLY': 1, 'ProteinDomainSummaryVO': 1, 'Preferences': 1, 'ParsingError': 1, 'ColumnLabelProvider': 1, 'LogicalOperator': 1, 'null': 54, 'Exception': 11, 'Warning': 1, 'InternetAddress': 1, 'List': 34, 'Mem': 1, 'QueryGroup': 1, 'SigarException': 1, 'AGI': 1, 'CertificatesArea': 2, 'ExonDTO': 3, 'Map.Entry': 1, 'GenePanel': 1, 'ColumnSort': 2, 'MultiLineStringBuilder': 2, 'CommandSender': 1, 'NetStat': 1, 'MappingException': 3, 'MutationService': 1, 'TableLayout': 1, 'TreeViewer': 1, 'DialogCallback': 2, 'ChannelDescriptor': 2, 'UNKNOWN.length': 1, 'Entry': 1, 'ClassLoader': 1, 'StrBuilderReader': 8, 'IndexOutOfBoundsException': 2, 'VaultHandler': 1, 'Runnable': 1, 'Double': 1, 'FileSystemUsage': 1, 'MethodCache': 7, 'ArrayList': 5, 'Math': 2, 'QuerySelection': 1, 'HttpStatus.OK': 1, 'Group': 1, 'Number': 6, 'Tcp': 1, 'SWT.FULL_SELECTION': 1, 'INodeDescriptor': 2, 'ColumnWeightData': 1, 'Step': 1, 'Throwable': 1, 'SortOrder': 1, 'HttpClient': 1, 'Writer': 9, 'PerfMonIo': 1, 'CpuPerc': 2, 'HttpActivator': 2, 'ImodeMail': 1, 'Account': 1, 'CSVParser': 1, 'BasePerfMonCommand': 1, 'Level': 2, 'ParsePosition': 8, 'MutationSummaryDTO': 1, 'NegationFilter': 1, 'Context': 14, 'Country': 2, 'PerfMonTcp': 1, 'Swap': 1, 'PerfMonNetStat': 1, 'NestableRuntimeException': 2, 'ClusterAdminPage': 1, 'ColumnTitle': 2, 'RuntimeMacro': 7, 'StrMatcher': 6, 'ComparisonFilter': 1, 'ExonSummaryVO': 1, 'ApplicationProviderRegistration': 2, 'Window.OK': 2, 'Token': 52, 'ICertificate': 2, 'VelocityException': 14, 'FileSystem': 1, 'QuerySort': 1, 'ScalarFunctionColumnTitle': 2, 'Class': 3, 'NodeItem': 2, 'Value': 1, 'Block': 5, 'URLEncoder': 1, 'SimpleColumn': 1, 'char': 126, 'String[].length': 10, 'DialogCallback.dialogClosed()': 2, 'SWT.BORDER': 1, 'NumberFormatException': 2, 'Runnable.run()': 1, 'StatusType': 1, 'OutputType': 1, 'ParserTokenManager': 16, 'NodeBrowserSortListener': 1, 'IllegalArgumentException': 10, 'FilteredTree': 1, 'NodePatternFilter': 1, 'File[].length': 1, 'Address': 1, 'PerfMonCpu': 2, 'ApplicationManager': 2, 'SwtUtil': 2, 'Fraction': 4, 'ColumnLabelProvider.getText()': 1, 'ComparisonFilter.Operator': 1, 'QueryFilter': 4, 'MutationSummaryVO': 1, 'VirtualAddress': 1, 'PageImports': 5, 'IOpenListener': 1, 'ExtendedMessageFormat': 2, 'Exon': 3, 'System.out': 12, 'FileSystem.TYPE_LOCAL_DISK': 1, 'CharSequence': 1, 'DataSourceException': 2, 'Permission': 1, 'PrintStream': 1, 'ProcStat': 1, 'GeneDTO': 1, 'GlobalSetting': 1, 'System': 40, 'Iterator': 45, 'Map': 4, 'FilenameUtils': 1, 'NullPointerException': 7, 'ToStringBuilder': 7, 'PerfMon': 1, 'Class[].length': 7, 'Player': 1, 'StackTraceElement': 1, 'NodeBrowserComparator': 1, 'SQLException': 2, 'MessageColor': 1, 'DocumentViewPage': 1, 'Pathway': 1, 'Collection': 8, 'Lists': 13, 'Statement': 1, 'OutputStream': 1, 'DoubleRange': 2, 'CmdList': 1, 'DatabaseMetaData': 1, 'SqlDatabaseDescription': 1, 'Appender': 3, 'FileInputStream': 1, 'ProteinDomain': 2, 'InternalContextAdapter': 7, 'SWT.LEFT': 1, 'UNKNOWN': 286, 'HttpStatus.INTERNAL_SERVER_ERROR': 1, 'Fragment': 1, 'byte[].length': 1, 'FileAppender': 3, 'SortIndex': 1, 'TokenMgrError': 4, 'PortValue': 4, 'ColumnIsNullFilter': 1, 'Contact': 2, 'SigarProxy': 9, 'ApplicationRegistration': 2, 'TreeViewerColumn': 1, 'PerfMonJava': 1, 'PerfMonUtils': 3, 'DomainModelBeans': 1, 'ColumnValueFilter': 1, 'NumberRange': 4, 'RoyalCommands': 1, 'GenomePanel': 1, 'Define': 2, 'ResponseEntity': 1, 'ValueType': 1, 'Runtime': 1, 'IRepositoryPreferences': 1, 'StringIndexOutOfBoundsException': 20, 'IOException': 5, 'PrintWriter': 2, 'FileSystem[].length': 1, 'Log': 6, 'File': 1, 'OutputPort': 2, 'Phone': 1, 'StrBuilder': 432, 'Query': 7, 'PerfMonMem': 1, 'DataTable': 2, 'Logger': 2} |
org:apache:commons:lang:text:StrBuilder-trainingLoadTime : |
57681 |
org:apache:commons:lang:text:StrBuilder-trainingTime : |
863 |
updated_at : |
2018-01-15 16:49:56 |
|
1 |
- missing/condition/null_check
|
|
|
view
|
|
|
|
|
|
|
|
|
2 |
- missing/condition/null_check
|
|
|
view
|
|
|
|
|
|
|
|
|
587.1 |
|
|
|
view
|
|
|
|
|
|
|
|
|
587.2 |
|
|
|
view
|
|
|
adempiere |
1312 |
success |
0 |
44.6 s |
×
Run Details |
|
Project: |
adempiere |
Version: |
1312 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
44.63 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
2373 |
detectionTime : |
35 |
java:lang:String-exampleProjects : |
50 |
java:lang:String-maxPatternSupport : |
310 |
java:lang:String-numberOfPatterns : |
34 |
java:lang:String-numberOfTrainingExamples : |
5612 |
java:lang:String-numberOfUsagesInTrainingExamples : |
{'': 20, 'PrivateKeyUsagePeriod': 1, 'AlgorithmParameterGenerator': 1, 'SecretKeySpec': 3, 'Retry': 1, 'CRC32': 1, 'RuntimeException': 2, 'ASN1Type': 1, 'IllegalAccessException': 1, 'QName': 3, 'KeyStoreException': 2, 'BufferOverflowException': 2, 'PolicyInformation': 1, 'Manifest': 7, 'XPathFactory': 4, 'RuleBasedCollatorICU': 1, 'CDATASectionImpl': 2, 'InvalidParameterException': 3, 'ByteArrayOutputStream': 4, 'StrictLineReader': 3, 'Editor': 1, 'ErrorManager': 1, 'FileHandler': 2, 'CodeSource': 1, 'DataType': 1, 'LogRecord': 1, 'ContentHandler': 3, 'Cipher': 5, 'IncompleteAnnotationException': 1, 'BigInt': 1, 'CertPathBuilder': 1, 'Charset': 25, 'Attr': 2, 'LogManager': 1, 'OutputStreamWriter': 2, 'BufferedWriter': 2, 'X509CertImpl': 2, 'ObjectStreamField': 7, 'Timestamp': 1, 'KeyRep': 1, 'ZoneInfoDB': 2, 'XmlPullParser.TEXT': 1, 'SocketPermission': 1, 'D': 2, 'JarVerifier': 5, 'X509Certificate': 7, 'InvalidKeySpecException': 1, 'BufferIterator': 1, 'Object': 95, 'DateFormat': 1, 'LexicalHandler': 1, 'AbstractPreferences': 6, 'InetAddress': 11, 'InetSocketAddress': 3, 'boolean[].length': 1, 'Document': 3, 'ZipOutputStream': 3, 'DigitalSignature': 2, 'SecurityAccess': 2, 'TrustedCertificateStore': 1, 'URLConnection': 10, 'HeaderParser.CacheControlHandler.handle()': 2, 'byte': 26, 'MessageFormat': 6, 'Os': 3, 'ContentHandlerFactory': 1, 'DHKey': 1, 'Enumeration': 7, 'Preferences': 2, 'CharBuffer': 7, 'Map.Entry': 8, 'NetworkInterface.children': 1, 'Long': 5, 'InvalidObjectException': 1, 'URLJarHandler': 5, 'UNKNOWN': 2, 'PasswordAuthentication': 1, 'CertificateRequest': 2, 'DocumentBuilderFactory': 1, 'MemoryMappedFile': 1, 'SSLSocketImpl': 1, 'DateFormatSymbols': 3, 'FileNotFoundException': 2, 'AnnotationMember': 5, 'Duration': 2, 'Formatter': 5, 'ErrorHandler.fatalError()': 1, 'SecureRandom': 4, 'ChoiceFormat': 5, 'Entry': 5, 'ClassLoader': 16, 'Attribute': 3, 'CertificateFactory': 2, 'IndexOutOfBoundsException': 4, 'Runnable': 1, 'Double': 2, 'HttpEngine': 3, 'Comparator.compare()': 1, 'ArrayList': 15, 'DecimalFormat': 2, 'BigDecimal': 6, 'KeyManagerFactory': 2, 'Number': 7, 'DocumentTypeImpl': 1, 'NullPointerException': 68, 'VerifierEntry': 1, 'GeneralName': 3, 'ClientKeyExchange': 2, 'HexStringParser': 2, 'UnsupportedEncodingException': 6, 'StringBuilder': 62, 'KeyPair': 1, 'ClientSessionContext.sslCtxNativePointer': 1, 'InvalidAlgorithmParameterException': 3, 'UnknownHostException': 2, 'GeneralSecurityException': 1, 'UUID': 1, 'ListOfTypes': 1, 'ParsePosition': 13, 'Date': 7, 'DOMException': 6, 'TwoKeyHashMap': 5, 'FactoryConfigurationError': 1, 'InvalidKeyException': 3, 'SocketException': 3, 'NetworkInterface.addresses': 1, 'OpenSSLServerSocketImpl': 1, 'NodeList': 3, 'NoSuchElementException': 2, 'DecimalFormatSymbols': 6, 'RawHeaders': 7, 'CacheControlHandler': 1, 'ErrorHandler': 2, 'ServerHello': 2, 'AbstractSessionContext': 1, 'RoundingMode': 1, 'JarFile': 5, 'NativeDecimalFormat': 3, 'ObjectIdentifier': 2, 'Signature': 1, 'NoSuchProviderException': 19, 'Attributes2Impl': 1, 'XPathFactoryConfigurationException': 2, 'JarURLConnection': 5, 'MalformedURLException': 4, 'CertificatePolicies': 1, 'char': 238, 'AnnotationFactory': 3, 'CharArrayWriter': 2, 'NumberFormatException': 31, 'Libcore': 3, 'KXmlParser': 1, 'DiskLruCache.Editor': 1, 'URL': 42, 'PermissionCollection': 1, 'CertificateExpiredException': 1, 'TextImpl': 2, 'EOFException': 2, 'GenericSignatureParser': 1, 'ObjectInputStream': 10, 'Comparator': 2, 'EntityReferenceImpl': 1, 'Calendar': 2, 'ServerHelloDone': 1, 'SAXParseException': 3, 'KeyAgreement': 3, 'Process': 1, 'GenericDeclaration': 2, 'AttributeValue': 3, 'Attributes.Name': 1, 'CharsetEncoder': 1, 'Name.name': 1, 'CipherSuite': 6, 'Locale': 59, 'ErrorHandler.warning()': 1, 'URLStreamHandler': 6, 'SecurityException': 5, 'PrintStream': 2, 'Iterable': 2, 'CoderResult': 2, 'ServerHandshakeImpl': 1, 'ServiceCacheEntry': 1, 'UnknownFormatConversionException': 3, 'Iterator': 37, 'Map': 19, 'NumberFormat': 3, 'RandomAccessFile': 1, 'ContentInfo': 2, 'Reader': 2, 'Throwable': 6, 'KeyGenerator': 1, 'X509CertSelector': 1, 'XmlPullParser.END_DOCUMENT': 1, 'StackTraceElement': 3, 'Thread': 4, 'RequestHeaders': 3, 'IllegalBlockSizeException': 2, 'SAXNotRecognizedException': 8, 'ResponseHeaders': 6, 'ThreadDeath': 2, 'IvParameterSpec': 1, 'Text': 2, 'CharSequenceAdapter': 1, 'FormatSpecifierParser': 4, 'ExpatReader': 2, 'DHPublicKeySpec': 2, 'AttributedIterator': 8, 'OpenSSLSessionImpl': 2, 'TimezoneGetter': 1, 'ParseException': 2, 'ArithmeticException': 1, 'Element': 6, 'PublicKey': 9, 'ByteArrayInputStream': 4, 'BadPaddingException': 2, 'CookieParser': 6, 'Mac': 1, 'ClientHandshakeImpl': 1, 'Collection': 2, 'URISyntaxException': 14, 'CookieHandler': 1, 'Matcher': 6, 'FilePermission': 2, 'IllegalArgumentException': 109, 'BackingStoreException': 1, 'NetworkInterface': 3, 'FileReader': 1, 'UnknownServiceException': 1, 'CertificateMessage': 2, 'ExpatParser': 1, 'ClientSessionContext': 2, 'DocumentBuilder': 1, 'Range': 3, 'TypeVariable': 3, 'Pattern': 2, 'UnsupportedOperationException': 2, 'OpenSSLSocketImpl': 2, 'Engine': 3, 'PrintWriter': 1, 'DHParameterSpec': 1, 'StringExponentPair': 3, 'InitManifest': 2, 'GenericArrayType': 1, 'Logger': 5, 'FileInputStream': 3, 'Stream': 2, 'X509EncodedKeySpec': 1, 'StructAddrinfo': 1, 'Proxy.Type': 1, 'ClassNotFoundException': 3, 'DuplicateFormatFlagsException': 1, 'CertificateEncodingException': 2, 'SSLContext': 1, 'InputSource': 2, 'Method': 2, 'HttpURLConnectionImpl': 1, 'Key': 3, 'Node': 10, 'SealedObject': 2, 'SystemEnvironment': 1, 'Name': 6, 'DiskLruCache': 1, 'CertificateVerify': 1, 'Properties': 9, 'Attributes2': 1, 'Error': 2, 'X509CertPathImpl': 3, 'NetworkInterface.name': 1, 'Integer': 6, 'AlertException': 1, 'StringBuffer': 16, 'SAXNotSupportedException': 2, 'KeyStore': 5, 'HashSet': 2, 'ObjectInputStream.GetField': 2, 'IllegalStateException': 10, 'Format': 5, 'NamedNodeMap': 2, 'ObjectOutputStream.PutField': 2, 'MessageDigest': 6, 'AlgorithmParameters': 3, 'Service': 7, 'Inet6Address': 1, 'TrustManagerFactory': 2, 'URLClassLoader': 1, 'FileOutputStream': 1, 'JarInputStream': 2, 'NoSuchAlgorithmException': 12, 'Appendable': 2, 'CachedDecimalFormat': 1, 'ASN1Sequence': 3, 'AssertionError': 8, 'Attributes': 8, 'ProtocolException': 2, 'IllegalFormatConversionException': 1, 'HashMap': 8, 'GZIPInputStream': 1, 'KeyPairGenerator': 2, 'org.apache.harmony.security.asn1.ObjectIdentifier': 1, 'RSAPublicKey': 1, 'String': 711, 'Boolean': 3, 'BerOutputStream': 3, 'ObjectOutputStream': 2, 'HttpURLConnection': 4, 'PKIXParameters': 1, 'UnicodeBlock': 2, 'Exception': 20, 'SubjectPublicKeyInfo': 1, 'AnnotationMember.name': 1, 'List': 34, 'AbstractStringBuilder': 7, 'StringReader': 3, 'CertificateNotYetValidException': 1, 'Package': 6, 'MathContext': 1, 'ByteBuffer': 5, 'InputStream': 22, 'AttributesImpl': 6, 'ChunkedInputStream': 1, 'StringIndexOutOfBoundsException': 19, 'Address': 2, 'ZipInputStream': 1, 'Constructor': 2, 'SAXException': 3, 'Type': 3, 'ArrayIndexOutOfBoundsException': 2, 'AttributedString': 10, 'ResourceBundle': 4, 'SecretKeyFactory': 1, 'Field': 3, 'CharArrayBuffer': 1, 'AlgorithmIdentifier': 3, 'ElementImpl': 1, 'XmlPullParser.ENTITY_REF': 1, 'KeyFactory': 4, 'EntityResolver': 2, 'CoderMalfunctionError': 1, 'Vector': 1, 'IndexFile': 4, 'Identity': 2, 'AlgNameMapper': 1, 'FtpURLConnection': 2, 'URLStreamHandlerFactory': 2, 'X500Principal': 4, 'EmulatedFields': 1, 'AttributeTypeAndValue': 4, 'Provider.Service': 5, 'InterfaceAddress': 1, 'XmlPullParser.START_TAG': 1, 'PKCS8EncodedKeySpec': 1, 'TimeZone': 6, 'ImplForVariable': 1, 'Inflater': 1, 'HeaderParser.CacheControlHandler': 2, 'ServerSessionContext.sslCtxNativePointer': 1, 'HttpCookie': 9, 'Context': 3, 'UTFDataFormatException': 1, 'SimpleTimeZone': 3, 'ProcessingInstructionImpl': 1, 'CertificateException': 6, 'Scanner': 1, 'ErrorHandler.error()': 1, 'ServerKeyExchange': 2, 'HandshakeIODataStream': 1, 'AttributeList': 1, 'ZipException': 4, 'URLHandler': 6, 'XmlPullParser.CDSECT': 2, 'Handler': 1, 'Services': 2, 'EntityResolver.resolveEntity()': 1, 'Buffer': 1, 'Proxy': 5, 'TrustManagerImpl': 1, 'Class': 30, 'StringBufferInputStream': 2, 'CertPathValidatorException': 1, 'ServerSessionContext': 2, 'SSLException': 2, 'IllegalFormatCodePointException': 1, 'SchemaFactory': 2, 'Control': 2, 'Level': 3, 'StringCharacterIterator': 9, 'LocaleData': 6, 'NotSerializableException': 1, 'PrivateKey': 4, 'SSLSession': 3, 'BufferUnderflowException': 2, 'CodingErrorAction': 1, 'NoSuchPaddingException': 3, 'BootClassLoader': 1, 'CacheRequestImpl': 1, 'T': 1, 'ZoneInfo': 2, 'ZipEntry': 7, 'InvalidClassException': 1, 'InputStreamReader': 7, 'AttributedCharacterIterator.Attribute': 2, 'DHPublicKey': 2, 'Set': 21, 'XmlPullParser.COMMENT': 1, 'Enum': 1, 'Provider': 37, 'DataOutputStream': 3, 'CharSequence': 11, 'CharsetDecoder': 2, 'TrustAnchor': 1, 'null': 134, 'VirtualMachineError': 2, 'HostAndPort': 2, 'BufferedReader': 7, 'X509TrustManager': 2, 'Hashtable': 3, 'ConnectionStateSSLv3': 1, 'XmlPullParser.END_TAG': 1, 'ConfigurationError': 1, 'IllegalCharsetNameException': 1, 'Currency': 2, 'StreamTokenizer': 1, 'XPathFactoryFinder': 2, 'GeneralNames': 1, 'InvalidPreferencesFormatException': 1, 'ParserAdapter': 3, 'CertStore': 1, 'Manifest.Chunk': 1, 'SSLSessionImpl': 3, 'IdentityScope': 1, 'SSLHandshakeException': 1, 'ObjectStreamClass': 5, 'FieldPosition': 2, 'SSLProtocolException': 2, 'JarEntry': 4, 'X509KeyManager': 2, 'Console': 1, 'OutputStream': 7, 'Time': 1, 'NameConstraints': 1, 'StringWriter': 1, 'X509ExtendedKeyManager': 1, 'FormatToken': 4, 'ObjectSlot': 1, 'CertPathValidator': 1, 'ClientHello': 1, 'XmlPullParser.IGNORABLE_WHITESPACE': 1, 'Certificate': 9, 'ParserConfigurationException': 3, 'CertPath': 2, 'DocumentBuilderImpl': 1, 'Conversion': 1, 'ASN1StringType': 1, 'KeyStore.PrivateKeyEntry': 1, 'SpiAndProvider': 2, 'SimpleDateFormat': 8, 'Locator': 1, 'WeakReference': 1, 'SSLEngineImpl': 1, 'DefaultSSLContextImpl': 2, 'ServiceConfigurationError': 2, 'InvalidPropertiesFormatException': 1, 'java.io.File': 2, 'StringTokenizer': 7, 'ListIterator': 1, 'XmlPullParser.PROCESSING_INSTRUCTION': 1, 'Runtime': 1, 'SignedData': 2, 'XmlPullParser.DOCDECL': 1, 'URI': 23, 'IOException': 43, 'CertificateParsingException': 1, 'DocumentImpl': 4, 'NodeImpl': 6, 'File': 28, 'FactoryFinder': 1, 'FileURLConnection': 2, 'CipherSpi': 1, 'BigInteger': 8} |
java:lang:String-trainingLoadTime : |
41304 |
java:lang:String-trainingTime : |
405 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1168 |
updated_at : |
2018-01-15 16:49:56 |
|
1 |
- missing/call
- superfluous/call
|
|
|
view
|
|
|
|
|
|
|
|
|
2 |
- missing/call
- superfluous/call
|
|
|
view
|
|
|
alibaba-druid |
e10f28 |
success |
0 |
79.1 s |
×
Run Details |
|
Project: |
alibaba-druid |
Version: |
e10f28 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
79.07 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
9355 |
detectionTime : |
30 |
javax:crypto:Cipher-exampleProjects : |
50 |
javax:crypto:Cipher-maxPatternSupport : |
36 |
javax:crypto:Cipher-numberOfPatterns : |
4 |
javax:crypto:Cipher-numberOfTrainingExamples : |
284 |
javax:crypto:Cipher-numberOfUsagesInTrainingExamples : |
{'CipherInputStream': 2, 'Stream': 12, 'ServerKeyExchange': 4, 'HandshakeIODataStream': 2, 'ServerHello': 4, 'DigestException': 2, 'Class': 2, 'Key': 12, 'ServerSessionContext': 2, 'SSLException': 4, 'KeyPairGenerator': 2, 'CertificateMessage': 4, 'SealedObject': 6, 'ByteArrayOutputStream': 2, 'SignatureException': 4, 'Serializable': 2, 'PrivateKey': 4, 'Signature': 8, 'AlertException': 16, 'Cipher': 46, 'NoSuchPaddingException': 12, 'ClientHello': 2, 'ClientKeyExchange': 4, 'IllegalStateException': 12, 'X509KeyManager': 2, 'ObjectInputStream': 6, 'ByteArrayInputStream': 6, 'AlgorithmParameters': 12, 'ServerHelloDone': 2, 'SSLSessionImpl': 8, 'KeyAgreement': 4, 'Provider': 8, 'X509Certificate': 6, 'InvalidKeySpecException': 2, 'Object': 8, 'ServerHandshakeImpl': 2, 'NoSuchAlgorithmException': 16, 'AssertionError': 2, 'ConnectionState': 6, 'DigitalSignature': 12, 'Iterator': 2, 'ConnectionStateSSLv3': 6, 'byte': 22, 'NullCipherSpi': 2, 'String': 58, 'DHKey': 2, 'EncryptedPrivateKeyInfo': 8, 'Set': 2, 'DHParameterSpec': 2, 'IllegalBlockSizeException': 18, 'null': 20, 'Exception': 10, 'SpiAndProvider': 2, 'IvParameterSpec': 4, 'SSLProtocolException': 12, 'CertificateRequest': 4, 'OutputStream': 2, 'SSLEngineImpl': 2, 'SSLSocketImpl': 2, 'DHPublicKeySpec': 4, 'X509ExtendedKeyManager': 2, 'CertificateVerify': 2, 'NoSuchProviderException': 2, 'SecureRandom': 12, 'PublicKey': 4, 'MessageDigest': 4, 'BadPaddingException': 20, 'Certificate': 2, 'ClientHandshakeImpl': 2, 'KeyFactory': 4, 'RSAPublicKey': 2, 'DHPublicKey': 4, 'IllegalArgumentException': 6, 'NullPointerException': 16, 'ConnectionStateTLS': 6, 'CipherOutputStream': 2, 'X509TrustManager': 2, 'CipherSuite': 10, 'ObjectOutputStream': 2, 'KeyPair': 2, 'PKCS8EncodedKeySpec': 8, 'InvalidAlgorithmParameterException': 10, 'IOException': 16, 'GeneralSecurityException': 4, 'CipherSpi': 2, 'InvalidKeyException': 14, 'Runnable': 2, 'BigInteger': 4} |
javax:crypto:Cipher-trainingLoadTime : |
69131 |
javax:crypto:Cipher-trainingTime : |
61 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
12207 |
updated_at : |
2018-01-15 16:49:56 |
|
1 |
|
|
|
view
|
|
|
|
|
|
|
|
|
2 |
- missing/exception handling
|
|
|
view
|
|
|
closure |
114 |
success |
0 |
14.2 s |
×
Run Details |
|
Project: |
closure |
Version: |
114 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
14.19 s |
com:google:javascript:rhino:jstype:UnionTypeBuilder-numberOfUsag : |
{} |
com:google:javascript:rhino:jstype:UnionTypeBuilder-trainingLoad : |
48 |
com:google:javascript:rhino:jstype:UnionTypeBuilder-trainingTime : |
19 |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
13721 |
detectionTime : |
28 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
5147 |
updated_at : |
2018-01-15 16:49:56 |
|
1 |
- superfluous/condition/null_check
|
|
|
view
|
|
|
|
319 |
success |
111 |
125.4 s |
×
Run Details |
|
Project: |
closure |
Version: |
319 |
Result: |
success |
# of Findings: |
111 |
Runtime: |
125.36 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
12057 |
detectionTime : |
8884 |
java:util:Iterator-exampleProjects : |
50 |
java:util:Iterator-numberOfUsagesInTrainingExamples : |
{} |
java:util:Iterator-trainingLoadTime : |
36528 |
java:util:Iterator-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfExploredAlternatives : |
1495 |
numberOfTargets : |
6344 |
numberOfViolations : |
111 |
org:kohsuke:args4j:spi:Parameters-exampleProjects : |
50 |
org:kohsuke:args4j:spi:Parameters-maxPatternSupport : |
47 |
org:kohsuke:args4j:spi:Parameters-numberOfPatterns : |
12 |
org:kohsuke:args4j:spi:Parameters-numberOfTrainingExamples : |
604 |
org:kohsuke:args4j:spi:Parameters-numberOfUsagesInTrainingExampl : |
{'TimeSpanOptionHandler': 1, 'AbstractProject': 2, 'Result': 1, 'ObjectIdHandler': 1, 'IllegalAccessException': 1, 'NoSuchProjectException': 7, 'CommandRef': 8, 'ClassNotFoundException': 1, 'org.dbview.utils.Strings': 1, 'TimeSpan': 1, 'MissingObjectException': 16, 'CLIText.notAnObject': 3, 'Class': 2, 'CLIText.notATree': 6, 'SocketAddressHandler': 7, 'InstantiationException': 1, 'AccountIdHandler': 7, 'Hudson': 4, 'MalformedURLException': 4, 'ObjectId': 27, 'Level': 2, 'String[].length': 3, 'ZooKeeperPathOptionHandler': 1, 'AbstractProjectOptionHandler': 2, 'CLIText.cannotReadBecause': 6, 'RegexOptionHandler': 1, 'DistributionStrategy': 1, 'Repository': 24, 'DateTimeFormatter': 1, 'AccountGroupUUIDHandler': 6, 'CLIText': 15, 'StringWrapperOptionHandler': 1, 'ProjectUtil': 2, 'Parameters': 151, 'OptionHandlerImpl': 1, 'PathFilterGroup': 8, 'NoSuchMethodException': 1, 'Change.Key': 3, 'DateTime': 1, 'PatchSet.Id': 7, 'URL': 4, 'SecurityException': 1, 'DirCache': 8, 'CommaSeparatedStripedListOptionHandler': 1, 'ChangeIdHandler': 3, 'Messages.ILLEGAL_OPERAND': 1, 'RevWalk': 16, 'AccountGroupIdHandler': 7, 'RevCommitHandler': 1, 'SpecialStringOptionHandler': 1, 'String': 140, 'CmdLineParser': 22, 'RevTreeHandler': 1, 'SubcommandHandler': 1, 'null': 1, 'Exception': 1, 'CanonicalTreeParser': 8, 'GroupReference': 3, 'List': 9, 'PathUtils': 1, 'UNKNOWN': 114, 'WorkingTreeOptions.KEY': 3, 'File': 8, 'AbstractTreeIteratorHandler': 1, 'PatchSetIdHandler': 7, 'Constructor': 1, 'IncorrectObjectTypeException': 16, 'InvocationTargetException': 1, 'CLIText.notAnIndexFile': 3, 'SocketUtil': 4, 'TopLevelItem': 2, 'OrmException': 10, 'Iterator': 16, 'ObjectReader': 3, 'Project.NameKey': 3, 'MessageFormat': 21, 'CLIText.notAJgitCommand': 3, 'PatternSyntaxException': 1, 'ArrayList': 5, 'TopLevelItemOptionHandler': 2, 'char': 1, 'Change': 3, 'Pattern': 1, 'PathFilter': 8, 'UntrackedFilesHandler': 1, 'FS.DETECTED': 3, 'CLIText.onlyOneMetaVarExpectedIn': 3, 'Args4JClassOptionHandler': 1, 'Account': 7, 'IOException': 24, 'CmdLineException': 118, 'ProjectControlHandler': 7, 'WorkingBooleanOptionHandler': 1, 'WindowCursor': 5, 'DateOptionHandler': 1, 'IllegalArgumentException': 19, 'Branch.NameKey': 3, 'AccountGroup': 10} |
org:kohsuke:args4j:spi:Parameters-trainingLoadTime : |
66781 |
org:kohsuke:args4j:spi:Parameters-trainingTime : |
163 |
updated_at : |
2018-01-15 16:49:56 |
|
2 |
- missing/exception handling
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-1023 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-13 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-12 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-13 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-18 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
tikanga-2 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
tikanga-6 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
884 |
success |
0 |
34.6 s |
×
Run Details |
|
Project: |
closure |
Version: |
884 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
34.61 s |
com:google:javascript:rhino:jstype:ObjectType-exampleProjects : |
20 |
com:google:javascript:rhino:jstype:ObjectType-maxPatternSupport : |
274 |
com:google:javascript:rhino:jstype:ObjectType-numberOfPatterns : |
86 |
com:google:javascript:rhino:jstype:ObjectType-numberOfTrainingEx : |
6293 |
com:google:javascript:rhino:jstype:ObjectType-numberOfUsagesInTr : |
{'TypeValidator': 8, 'TemplateTypeMapReplacer': 4, 'DiagnosticType': 40, 'FunctionTypeBuilder': 15, 'Node': 222, 'Collections': 4, 'TemplateTypeMap': 14, 'EnumElementType': 53, 'EquivalenceMethod': 5, 'JSTypeBitSet': 10, 'DelegateRelationship': 5, 'NameResolver': 1, 'ConcreteType': 4, 'Object': 2, 'StaticTypedScope': 4, 'IllegalStateException': 8, 'EnumType': 12, 'ImplementedTypeValidator': 1, 'NodeTraversal': 54, 'TemplateType': 1, 'Method': 1, 'Symbol': 10, 'Property': 38, 'JSTypeNative': 5, 'UnionTypeBuilder': 10, 'TypedScope': 9, 'BooleanOutcomePair': 1, 'ObjectType': 718, 'TemplatizedType': 10, 'String': 388, 'Boolean': 4, 'Set': 75, 'StaticRef': 1, 'null': 228, 'Exception': 1, 'ParameterizedType': 2, 'List': 40, 'UNKNOWN': 316, 'SortedMap': 4, 'InferJSDocInfo': 2, 'Map.Entry': 3, 'CheckAccessControls': 13, 'UnionType': 56, 'FunctionBuilder': 16, 'RecordProperty': 3, 'ResolveMode': 4, 'JSTypeExpression': 13, 'TypeInference': 5, 'Scope': 27, 'RestrictByFalseInstanceOfResultVisitor': 4, 'SubclassType': 9, 'ImmutableList': 18, 'TypeCheck': 17, 'String[].length': 5, 'PropertyMap': 18, 'ImmutableSet': 2, 'StringBuilder': 10, 'CodingConvention': 3, 'StaticSlot': 16, 'ControlFlowGraph': 1, 'StaticScope': 20, 'Name': 5, 'StaticSourceFile': 6, 'JSType': 427, 'CompilerInput': 12, 'StaticTypedSlot': 6, 'ImmutableMap': 1, 'ErrorReporter': 10, 'StubDeclaration': 5, 'ObjectType.Property': 1, 'ConcreteInstanceType': 14, 'char': 1, 'ConcreteScope': 4, 'AstFunctionContents': 3, 'AbstractScopeBuilder': 21, 'LocalScopeBuilder': 3, 'HashMap': 6, 'T': 1, 'FunctionParamBuilder': 16, 'ExtendedTypeValidator': 1, 'Integer.MAX_VALUE': 1, 'PropertyContinuation': 6, 'Traversal': 1, 'StaticTypedRef': 1, 'AbstractCompiler': 9, 'SubclassRelationship': 5, 'Iterable': 101, 'ArrowType': 7, 'FunctionType.getConstructor()': 2, 'ImmutableMap.Builder': 1, 'SuggestionPair': 1, 'Iterator': 189, 'Map': 20, 'ArrayList': 8, 'FirstOrderFunctionAnalyzer': 4, 'JSTypeRegistry': 79, 'TypeIRegistry': 1, 'GlobalScopeBuilder': 4, 'Reference': 3, 'InstanceObjectType': 3, 'JSDocInfo': 101, 'Collection': 39, 'RestrictByTrueInstanceOfResultVisitor': 2, 'PrototypeObjectType': 17, 'ProxyObjectType': 76, 'TernaryValue': 1, 'Visibility': 11, 'NoObjectType': 2, 'SymbolScope': 3, 'RecordType': 17, 'DiGraphEdge': 1, 'ModificationVisitor': 5, 'FunctionPrototypeType': 24, 'ImmutableList.Builder': 5, 'CollectProperties': 4, 'CheckLevel': 5, 'ExtractRecordTypePropertyNames': 2, 'ObjectLiteralCast': 5, 'FlowScope': 20, 'TypedScopeCreator': 4, 'RecordTypeBuilder': 6, 'ConcreteFunctionType': 8, 'Branch': 1, 'Var': 28, 'StaticReference': 4, 'ConformanceResult': 1, 'TypedVar': 11, 'NamedType': 19, 'FunctionType': 315} |
com:google:javascript:rhino:jstype:ObjectType-trainingLoadTime : |
25056 |
com:google:javascript:rhino:jstype:ObjectType-trainingTime : |
415 |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
8592 |
detectionTime : |
26 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
7796 |
updated_at : |
2018-01-15 16:49:56 |
|
3 |
- missing/condition/null_check
|
|
|
view
|
|
|
httpclient |
302 |
success |
138 |
145.8 s |
×
Run Details |
|
Project: |
httpclient |
Version: |
302 |
Result: |
success |
# of Findings: |
138 |
Runtime: |
145.77 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
1711 |
detectionTime : |
9680 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfExploredAlternatives : |
2314 |
numberOfTargets : |
1292 |
numberOfViolations : |
138 |
org:apache:commons:httpclient:HttpConnection-exampleProjects : |
50 |
org:apache:commons:httpclient:HttpConnection-maxPatternSupport : |
88 |
org:apache:commons:httpclient:HttpConnection-numberOfPatterns : |
41 |
org:apache:commons:httpclient:HttpConnection-numberOfTrainingExa : |
3236 |
org:apache:commons:httpclient:HttpConnection-numberOfUsagesInTra : |
{'': 15, 'GetMethod': 4, 'ThreadLocalHttpConnectionManager': 7, 'RuntimeException': 4, 'HttpConnectionAdapter': 4, 'ConnectionPool': 16, 'MimeType': 1, 'Collections': 4, 'HttpConnectionManager': 4, 'ByteArrayOutputStream': 2, 'Strings.SPACE_STRING': 1, 'JSONArray': 4, 'Properties': 1, 'Wire': 28, 'IPHttpConnectionManager': 4, 'AuthState': 28, 'StringBuffer': 21, 'AuthScope': 16, 'IllegalStateException': 111, 'RequestEntity': 4, 'ConnectionInfo': 14, 'RedirectException': 4, 'NetworkAddress': 2, 'Authenticator': 1, 'InetAddress': 31, 'Object': 5, 'HttpMethodParams': 136, 'HttpMethodBase': 59, 'ConnectResponse': 4, 'CredentialsNotAvailableException': 4, 'HttpContent': 3, 'StatusLine': 4, 'StorageProperties.TRANSFER_CHUNK_SIZE': 2, 'ConnectMethod': 12, 'String': 441, 'XUtilSimpleHttpConnectionManager': 1, 'SingleHttpConnectionManager': 7, 'Set': 4, 'null': 136, 'URIException': 4, 'HttpParams': 4, 'ProtocolException': 30, 'List': 4, 'UNKNOWN': 177, 'GZIPOutputStream': 2, 'InterruptedException': 7, 'PutMethodWithProgress': 2, 'HttpClientParams': 12, 'File': 2, 'NoHttpResponseException': 11, 'ConnectionSource.connectionPool': 4, 'MalformedCookieException': 11, 'SecureProtocolSocketFactory': 11, 'COM.dragonflow.ApacheHttpClientUtils.ApacheCookieSpec': 1, 'ArrayList': 4, 'HttpRecorder': 8, 'ProtocolSocketFactory': 22, 'URLEncoder': 1, 'ResponseConsumedWatcher': 11, 'StringBuilder': 4, 'WebdavConnectionManager': 1, 'UnknownHostException': 2, 'IPStoringHttpConnection': 4, 'HostParams': 8, 'Wire.CONTENT_WIRE': 14, 'HttpMethod': 43, 'AuthScope.ANY_PORT': 1, 'HttpHost': 4, 'AuthChallengeException': 8, 'DummyConnectionManager': 8, 'CircularRedirectException': 4, 'SimpleAuthenticator': 1, 'JSONObject': 4, 'BufferedOutputStream': 14, 'HostConnectionPool': 12, 'ChunkedOutputStream': 6, 'Credentials': 24, 'HttpVersion': 37, 'HeaderElement': 11, 'char': 8, 'HttpConnectionParams': 76, 'Autor': 1, 'InvalidRedirectLocationException': 4, 'URL': 4, 'HeaderGroup': 30, 'ConnectionParameters': 1, 'Integer': 6, 'Integer.MAX_VALUE': 11, 'HttpConnectionManagerParams': 15, 'Header': 113, 'CookieVersionSupport': 4, 'AuthScheme': 20, 'EntityEnclosingMethod': 4, 'WaitingThread': 4, 'AuthScope.ANY_SCHEME': 1, 'HttpConnection': 442, 'System': 22, 'Iterator': 27, 'Map': 8, 'SimpleHttpConnectionManager': 12, 'InvalidCredentialsException': 4, 'AuthenticationException': 8, 'InterruptedIOException': 22, 'HttpState': 44, 'Protocol': 82, 'BufferedInputStream': 14, 'LinkedList': 8, 'HttpMethodRetryHandler': 4, 'Socket': 38, 'Reference': 4, 'Cookie': 23, 'Strings.UNIX_NEW_LINE_STRING': 1, 'Thread': 11, 'HttpRecoverableException': 4, 'Collection': 4, 'ProxyHost': 4, 'HttpException': 4, 'HttpConnectionWithReference': 4, 'OutputStream': 37, 'Recorder': 6, 'HostConfiguration': 64, 'CookieSpec': 22, 'Wire.HEADER_WIRE': 35, 'SortedMap': 7, 'MethodRetryHandler': 4, 'URISyntaxException': 1, 'ConnectionSource': 4, 'InputStream': 88, 'IllegalArgumentException': 56, 'NotModifiedException': 1, 'HttpMethodDirector': 20, 'URI': 7, 'IOException': 53, 'ServerIsNotReadyException': 1, 'Long': 4} |
org:apache:commons:httpclient:HttpConnection-trainingLoadTime : |
119919 |
org:apache:commons:httpclient:HttpConnection-trainingTime : |
13182 |
updated_at : |
2018-01-15 16:49:56 |
|
1 |
|
|
|
view
|
|
|
|
444 |
success |
0 |
44.5 s |
×
Run Details |
|
Project: |
httpclient |
Version: |
444 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
44.47 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
1831 |
detectionTime : |
31 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1538 |
org:apache:commons:httpclient:auth:AuthState-exampleProjects : |
20 |
org:apache:commons:httpclient:auth:AuthState-maxPatternSupport : |
38 |
org:apache:commons:httpclient:auth:AuthState-numberOfPatterns : |
15 |
org:apache:commons:httpclient:auth:AuthState-numberOfTrainingExa : |
1844 |
org:apache:commons:httpclient:auth:AuthState-numberOfUsagesInTra : |
{'': 7, 'HostParams': 15, 'String': 90, 'AuthChallengeException': 14, 'Arrays': 1, 'CircularRedirectException': 7, 'HeaderGroup': 23, 'HTTPAuthScheme': 1, 'Set': 7, 'IProgressMonitor': 1, 'NLS': 1, 'URIException': 9, 'Collection': 7, 'CrawlURI': 1, 'Credentials': 29, 'UNKNOWN': 24, 'UsernamePasswordCredentials': 1, 'InputStream': 24, 'HTTPAuthProvider': 1, 'HttpClientParams': 14, 'AuthChallengeProcessor': 1, 'HostConfiguration': 4, 'Iterator': 7, 'HTTPAuthStore.Entry': 1, 'Entry': 1, 'ConnectionException': 1, 'InvalidRedirectLocationException': 4, 'ConnectMethod': 7, 'MalformedChallengeException': 1, 'HttpConnectionInputStream': 1, 'AuthScope': 29, 'AuthenticationRequiredException': 1, 'IOException': 1, 'CredentialsProvider': 1, 'XmlRpcException': 1, 'HackedHttpMethodDirector': 2, 'UURI': 1, 'IllegalArgumentException': 14, 'NotModifiedException': 1, 'Header': 29, 'AuthState': 77, 'HttpClient': 1, 'HttpMethodParams': 35, 'HttpMethodDirector': 16, 'HttpMethodBase': 10, 'null': 10, 'AuthScheme': 52, 'URI': 9, 'Activator': 1, 'HttpConnection': 7, 'ProxyAuthenticationRequiredException': 1, 'Map': 23, 'AuthenticationException': 16, 'RedirectException': 7, 'HttpMethod': 59, 'StatusLine': 8, 'HttpState': 1, 'Protocol': 7} |
org:apache:commons:httpclient:auth:AuthState-trainingLoadTime : |
41965 |
org:apache:commons:httpclient:auth:AuthState-trainingTime : |
156 |
updated_at : |
2018-01-15 16:49:56 |
|
2 |
|
|
|
view
|
|
|
|
|
|
|
|
|
3 |
|
|
|
view
|
|
|
|
452 |
success |
0 |
39.4 s |
×
Run Details |
|
Project: |
httpclient |
Version: |
452 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
39.41 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
2317 |
detectionTime : |
34 |
java:text:SimpleDateFormat-exampleProjects : |
50 |
java:text:SimpleDateFormat-numberOfUsagesInTrainingExamples : |
{} |
java:text:SimpleDateFormat-trainingLoadTime : |
36583 |
java:text:SimpleDateFormat-trainingTime : |
16 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1548 |
updated_at : |
2018-01-15 16:49:56 |
|
4 |
- missing/call
- superfluous/call
|
|
|
view
|
|
|
itext |
5091 |
success |
0 |
198.2 s |
×
Run Details |
|
Project: |
itext |
Version: |
5091 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
198.21 s |
com:itextpdf:text:pdf:PdfArray-exampleProjects : |
13 |
com:itextpdf:text:pdf:PdfArray-maxPatternSupport : |
709 |
com:itextpdf:text:pdf:PdfArray-numberOfPatterns : |
89 |
com:itextpdf:text:pdf:PdfArray-numberOfTrainingExamples : |
6300 |
com:itextpdf:text:pdf:PdfArray-numberOfUsagesInTrainingExamples : |
{'RuntimeException': 31, 'SignaturePermissions': 2, 'DocumentException': 20, 'PdfLine': 2, 'PdfCollectionSort': 2, 'TextField': 9, 'GraphicsState': 4, 'ByteArrayOutputStream': 37, 'Director': 2, 'PdfAppearance': 18, 'KubrickDvds': 2, 'CCITTG4Encoder': 3, 'Movie': 8, 'PdfIsoConformance': 2, 'FieldLock': 2, 'Customer': 2, 'Object': 55, 'ClassCastException': 3, 'FieldShort': 3, 'PdfIndirectObject': 56, 'Set': 39, 'PdfStamperImp': 20, 'PdfAnnotation': 30, 'PdfImage': 9, 'PdfCopy': 8, 'Annotation': 3, 'DocumentBuilderFactory': 3, 'DatabaseConnection': 6, 'PdfXConformanceImp': 2, 'PdfDecoder': 2, 'Xml2Som': 6, 'PopGraphicsState': 4, 'PdfReaderInstance': 3, 'CertificateFactory': 2, 'ExceptionConverter': 59, 'PRTokeniser': 3, 'Node': 3, 'TokenType': 9, 'CustomerFacadeREST': 2, 'GraphicsState.ctm': 4, 'ColumnText': 1, 'PdfDecoder.FINALIMAGES': 2, 'PdfEncryption': 18, 'PdfNull': 12, 'String[].length': 18, 'FieldRational': 3, 'PdfPageLabels': 3, 'Book': 2, 'RichMediaAnnotation': 5, 'PdfCrossReference': 3, 'GeneralSecurityException': 2, 'UNKNOWN.object': 2, 'PdfDestination': 9, 'PdfContentParser': 3, 'PdfArray': 539, 'PdfString': 158, 'FilterHandlers.FilterHandler': 2, 'IllegalPdfSyntaxException': 4, 'PushbuttonField': 9, 'ContentByteUtils': 1, 'PRIndirectReference': 54, 'Math.PI': 3, 'com.itextpdf.text.DocWriter': 3, 'CMSEnvelopedData': 3, 'PdfString.value': 2, 'ListItem': 4, 'PageStamp': 12, 'PdfTargetDictionary': 4, 'PdfPages': 3, 'PdfCollection': 2, 'PdfSpotColor': 6, 'char': 38, 'X509CertificateHolder': 2, 'BaseField': 3, 'ResultSet': 2, 'PageResources': 3, 'PdfTrailer': 4, 'AcroFields': 30, 'URL': 3, 'TabStop': 2, 'PdfStructTreeController': 2, 'PdfPCell': 6, 'CMap': 1, 'PdfBoolean': 24, 'PdfCopyFieldsImp': 9, 'CMapToUnicode': 2, 'PdfStream': 50, 'InvalidPdfException': 3, 'Document': 8, 'PrintStream': 2, 'Xml2SomDatasets': 3, 'LockAction': 2, 'Base64': 1, 'ImageIO': 2, 'Certificate[].length': 1, 'Iterator': 147, 'Map': 22, 'PdfSignatureAppearance': 8, 'IntHashtable': 33, 'PdfCollectionSchema': 2, 'Object.length': 3, 'Stack': 3, 'LongHashtable': 2, 'PtIdentifier': 1, 'FieldImage': 3, 'Float': 13, 'Collection': 3, 'PdfImportedPage': 3, 'PRStream': 27, 'PdfActionEvent': 2, 'returnType': 4, 'MultimediaExtractor': 4, 'PdfContentStreamProcessor': 15, 'DocumentBuilder': 3, 'PdfObject': 357, 'PdfStructureTreeRoot': 6, 'XfaForm': 3, 'MessageDigest': 3, 'PdfAcroForm': 3, 'TiffWriter': 3, 'PdfOCG': 6, 'Angular': 1, 'BadPdfFormatException': 2, 'FdfReader': 3, 'PdfShading': 6, 'PdfChunk': 2, 'IllegalArgumentException': 46, 'Destination': 3, 'PdfSigGenericPKCS': 1, 'BadPasswordException': 3, 'Font': 1, 'LtvVerifier': 4, 'Paragraph': 2, 'Image': 32, 'PdfPageEvent': 5, 'PdfIndirectReference': 175, 'FieldLong': 3, 'PdfReader': 72, 'TIFFField': 3, 'UnsupportedPdfException': 9, 'Version': 4, 'KubrickDocumentary': 2, 'Logger': 4, 'Integer[].length': 3, 'RandomAccessSource': 6, 'StringTokenizer': 12, 'PdfStructureElement': 13, 'TextExtractionStrategy': 3, 'FieldAscii': 3, 'BasicOCSPResp': 2, 'HashSet': 23, 'PdfCopy.RefKey': 2, 'ExternalSignatureContainer': 2, 'Key': 3, 'PdfDictionary': 351, 'PdfEFStream': 3, 'Collections': 3, 'FileOutputStream': 16, 'BmpImage': 3, 'Integer': 58, 'RecipientInformationStore': 3, 'System.out': 3, 'StringBuffer': 12, 'KubrickBox': 2, 'PdfOCProperties': 6, 'IllegalStateException': 5, 'ByteArrayInputStream': 5, 'PdfException': 2, 'PdfWriter': 97, 'Float.NaN': 5, 'PdfPatternPainter': 3, 'PdfFunction': 9, 'LockPermissions': 2, 'Certificate': 1, 'PdfPTable': 4, 'PdfContentByte': 20, 'KubrickMovies': 2, 'UNKNOWN.crls': 2, 'X509CRL': 2, 'DeflaterOutputStream': 12, 'RecipientInformation': 3, 'Type3Font': 3, 'String': 311, 'Boolean': 2, 'ResourceDictionary': 4, 'PdfDate': 3, 'BaseFont': 14, 'PngImage': 6, 'PdfName': 418, 'null': 171, 'Exception': 40, 'List': 31, 'Linear': 1, 'PdfTextArray': 2, 'Map.Entry': 29, 'InputStream': 13, 'RenderFilter': 3, 'TrueTypeFont': 3, 'SAXException': 3, 'Phrase': 3, 'DrawInterface': 2, 'PageRefs': 9, 'RandomAccessSourceFactory': 6, 'FileAttachmentEvent': 2, 'GrayColor': 9, 'ImageBytesType': 2, 'PdfLayer': 27, 'PdfPage': 3, 'Math': 27, 'OutputStreamEncryption': 6, 'KubrickCollection': 2, 'PdfRectangle': 20, 'ExtendedColor': 3, 'RecipientId': 3, 'PdfDashPattern': 3, 'Level.SEVERE': 4, 'PdfBody': 3, 'TIFFDirectory': 3, 'byte': 28, 'PdfFormField': 18, 'PdfFont': 2, 'ImgJBIG2': 6, 'IAccessibleElement': 2, 'PdfXConformanceException': 6, 'Statement': 2, 'Deflater': 9, 'RandomAccessFileOrArray': 16, 'ShadingColor': 3, 'PrivateKey': 1, 'PdfFileSpecification': 4, 'DocumentFont': 6, 'UNKNOWN.ocsps': 2, 'Item': 31, 'HashMap': 63, 'PdfLiteral': 6, 'Object[][].length': 2, 'UNKNOWN.certs': 2, 'XmpReader': 3, 'RefKey': 8, 'Chunk': 6, 'PatternColor': 3, 'ColorDetails': 3, 'SorterComparator': 3, 'PdfImageObject': 6, 'PdfShadingPattern': 3, 'System': 12, 'XmpWriter': 3, 'AcroFields.Item': 6, 'ArrayList': 87, 'Type1Font': 3, 'Type3Glyph': 3, 'OCSPResp': 2, 'TIFFFaxDecoder': 1, 'BufferedImage': 2, 'Arrays': 6, 'OCSPException': 2, 'Page': 2, 'PushGraphicsState': 4, 'LocalDestinationEvent': 2, 'PdfTemplate': 15, 'PngWriter': 3, 'OutputStream': 11, 'CMYKColor': 9, 'PdfAction': 20, 'PdfNumber': 258, 'FieldUndefined': 3, 'Matrix': 4, 'Rectangle': 53, 'UNKNOWN': 307, 'TIFFFaxDecompressor': 1, 'FilteredTextRenderListener': 3, 'String.length': 9, 'PdfDocument': 8, 'StampContent': 6, 'ByteBuffer': 26, 'TreeMap': 3, 'PdfStamper': 7, 'Square': 1, 'PdfPHeaderCell': 2, 'PdfCollectionItem': 2, 'OutputStreamCounter': 13, 'BaseColor': 25, 'TIFFLZWDecoder': 3, 'SpotColor': 6, 'ListIterator': 3, 'ImgWMF': 3, 'GifImage': 3, 'PdfImportedLink': 9, 'IOException': 53, 'ICC_Profile': 9, 'PdfPKCS7': 6} |
com:itextpdf:text:pdf:PdfArray-trainingLoadTime : |
33796 |
com:itextpdf:text:pdf:PdfArray-trainingTime : |
1106 |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
14250 |
detectionTime : |
26 |
java:util:Iterator-exampleProjects : |
50 |
java:util:Iterator-numberOfUsagesInTrainingExamples : |
{} |
java:util:Iterator-trainingLoadTime : |
25814 |
java:util:Iterator-trainingTime : |
1 |
java:util:StringTokenizer-exampleProjects : |
50 |
java:util:StringTokenizer-numberOfUsagesInTrainingExamples : |
{} |
java:util:StringTokenizer-trainingLoadTime : |
68009 |
javax:crypto:Cipher-exampleProjects : |
50 |
javax:crypto:Cipher-maxPatternSupport : |
36 |
javax:crypto:Cipher-numberOfPatterns : |
4 |
javax:crypto:Cipher-numberOfTrainingExamples : |
284 |
javax:crypto:Cipher-numberOfUsagesInTrainingExamples : |
{'CipherInputStream': 2, 'Stream': 12, 'ServerKeyExchange': 4, 'HandshakeIODataStream': 2, 'ServerHello': 4, 'DigestException': 2, 'Class': 2, 'Key': 12, 'ServerSessionContext': 2, 'SSLException': 4, 'KeyPairGenerator': 2, 'CertificateMessage': 4, 'SealedObject': 6, 'ByteArrayOutputStream': 2, 'SignatureException': 4, 'Serializable': 2, 'PrivateKey': 4, 'Signature': 8, 'AlertException': 16, 'Cipher': 46, 'NoSuchPaddingException': 12, 'ClientHello': 2, 'ClientKeyExchange': 4, 'IllegalStateException': 12, 'X509KeyManager': 2, 'ObjectInputStream': 6, 'ByteArrayInputStream': 6, 'AlgorithmParameters': 12, 'ServerHelloDone': 2, 'SSLSessionImpl': 8, 'KeyAgreement': 4, 'Provider': 8, 'X509Certificate': 6, 'InvalidKeySpecException': 2, 'Object': 8, 'ServerHandshakeImpl': 2, 'NoSuchAlgorithmException': 16, 'AssertionError': 2, 'ConnectionState': 6, 'DigitalSignature': 12, 'Iterator': 2, 'ConnectionStateSSLv3': 6, 'byte': 22, 'NullCipherSpi': 2, 'String': 58, 'DHKey': 2, 'EncryptedPrivateKeyInfo': 8, 'Set': 2, 'DHParameterSpec': 2, 'IllegalBlockSizeException': 18, 'null': 20, 'Exception': 10, 'SpiAndProvider': 2, 'IvParameterSpec': 4, 'SSLProtocolException': 12, 'CertificateRequest': 4, 'OutputStream': 2, 'SSLEngineImpl': 2, 'SSLSocketImpl': 2, 'DHPublicKeySpec': 4, 'X509ExtendedKeyManager': 2, 'CertificateVerify': 2, 'NoSuchProviderException': 2, 'SecureRandom': 12, 'PublicKey': 4, 'MessageDigest': 4, 'BadPaddingException': 20, 'Certificate': 2, 'ClientHandshakeImpl': 2, 'KeyFactory': 4, 'RSAPublicKey': 2, 'DHPublicKey': 4, 'IllegalArgumentException': 6, 'NullPointerException': 16, 'ConnectionStateTLS': 6, 'CipherOutputStream': 2, 'X509TrustManager': 2, 'CipherSuite': 10, 'ObjectOutputStream': 2, 'KeyPair': 2, 'PKCS8EncodedKeySpec': 8, 'InvalidAlgorithmParameterException': 10, 'IOException': 16, 'GeneralSecurityException': 4, 'CipherSpi': 2, 'InvalidKeyException': 14, 'Runnable': 2, 'BigInteger': 4} |
javax:crypto:Cipher-trainingLoadTime : |
54632 |
javax:crypto:Cipher-trainingTime : |
11 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
6572 |
updated_at : |
2018-01-15 16:49:56 |
|
1 |
- missing/exception handling
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-15 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-16 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-18 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-357 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-61 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
dmmc-937 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
jadet-5 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
jadet-9 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-15 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
jackrabbit |
1601 |
success |
0 |
12.2 s |
×
Run Details |
|
Project: |
jackrabbit |
Version: |
1601 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
12.24 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
11744 |
detectionTime : |
39 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
6228 |
org:apache:jackrabbit:core:ItemData-numberOfUsagesInTrainingExam : |
{} |
org:apache:jackrabbit:core:ItemData-trainingLoadTime : |
48 |
org:apache:jackrabbit:core:ItemData-trainingTime : |
21 |
updated_at : |
2018-01-15 16:49:56 |
|
1 |
- missing/condition/null_check
|
|
|
view
|
|
|
|
1678 |
success |
0 |
31.5 s |
×
Run Details |
|
Project: |
jackrabbit |
Version: |
1678 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
31.53 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
1308 |
detectionTime : |
34 |
java:util:Map-exampleProjects : |
50 |
java:util:Map-numberOfUsagesInTrainingExamples : |
{} |
java:util:Map-trainingLoadTime : |
29729 |
java:util:Map-trainingTime : |
16 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
897 |
updated_at : |
2018-01-15 16:49:56 |
|
2 |
- missing/condition/null_check
|
|
|
view
|
|
|
|
1694 |
success |
0 |
12.2 s |
×
Run Details |
|
Project: |
jackrabbit |
Version: |
1694 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
12.2 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
11702 |
detectionTime : |
30 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
6188 |
org:apache:jackrabbit:core:config:ConfigurationParser-numberOfUs : |
{} |
org:apache:jackrabbit:core:config:ConfigurationParser-trainingLo : |
47 |
org:apache:jackrabbit:core:config:ConfigurationParser-trainingTi : |
20 |
updated_at : |
2018-01-15 16:49:56 |
|
3a |
|
|
|
view
|
|
|
|
|
|
|
|
|
3b |
|
|
|
view
|
|
|
|
1750 |
success |
0 |
94.5 s |
×
Run Details |
|
Project: |
jackrabbit |
Version: |
1750 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
94.46 s |
created_at : |
2018-01-15 16:49:56 |
dataset : |
icse16ex1 |
detectionLoadTime : |
2004 |
detectionTime : |
38 |
java:io:Closeable-exampleProjects : |
50 |
java:io:Closeable-numberOfTrainingExamples : |
201 |
java:io:Closeable-numberOfUsagesInTrainingExamples : |
{'Object': 1, 'Closeable': 3, 'Scanner': 1, 'FileChannelImpl': 1, 'Formatter': 1, 'IOException': 2, 'Appendable': 1, 'Readable': 1} |
java:io:Closeable-trainingLoadTime : |
91913 |
java:io:Closeable-trainingTime : |
22 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1456 |
updated_at : |
2018-01-15 16:49:56 |
|
5 |
|
|
|
view
|
|
|
jfreechart |
1025 |
success |
0 |
17.1 s |
×
Run Details |
|
Project: |
jfreechart |
Version: |
1025 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
17.13 s |
com:itextpdf:awt:geom:GeneralPath-numberOfUsagesInTrainingExampl : |
{} |
com:itextpdf:awt:geom:GeneralPath-trainingLoadTime : |
47 |
com:itextpdf:awt:geom:GeneralPath-trainingTime : |
19 |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
16657 |
detectionTime : |
33 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
7739 |
updated_at : |
2018-01-15 16:49:57 |
|
1 |
|
|
|
view
|
|
|
|
103 |
success |
0 |
45.1 s |
×
Run Details |
|
Project: |
jfreechart |
Version: |
103 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
45.07 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
11555 |
detectionTime : |
25 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
7137 |
org:jfree:chart:plot:PlotRenderingInfo-exampleProjects : |
50 |
org:jfree:chart:plot:PlotRenderingInfo-maxPatternSupport : |
141 |
org:jfree:chart:plot:PlotRenderingInfo-numberOfPatterns : |
40 |
org:jfree:chart:plot:PlotRenderingInfo-numberOfTrainingExamples : |
5753 |
org:jfree:chart:plot:PlotRenderingInfo-numberOfUsagesInTrainingE : |
{'GeneralPath': 15, 'Double.POSITIVE_INFINITY': 9, 'Rectangle.y': 3, 'DialShape': 3, 'EntityBlockResult': 3, 'SpiderWebPlot': 6, 'PathIterator.SEG_MOVETO': 3, 'PathIterator': 3, 'java.awt.Color': 3, 'XYAnnotationEntity': 3, 'ChartComposite': 3, 'RenderingHints.VALUE_ANTIALIAS_OFF': 6, 'Collections': 3, 'PlotEntity': 3, 'Stroke': 45, 'OutlierList': 3, 'RectangleEdge.RIGHT': 8, 'StandardXYItemRenderer': 3, 'Rectangle2D.Double': 6, 'MouseWheelEvent': 4, 'VectorXYDataset': 3, 'MeterPlot': 3, 'XYURLGenerator': 3, 'TextBlockAnchor': 3, 'CrosshairState': 12, 'ValueAxis': 99, 'ContourDataset': 6, 'XYBarPainter': 6, 'OutlierListCollection': 3, 'PlotOrientation': 63, 'PlotState': 18, 'CategoryItemRenderer': 3, 'XYTitleAnnotation': 3, 'MeterNeedle[].length': 3, 'ValueDataset[].length': 3, 'Collections.EMPTY_LIST': 3, 'Object': 16, 'Size2D.height': 2, 'PieSectionLabelGenerator': 3, 'CategoryPlot': 24, 'XYToolTipGenerator': 3, 'CategoryLabelEntity': 3, 'Arc2D.PIE': 3, 'Rectangle2D': 165, 'FontMetrics': 6, 'PieURLGenerator': 3, 'Comparable': 15, 'RectangleAnchor': 4, 'String': 48, 'RectangleEdge.BOTTOM': 14, 'XYItemEntity': 3, 'XYZDataset': 3, 'null': 111, 'XYItemRendererState': 6, 'RoundRectangle2D': 3, 'Paint': 66, 'List': 18, 'Axis': 3, 'UNKNOWN': 142, 'OHLCDataset': 6, 'AxisState': 30, 'Shape': 57, 'Layer': 1, 'XYDataset': 45, 'Insets.top': 3, 'Composite': 36, 'DeviationRenderer': 3, 'State': 6, 'ClusteredXYBarRenderer': 3, 'UnitType': 3, 'Double': 21, 'BufferedImage.TYPE_INT_ARGB': 12, 'Point2D': 76, 'CategoryCrosshairState': 3, 'CategoryTick': 3, 'Math': 48, 'Area': 9, 'CategoryDataset': 6, 'XYItemRenderer': 3, 'Arc2D.Double': 3, 'ContourPlot': 9, 'HighLowRenderer': 3, 'ShadowGenerator': 12, 'DatasetRenderingOrder': 6, 'Insets.left': 3, 'MultiplePiePlot': 3, 'AlphaComposite': 36, 'RectangleEdge.LEFT': 14, 'PiePlotState': 3, 'ColorBar': 9, 'Color.lightGray': 3, 'TextBlock': 3, 'Number': 21, 'PiePlot': 6, 'Math.PI': 6, 'CategoryItemEntity': 3, 'Size2D': 3, 'PathIterator.SEG_LINETO': 3, 'PolarPlot': 3, 'ThermometerPlot': 3, 'Outlier': 3, 'CategoryLabelPosition': 3, 'TableOrder.BY_ROW': 6, 'BasicStroke': 3, 'VectorRenderer': 3, 'ChartRenderingInfo': 97, 'CategoryToolTipGenerator': 3, 'Layer.BACKGROUND': 2, 'Font.BOLD': 3, 'Plot': 10, 'CompassPlot': 3, 'RenderingHints.KEY_ANTIALIASING': 6, 'BoxAndWhiskerXYDataset': 6, 'Rectangle.x': 3, 'Insets': 3, 'ContourToolTipGenerator': 6, 'AxisSpace': 24, 'ShapeUtilities': 12, 'CategoryAxis': 6, 'UnitType.ABSOLUTE': 2, 'MeterNeedle': 3, 'RectangularShape': 3, 'MouseWheelHandler': 4, 'Number[].length': 6, 'Graphics2D': 102, 'PieSectionEntity': 3, 'Size2D.width': 2, 'TableXYDataset': 3, 'BlockParams': 3, 'RectangleEdge.TOP': 8, 'NumberAxis': 3, 'RectangleInsets': 51, 'Double.NaN': 9, 'TableOrder': 9, 'PlotRenderingInfo': 196, 'Arc2D': 3, 'Iterator': 15, 'Map': 18, 'ValueDataset': 9, 'ArrayList': 3, 'Color': 3, 'Ellipse2D.Double': 6, 'java.awt.Color.lightGray': 3, 'XYCoordinateType': 3, 'BufferedImage': 12, 'AxisEntity': 3, 'Line2D': 18, 'RendererState': 3, 'Rotation': 9, 'Point.y': 3, 'Color.blue': 3, 'AlphaComposite.SRC_OVER': 36, 'ContourEntity': 6, 'CategoryURLGenerator': 3, 'Point.x': 3, 'Rectangle': 9, 'XYPlot': 72, 'PieDataset': 6, 'CandlestickRenderer': 3, 'EntityCollection': 75, 'Polygon': 12, 'PieToolTipGenerator': 3, 'Layer.FOREGROUND': 2, 'XYShapeRenderer': 3, 'Zoomable': 4, 'IllegalArgumentException': 18, 'DefaultPolarItemRenderer': 3, 'Color.yellow': 3, 'PiePlot3D': 3, 'Point': 6, 'StackedXYBarRenderer': 3, 'Font': 9, 'ChartPanel': 3, 'Image': 3, 'RectangleEdge': 91, 'Color.gray': 3, 'IntervalXYDataset': 15, 'Ellipse2D': 18, 'InputEvent.CTRL_MASK': 1, 'Range': 15} |
org:jfree:chart:plot:PlotRenderingInfo-trainingLoadTime : |
32547 |
org:jfree:chart:plot:PlotRenderingInfo-trainingTime : |
462 |
updated_at : |
2018-01-15 16:49:57 |
|
2 |
- missing/condition/null_check
|
|
|
view
|
|
|
|
2183 |
success |
9 |
109.6 s |
×
Run Details |
|
Project: |
jfreechart |
Version: |
2183 |
Result: |
success |
# of Findings: |
9 |
Runtime: |
109.57 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
14682 |
detectionTime : |
10306 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfExploredAlternatives : |
24 |
numberOfTargets : |
8672 |
numberOfViolations : |
9 |
org:jfree:chart:plot:XYPlot-exampleProjects : |
50 |
org:jfree:chart:plot:XYPlot-maxPatternSupport : |
340 |
org:jfree:chart:plot:XYPlot-numberOfPatterns : |
100 |
org:jfree:chart:plot:XYPlot-numberOfTrainingExamples : |
4106 |
org:jfree:chart:plot:XYPlot-numberOfUsagesInTrainingExamples : |
{'CQRowSetEvent': 1, 'GeneralPath': 22, 'StandardChartTheme': 2, 'EntityBlockResult': 2, 'RuntimeException': 4, 'Color.white': 38, 'SymbolicNameAnnotation': 2, 'JInternalFrame': 2, 'GradientPaintTransformType.HORIZONTAL': 2, 'PathIterator': 2, 'JRChartPlot': 52, 'BorderLayout': 6, 'LegendItemCollection': 13, 'BasicStroke.CAP_BUTT': 7, 'ChromosomeKey': 1, 'AxisState': 8, 'CvsRevision': 1, 'Color.red': 11, 'SelectionType': 1, 'Color.MAGENTA': 1, 'Color.CYAN': 1, 'OutlierList': 2, 'MouseEvent': 3, 'JPanel': 8, 'PlotData': 2, 'XYSplineRenderer': 7, 'HttpServletResponse': 1, 'RectangleEdge.TOP': 21, 'LinkAndBrushPlot': 1, 'XYItemLabelGenerator': 8, 'Color.GRAY': 2, 'CrosshairState': 6, 'LegendItem': 26, 'Color.orange': 1, 'Iterator': 89, 'Double.POSITIVE_INFINITY': 5, 'Dataset': 48, 'StandardXYZToolTipGenerator': 2, 'PlotState': 6, 'DatasetChangeEvent': 2, 'DB': 1, 'ControlPoint': 2, 'StartStopDraggingUI': 2, 'Object': 44, 'Color.black': 7, 'Size2D.height': 1, 'ClusteredXYBarRenderer': 3, 'FixedMillisecond': 2, 'JOptionPane': 1, 'FastScatterPlot': 2, 'BorderLayout.NORTH': 2, 'XYToolTipGenerator': 24, 'Output': 1, 'Level1Chart': 2, 'Outlier': 2, 'UnitType': 2, 'BubbleChartPlotter': 1, 'JRBubblePlot': 6, 'AbstractChartPanel': 8, 'Calculator': 2, 'ObjectList': 2, 'XYItemEntity': 10, 'Set': 4, 'LinkAndBrushXYPlot': 1, 'GraphUpdateHandler': 4, 'CQRowSetMetaData': 1, 'TickType': 4, 'XYTextAnnotation': 2, 'GraphConfiguration': 1, 'RealTimeChart': 1, 'Axis': 6, 'ReportSettings': 5, 'BarRenderer': 1, 'OHLCDataset': 8, 'ImageObserver': 1, 'TimeSeries': 8, 'SymbolAxis': 8, 'RegularTimePeriod': 3, 'Layer': 6, 'JRBarPlot': 6, 'LegendTitle.draw()': 3, 'PlotSettings': 2, 'VERTICAL': 1, 'Author': 2, 'Dimension.height': 2, 'ColorProvider': 10, 'TickUnits': 1, 'LineAndShapeRenderer': 4, 'SampleQAHetzygPlotZoom': 1, 'EyeCandySixtiesChartTheme': 2, 'Selection': 4, 'XYLineAnnotation': 2, 'BorderLayout.CENTER': 3, 'XYSeriesLabelGenerator': 19, 'BasicStroke.JOIN_ROUND': 10, 'Double': 54, 'XYPointerAnnotation': 2, 'LogAxis': 6, 'JRScatterPlot': 8, 'ArrayList': 4, 'Collections': 4, 'DecimalFormat': 3, 'Math': 57, 'BorderFactory': 4, 'StandardXYToolTipGenerator': 4, 'MultipleChartView': 1, 'JRChart': 48, 'ContourPlot': 4, 'CategoryDataset': 6, 'AltitudeChart': 1, 'String[].length': 6, 'ScaleTypeEnum.ON_RANGE_AXIS': 4, 'DistributionPlotter': 2, 'JTextField': 2, 'RrdDb': 2, 'HighLowRenderer': 8, 'XYLineAndShapeRenderer.getItemPaint()': 1, 'AxisCollection': 2, 'DatasetRenderingOrder': 3, 'TransferStatus.SampleHistory': 1, 'Color.BLACK': 17, 'Short.MAX_VALUE': 3, 'DefaultHighLowDataset': 4, 'Stroke': 104, 'JOptionPane.WARNING_MESSAGE': 1, 'AlphaComposite': 12, 'RectangleEdge.LEFT': 10, 'PublicCloneable': 2, 'MultipleScatterPlotter': 1, 'TagAnnotation': 1, 'LinkedList': 2, 'CQGraphTerminal': 2, 'HorizontalAlignment.LEFT': 10, 'JRHighLowPlot': 6, 'DefaultAxisEditor': 4, 'Number': 7, 'ImageObserver.imageUpdate()': 1, 'XYShapeAnnotation': 2, 'Math.PI': 9, 'Size2D': 2, 'ValueGenerator': 2, 'Color.DARK_GRAY': 5, 'CQException': 1, 'Paint[].length': 2, 'IPerfChartPanel': 1, 'ChartRenderingInfo': 45, 'HistogramType': 1, 'XYAreaRenderer': 6, 'Config': 3, 'TextTitle': 7, 'Color.RED': 14, 'BasicStroke.JOIN_BEVEL': 2, 'Graphics2D': 136, 'NumberFormatException': 4, 'BufferedReader': 1, 'Plot': 149, 'PaintScale': 1, 'MemoryUsageDemo': 1, 'RefineryUtilities': 1, 'MultipleSeriesChartPlotter': 1, 'XYAnnotationBoundsInfo': 2, 'LearnPanel': 1, 'Integer': 18, 'TimeInterval.DateFormatType.DATE_FORMAT_NORMAL': 2, 'double[].length': 2, 'PaintScaleLegend': 1, 'Zoomable': 2, 'RectangleEdge': 142, 'SeriesChartPlotter': 2, 'NumberTickUnit': 1, 'JComboBox': 3, 'GradientPaintTransformer': 6, 'TextAnchor.TOP_RIGHT': 1, 'VectorXYDataset': 2, 'ShadowGenerator': 2, 'JRFillChart': 2, 'Color.GREEN': 11, 'Color.ORANGE': 1, 'com.rapidminer.tools.Tools': 1, 'PlotRenderingInfo': 76, 'ImageIO': 1, 'Color.BLUE': 8, 'BasicStroke.JOIN_MITER': 5, 'Map': 22, 'Color.pink': 1, 'Color.cyan': 1, 'DefaultExcitationGraph': 1, 'StandardGradientPaintTransformer': 4, 'CustomXYToolTipGenerator': 2, 'Ellipse2D.Double': 4, 'BlockResult': 3, 'BorderArrangement': 1, 'JFreeChartRender': 3, 'CvsContent': 5, 'Stack': 2, 'GradientPaint': 7, 'Line2D': 37, 'Float': 2, 'Collection': 17, 'DomainConfigManager': 2, 'ChartMouseListener': 3, 'MySeriesItemLabelGenerator': 3, 'TimeLineChart': 1, 'RangeType': 3, 'Grouper': 3, 'JXLayer': 2, 'ChartHyperlinkProvider': 2, 'ParallelPlotter2': 2, 'Object[].length': 2, 'WindowAdapter': 2, 'CvsFile': 1, 'IntegerMap': 1, 'PaintProvider': 2, 'RapidBarPainter': 1, 'JRCandlestickPlot': 6, 'JRChartDataset': 2, 'CandlestickRenderer': 16, 'Date': 5, 'EntityCollection': 49, 'System.out': 1, 'Crosshair': 3, 'Polygon': 6, 'TransferStatus.Sample': 1, 'XYTrendline': 1, 'XYShapeRenderer': 2, 'Level.WARNING': 4, 'ChartEntity': 2, 'FetchData': 1, 'BorderLayout.SOUTH': 3, 'IllegalArgumentException': 69, 'XYDotRenderer': 3, 'Color.yellow': 1, 'ComponentListener.componentResized()': 2, 'Stroke[].length': 2, 'ViewPSD': 2, 'Font': 81, 'JTable': 1, 'XYDataImageAnnotation': 2, 'Image': 7, 'EEG_Main': 1, 'ObjectUtilities': 3, 'RrdXYZDataset': 1, 'BasicStroke.CAP_ROUND': 10, 'ItemListener.itemStateChanged()': 2, 'JRAreaPlot': 6, 'Range': 48, 'HttpServletRequest': 1, 'VisitorException': 1, 'Millisecond': 2, 'StringTokenizer': 1, 'XYCoordinateType': 2, 'CategoryLabelPositions': 2, 'Abstract2DChartPlotter': 1, 'Color.green': 3, 'FetchRequest': 1, 'XYLine3DRenderer': 2, 'Rectangle': 3, 'BoxLayout': 1, 'SeriesRenderingOrder': 3, 'ColorizedBubbleRenderer': 1, 'EvolutionResult': 5, 'XYBoxAnnotation': 2, 'SingleStep': 1, 'XYErrorRenderer': 2, 'LegendItemSource.getLegendItems()': 2, 'DefaultPlotEditor': 4, 'LCBLayout': 2, 'PlotConfiguration': 7, 'XYBarRendererState': 2, 'ItemLabelPosition': 5, 'XYStepRenderer': 2, 'ManhattanPlotZoom': 2, 'RectangleEdge.RIGHT': 7, 'StandardXYItemRenderer': 12, 'AffineTransform': 4, 'ItemListener': 2, 'DataTableRow': 2, 'ChartProgressEvent': 1, 'BLACK': 2, 'XYStepAreaRenderer': 2, 'JRFillMultiAxisPlot': 2, 'AttitudeChart': 1, 'ItemEvent': 1, 'PlotConfigurationError': 1, 'IllegalStateException': 1, 'DateFormat': 1, 'PlotInstance': 3, 'Color.LIGHT_GRAY': 15, 'ValueAxis': 310, 'BlockContainer': 2, 'ItemEvent.SELECTED': 1, 'OutlierListCollection': 2, 'XYItemRendererState': 30, 'XYSeries': 11, 'Dimension': 3, 'CategoryItemRenderer': 10, 'ColorizedLineAndShapeRenderer': 1, 'XYTitleAnnotation': 2, 'Collections.EMPTY_LIST': 1, 'GroupLayout': 2, 'NumericalValueRange': 1, 'LineChartAxis': 1, 'ScaleTypeEnum': 2, 'TimeSeriesCollection': 11, 'ChartsBuilder': 1, 'ObjectVisualizer': 2, 'CategoryPlot': 23, 'MyOptionPane': 1, 'XYAreaRendererState': 2, 'Rectangle2D': 175, 'Alignment': 1, 'Dimension.width': 2, 'LabelBlock': 1, 'JCheckBox': 5, 'ActionListener': 1, 'JRTimeSeriesPlot': 6, 'String': 221, 'Boolean': 18, 'MafChartPanel': 2, 'XYLineAndShapeRenderer.getItemOutlinePaint()': 1, 'JRException': 2, 'MyXYToolTipGenerator': 2, 'HistogramColorChart': 1, 'null': 163, 'Paint': 148, 'LoggerData': 2, 'List': 80, 'TickUnitSource': 15, 'javax.swing.GroupLayout.Alignment.LEADING': 2, 'Map.Entry': 1, 'InputStream': 1, 'File': 2, 'TextAnchor.TOP_LEFT': 3, 'DefaultColorBarEditor': 4, 'XYBubbleRenderer': 11, 'WindowAdapter.windowClosing()': 1, 'XYDrawableAnnotation': 2, 'XYSeriesCollection': 20, 'Chart': 2, 'Composite': 12, 'ItemLabelAnchor': 3, 'DeviationRenderer': 7, 'ChartPanel': 18, 'OutputElement': 1, 'JLabel': 5, 'BasicStroke': 36, 'BufferedImage.TYPE_INT_ARGB': 1, 'Point2D': 34, 'Vector': 3, 'SquareXYAreaRenderer': 2, 'RectangleAnchor.TOP_LEFT': 1, 'ExcitationGraph': 1, 'TimeLine': 1, 'LinkedHashSet': 1, 'Area': 2, 'PlotOrientation': 151, 'XYItemRenderer': 161, 'RectangleAnchor.BOTTOM_LEFT': 1, 'WHITE': 4, 'XYDataset': 163, 'State': 10, 'Container': 2, 'RectangleAnchor.TOP_RIGHT': 3, 'StackedXYAreaRenderer2': 2, 'JRLinePlot': 6, 'DefaultTableModel': 1, 'TimeZone': 9, 'byte': 6, 'char': 1, 'MultiAxisChartHyperlinkProvider': 2, 'javax.swing.GroupLayout.DEFAULT_SIZE': 2, 'BorderLayout.EAST': 1, 'ColorBar': 2, 'Layer.BACKGROUND': 3, 'ComponentListener': 2, 'DecayGraph': 2, 'BooleanUtilities': 1, 'AddParallelLineDialog': 2, 'LineChartDataset': 1, 'SymbolicName': 1, 'TransferStatus': 1, 'RendererChangeEvent': 2, 'TextAnchor.BOTTOM_LEFT': 3, 'PSDItemRenderer': 1, 'Comparable': 23, 'HistogramChart': 1, 'JFrame': 2, 'MarkerKey': 2, 'ValueType': 1, 'CutoffPoint': 1, 'ValueMarker': 5, 'javax.swing.BoxLayout.Y_AXIS': 1, 'SortedSet': 1, 'IntervalMarker': 4, 'Color.lightGray': 19, 'PlotChangeEvent': 2, 'GlocsaRating': 1, 'Font.PLAIN': 5, 'Font.BOLD': 1, 'SmoothPaintScale': 1, 'BufferedImage': 4, 'JFreeChart': 210, 'DateAxis': 22, 'XYImageAnnotation': 2, 'FlowLayout': 2, 'CombinedDomainXYPlot': 19, 'MarkerManhattenData': 1, 'XYAnnotation': 7, 'LinkAndBrushChartPanel': 5, 'RectangleEdge.BOTTOM': 8, 'TraceViewChartPanel': 3, 'AxisSpace': 22, 'CQRowSet': 1, 'UnitType.ABSOLUTE': 1, 'Marker': 18, 'TestPanel': 1, 'ChartScrollBar': 2, 'XYBarRenderer': 19, 'StandardXYURLGenerator': 6, 'Size2D.width': 1, 'DefaultTableXYDataset': 1, 'JRChartDataset.XY_DATASET': 4, 'TableXYDataset': 6, 'JButton': 3, 'Color.magenta': 1, 'XYZDataset': 10, 'NumberAxis': 70, 'VectorRenderer': 2, 'Double.NaN': 8, 'LegendItemSource': 2, 'System.err': 2, 'ChartPlottimeException': 2, 'ChartConfig': 2, 'System': 5, 'RapidXYBarPainter': 2, 'JRFillChartAxis': 2, 'GenericReportGenerator': 3, 'DomainConfigManagerData': 1, 'WindDataset': 2, 'LegendTitle': 13, 'TextAnchor': 5, 'CombinedRangeXYPlot': 18, 'XYPolygonAnnotation': 2, 'TextUtilities': 5, 'ChartMouseListener.chartMouseClicked()': 3, 'ConsolFun.FIRST': 1, 'JTabbedPane': 2, 'StrokeSample': 2, 'ChartChangeEventType': 2, 'RectangleInsets': 29, 'RangeAxisData': 1, 'Color.blue': 12, 'AxisLocation': 12, 'AbstractXYItemRenderer': 12, 'AlphaComposite.SRC_OVER': 12, 'ViewSpectra': 2, 'PixelPicker': 1, 'XYLineAndShapeRenderer.lookupSeriesPaint()': 1, 'ValueTick': 8, 'TimeInterval': 2, 'ColorizedShapeItemRenderer': 1, 'ScatterPlotter2': 1, 'UNKNOWN': 333, 'XYPlot': 516, 'ShapeUtilities': 10, 'XYBlockRenderer': 4, 'HistogramDataset': 1, 'CategoryAxis': 9, 'RangeAxisConfig': 6, 'StackedXYAreaRendererState': 2, 'RevisionIterator': 1, 'XYAreaRenderer2': 2, 'GapSizeChartPanel': 1, 'RectangleAnchor': 2, 'Title': 1, 'DefaultDecayGraph': 2, 'LOCCalculator': 1, 'Layer.FOREGROUND': 5, 'SimpleDateFormat': 7, 'Color.WHITE': 19, 'TimeSeriesDataItem': 1, 'BoxAndWhiskerXYDataset': 4, 'DefaultFileSetVisitor': 1, 'Double.NEGATIVE_INFINITY': 2, 'PaintSample': 2, 'XYBarPainter': 4, 'Point': 8, 'BlockBorder': 10, 'float[].length': 1, 'StackedXYBarRenderer': 2, 'DeviationChartPlotter': 2, 'StandardXYZURLGenerator': 2, 'CategoryTableXYDataset': 5, 'BlockParams': 2, 'TextAnchor.BOTTOM_RIGHT': 4, 'XYLineAndShapeRenderer': 59, 'IOException': 2, 'ColumnHomogeneityChartPanel': 1, 'Color.gray': 1, 'Shape': 55, 'StandardXYSeriesLabelGenerator': 2, 'IntervalXYDataset': 18, 'Color': 73, 'XYURLGenerator': 20, 'Ellipse2D': 4, 'ValueSource': 1, 'Logger': 4, 'InputStreamReader': 1, 'DataTable': 5} |
org:jfree:chart:plot:XYPlot-trainingLoadTime : |
83083 |
org:jfree:chart:plot:XYPlot-trainingTime : |
753 |
updated_at : |
2018-01-15 16:49:57 |
|
5 |
- missing/condition/null_check
|
|
|
view
|
|
|
|
2266 |
success |
40 |
134.3 s |
×
Run Details |
|
Project: |
jfreechart |
Version: |
2266 |
Result: |
success |
# of Findings: |
40 |
Runtime: |
134.28 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
15081 |
detectionTime : |
29229 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfExploredAlternatives : |
322 |
numberOfTargets : |
8935 |
numberOfViolations : |
40 |
org:jfree:chart:plot:CategoryPlot-exampleProjects : |
50 |
org:jfree:chart:plot:CategoryPlot-maxPatternSupport : |
384 |
org:jfree:chart:plot:CategoryPlot-numberOfPatterns : |
121 |
org:jfree:chart:plot:CategoryPlot-numberOfTrainingExamples : |
5550 |
org:jfree:chart:plot:CategoryPlot-numberOfUsagesInTrainingExampl : |
{'JchartBeta': 2, 'StandardChartTheme': 6, 'GeneralPath': 31, 'SWTPlotAppearanceEditor': 4, 'LegendItemCollection': 24, 'BasicStroke.CAP_BUTT': 5, 'AxisState': 37, 'CvsRevision': 2, 'AggregatedTimeChartPanel.getTitle()': 1, 'ActionListener.actionPerformed()': 1, 'ByteArrayOutputStream': 4, 'JFreeChartStackedBarGraphSource': 1, 'KeyEvent.VK_F': 1, 'StandardCategoryURLGenerator': 51, 'PlotData': 2, 'RectangleEdge.TOP': 45, 'BAR_OUTLINE_WIDTH_THRESHOLD': 3, 'ValueSourceToMultiValueCategoryDatasetAdapter': 1, 'LegendItem': 41, 'Color.orange': 6, 'VisualizationType': 1, 'Dataset': 48, 'CategorySeriesLabelGenerator': 28, 'PlotState': 12, 'ChartPanel': 5, 'Visualizer': 1, 'JFreeChartPlotEngine': 1, 'DateFormat': 5, 'Size2D.height': 1, 'Output': 1, 'Avatar': 1, 'SUCCESS': 1, 'TexturePaint': 2, 'ObjectList': 4, 'JRBarPlot': 18, 'TickType': 4, 'IntervalCategoryToolTipGenerator': 4, 'StatisticalLineAndShapeRenderer': 5, 'Arc2D.OPEN': 1, 'RevisionIterator': 1, 'JList': 1, 'Shape': 68, 'MinMaxCategoryRenderer': 4, 'XYDataset': 6, 'Color.BLUE': 1, 'Author': 2, 'Color.red': 19, 'BasicStroke.JOIN_MITER': 4, 'LineAndShapeRenderer': 50, 'Runnable': 1, 'AttributeDescriptor': 1, 'LogAxis': 2, 'DecimalFormat': 6, 'CategoryLineAnnotation': 6, 'BorderFactory': 7, 'LevelRenderer': 1, 'ObjectOutput': 4, 'ContourPlot': 8, 'NullPointerException': 2, 'String[].length': 4, 'DistributionPlotter': 2, 'JRItemLabel': 12, 'SelectionType': 1, 'StringBuilder': 1, 'Color': 86, 'GridLayout': 2, 'StandardCategoryItemLabelGenerator': 6, 'StackedBarChartPlotter': 1, 'MouseAdapter.mouseClicked()': 1, 'DateUtil': 1, 'Math.PI': 35, 'JMenu': 1, 'BarChartPanel.addSensorData()': 1, 'Paint[].length': 4, 'SimpleFeature': 1, 'StackedBarRenderer': 13, 'JFileChooser': 1, 'Color.RED': 5, 'BarChartPlotter': 1, 'NumberFormatException': 1, 'PiePlot': 1, 'SortOrder.ASCENDING': 5, 'SWT.FILL': 2, 'FillLayout': 2, 'ObjectUtilities': 6, 'Encoding': 1, 'ObjectInputStream': 4, 'CategoryAxis': 365, 'Line2D': 83, 'Graphics2D': 260, 'SparselyLabeledCategoryAxis': 2, 'NumberTickUnit': 2, 'GradientPaintTransformer': 28, 'JRFont': 6, 'Locale': 5, 'AggregatedTimeChartPanel.createState()': 1, 'JRFillChart': 2, 'Color.GREEN': 1, 'MapPanel': 1, 'PlotRenderingInfo': 63, 'Iterator': 113, 'Map': 29, 'ChartLabel': 1, 'HistogramColorChart': 1, 'NodeInfoPanel': 1, 'JFreeChartBarGraphSource': 1, 'DefaultAxisEditor': 8, 'SwingUtilities': 1, 'Level.INFO': 2, 'SimpleFeatureIterator': 1, 'SWT.CENTER': 2, 'SelectionAdapter.widgetSelected()': 2, 'JRSeriesColor': 2, 'ScatterRenderer': 8, 'MyBarRenderer': 1, 'DataQueryFeatureSource': 1, 'ChartHyperlinkProvider': 2, 'GraphHelper': 4, 'BufferedImage.TYPE_INT_RGB': 6, 'RapidBarPainter': 5, 'JOptionPane.NO_OPTION': 1, 'CategoryPlot': 829, 'StackedBarRenderer.getSeriesPaint()': 1, 'EntityCollection': 104, 'CategoryBarGraphRenderer': 2, 'Polygon': 1, 'Level.WARNING': 1, 'Color.yellow': 8, 'PiePlot3D': 1, 'Font': 120, 'GridData': 2, 'TabItem': 2, 'PrintWriter': 2, 'JRAreaPlot': 12, 'SeriesFormat': 1, 'Logger': 3, 'CategoryLabelPositions': 27, 'GraphicsEnvironment': 1, 'Color.green': 19, 'java.awt.Color': 1, 'WaterfallBarRenderer': 4, 'JOptionPane.ERROR_MESSAGE': 1, 'CategoryAnchor': 21, 'DefaultPlotEditor': 10, 'DataCollector.getTitle()': 1, 'CombinedRangeCategoryPlotTests': 1, 'RectangleEdge.RIGHT': 43, 'NumberFormatMine': 1, 'DefaultBoxAndWhiskerCategoryDataset': 1, 'LCBLayout': 4, 'StringBuffer': 1, 'JRFillMultiAxisPlot': 2, 'ListSelectionListener': 1, 'Color.black': 23, 'ByteArrayInputStream': 4, 'Color.LIGHT_GRAY': 8, 'Commit': 2, 'BlockContainer': 1, 'OutlierListCollection': 4, 'PlotOrientation': 314, 'CategoryItemRenderer': 206, 'FileOutputStream': 1, 'SWT.PUSH': 2, 'ServletActionContext': 1, 'CategoryItemEntity': 5, 'CategoryMarker': 13, 'JCheckBox': 4, 'SensorData': 1, 'ActionListener': 1, 'Effect3D': 12, 'String': 254, 'Boolean': 31, 'JRException': 2, 'Exception': 10, 'List': 151, 'AggregatedTimeChartPanel': 1, 'ValueTick': 4, 'OUTLINE_COLOR': 2, 'JOptionPane.YES_OPTION': 1, 'StackedAreaRenderer2.generateURL()': 3, 'File': 2, 'DefaultColorBarEditor': 8, 'KeyEvent.VK_X': 1, 'ValueType': 1, 'ChartUtil': 1, 'OutputElement': 1, 'BarPainter': 20, 'BarRenderer3D': 22, 'Point2D': 41, 'Vector': 1, 'StandardEntityCollection': 2, 'RGB': 2, 'Math': 112, 'CombinedCategoryPlot': 2, 'Group': 4, 'JFreeChartLineGraphSource': 1, 'ChartFrame': 1, 'AggregatedTimeChartPanel.getSensorDataValue()': 1, 'StatisticsTotalResult': 1, 'SortOrder': 10, 'SerialConnection': 1, 'Button': 2, 'byte': 2, 'MultiAxisChartHyperlinkProvider': 2, 'ColorBar': 4, 'Layer.BACKGROUND': 3, 'TextBlock': 4, 'BooleanUtilities': 9, 'JLabel.CENTER': 1, 'TabFolder': 2, 'CategoryDatasetBuilder.buildData()': 1, 'PolarPlot': 4, 'JFrame': 2, 'PamsUser': 1, 'Color.white': 39, 'BasicStroke': 36, 'IntervalMarker': 5, 'Color.lightGray': 10, 'DimensionConfigData': 1, 'CategoryItemLabelGenerator': 93, 'DateAxis': 12, 'LinkAndBrushChartPanel': 2, 'AxisSpace': 46, 'CategoryToolTipGenerator.generateToolTip()': 2, 'Marker': 21, 'TestResult': 1, 'MarkerChangeListener': 3, 'SerialConsole': 1, 'Size2D.width': 1, 'Color.magenta': 2, 'JRBar3DPlot': 12, 'NumberAxis': 90, 'ChartPlottimeException': 2, 'RenderedGraph': 1, 'DefaultListModel': 1, 'System': 12, 'ArrayList': 1, 'BufferedImage': 13, 'Arrays': 6, 'T': 1, 'ChartChangeEventType': 4, 'BarRenderer.getItemPaint()': 2, 'Color.blue': 16, 'Graphics': 1, 'SWTAxisEditor': 4, 'Calendar.DATE': 1, 'CategoryLineGraphRenderer': 2, 'UNKNOWN': 573, 'XYPlot': 35, 'TimeChartPanel.getSensorDataValue()': 1, 'ColorPalette.BLUE': 4, 'BorderLayout.WEST': 1, 'TreeMap': 4, 'Font.SERIF': 1, 'DefaultStatisticalCategoryDataset': 2, 'Range': 75, 'RendererChangeListener': 4, 'IOException': 2, 'StandardPieToolTipGenerator': 1, 'Color.gray': 4, 'CategoryPointerAnnotation': 4, 'ListCellRenderer': 1, 'DefaultShadowGenerator': 1, 'Layer': 1, 'CategoryItemRendererState': 165, 'SimpleFeatureSource': 1, 'CalendarComparator': 1, 'TextAnchor.BOTTOM_RIGHT': 1, 'TextAnchor.HALF_ASCENT_CENTER': 1, 'GraphController': 2, 'CustomToolTipGenerator': 2, 'StandardBarPainter': 7, 'StatisticalBarRenderer': 11, 'MouseAdapter': 1, 'GradientPaintTransformType.HORIZONTAL': 4, 'MyPlotChangeListener': 1, 'JFreeChartDualAxisGraphSource': 1, 'ChartDatas': 1, 'JRChartPlot': 56, 'JTabbedPane.WRAP_TAB_LAYOUT': 1, 'KeyEvent.VK_T': 1, 'IntervalCategoryDataset': 9, 'JMenuItem': 1, 'SWT.RIGHT': 2, 'OutlierList': 4, 'Statistic': 1, 'AreaRendererEndType': 4, 'Component': 1, 'HttpServletResponse': 1, 'LinkAndBrushPlot': 1, 'StackedAreaRenderer2.getItemPaint()': 1, 'DataCollector': 1, 'Color.GRAY': 2, 'DefaultDimensionConfig': 1, 'Double.POSITIVE_INFINITY': 4, 'DatasetChangeEvent': 4, 'ItemLabelPosition': 17, 'ParetoChartItemLabelGenerator': 1, 'Object': 61, 'java.awt.Color.white': 1, 'GanttRenderer': 10, 'LineChart': 1, 'JOptionPane': 1, 'BorderLayout.NORTH': 4, 'LineRenderer3D': 8, 'Outlier': 4, 'TimeChartPanel': 1, 'BasicStroke.JOIN_ROUND': 5, 'CategoryAnnotation': 4, 'Set': 9, 'IndicatorType': 1, 'Axis': 19, 'ReportSettings': 1, 'BarRenderer': 77, 'IntervalBarRenderer': 4, 'SymbolAxis': 1, 'SortOrder.DESCENDING': 8, 'PlotSettings': 2, 'CategoryCrosshairState': 12, 'ColorProvider': 4, 'ReportEntry': 1, 'ValueSourceData': 1, 'GetOverlayIcon': 1, 'BorderLayout.CENTER': 1, 'AbstractChartPanel': 2, 'Double': 36, 'System.err': 1, 'JRChart': 48, 'BufferedImage[].length': 2, 'Color.DARK_GRAY': 4, 'AxisCollection': 4, 'DatasetRenderingOrder': 9, 'Color.BLACK': 5, 'ListSelectionListener.valueChanged()': 1, 'RectangleEdge.LEFT': 52, 'PublicCloneable': 3, 'CategoryLabelWidthType': 4, 'CategoryURLGenerator.generateURL()': 2, 'HorizontalAlignment.LEFT': 5, 'SWT.DROP_DOWN': 2, 'Number': 101, 'ColorPalette.YELLOW': 4, 'BoxAndWhiskerCategoryDataset': 8, 'Size2D': 1, 'AreaRenderer': 10, 'SWT.NONE': 4, 'DefaultCategoryDataset': 30, 'AggregatedTimeChartPanel.getTotalDataValue()': 1, 'ChartRenderingInfo': 15, 'CategoryToolTipGenerator': 17, 'LineChartGen': 1, 'TextTitle': 3, 'BiCache': 1, 'CombinedDomainCategoryPlot': 26, 'SWT.BORDER': 2, 'Plot': 230, 'SubCategoryAxis': 5, 'RapidXYBarPainter': 1, 'CylinderRenderer': 1, 'JMenuBar': 1, 'Calendar': 1, 'RectangleEdge': 255, 'JComboBox': 4, 'ServletOutputStream': 1, 'ObjectInput': 4, 'ShadowGenerator': 6, 'HorizontalAlignment.CENTER': 1, 'DefaultChartTheme': 2, 'com.rapidminer.tools.Tools': 1, 'Arc2D': 1, 'DataCollector.getCollectedNumber()': 1, 'NumberFormat': 4, 'AlphaComposite': 12, 'Ellipse2D.Double': 8, 'BorderArrangement': 1, 'CommitListBuilder': 2, 'CvsContent': 2, 'GradientPaint': 43, 'Float': 3, 'Collection': 13, 'DomainConfigManager': 2, 'AxisLocation': 30, 'ColorPalette': 3, 'Tick': 4, 'WindowAdapter': 1, 'ChartImageFactory': 1, 'PaintProvider': 2, 'DefaultPieDataset': 1, 'LogarithmicAxis': 1, 'IllegalArgumentException': 65, 'Stroke[].length': 2, 'StackedBarRenderer3D': 6, 'Font.SANS_SERIF': 2, 'NodeControl': 1, 'JRFillChartAxis': 2, 'Image': 1, 'Label': 2, 'BasicStroke.CAP_ROUND': 5, 'JFreeChartGraphSource': 2, 'GraphDataInterface': 2, 'PaintSample': 4, 'GraphException': 1, 'BarChartPanel': 2, 'GroupedStackedBarRenderer': 8, 'NumberOnlyBuildLabel': 4, 'GanttCategoryDataset': 8, 'LinkAndBrushXYPlot': 1, 'CategoryTextAnnotation': 6, 'AbstractCategoryItemRenderer': 25, 'Node': 1, 'Collections': 14, 'RectangleInsets.ZERO_INSETS': 1, 'Stroke': 188, 'StaplerRequest': 1, 'CategoryGraphBarPainter': 2, 'JRFontUtil': 4, 'StandardXYItemRenderer': 8, 'CategoryDatasetBuilder': 2, 'Integer': 47, 'System.out': 4, 'PlotConfigurationError': 1, 'Font.PLAIN': 6, 'TextBlockAnchor': 4, 'PlotInstance': 3, 'ValueAxis': 416, 'CloneNotSupportedException': 4, 'StatisticalCategoryDataset': 12, 'StackedAreaRenderer2': 3, 'NumberOnlyBuildLabel.build': 2, 'Dimension': 2, 'DefaultBoxAndWhiskerCategoryDataset.getQ1Value()': 1, 'ChartParameters': 1, 'StatisticsResult': 1, 'int[].length': 1, 'JFreeChart': 221, 'StandardCategoryToolTipGenerator': 53, 'GraphObject': 2, 'MoteProgramAction': 1, 'SelectionAdapter': 2, 'Rectangle2D': 327, 'TestNGTestResultBuildAction': 2, 'StringUtils': 2, 'CategoryLabelPosition': 4, 'DefaultDrawingSupplier': 3, 'null': 252, 'Paint': 249, 'SWTPlotEditor': 4, 'TickUnitSource': 44, 'CombinedRangeCategoryPlot': 30, 'Layer.FOREGROUND': 6, 'ConnectSerialAction': 1, 'DeckChartPanel': 2, 'TextAnchor.BOTTOM_CENTER': 4, 'AuthorsActivityChart': 2, 'Composite': 16, 'ItemLabelAnchor': 14, 'DataSetBuilder': 1, 'GRID_COLOR': 1, 'JLabel': 5, 'ColoredBarRenderer': 1, 'BufferedImage.TYPE_INT_ARGB': 5, 'GlobalHelper': 2, 'CategoryDataset': 330, 'XYItemRenderer': 14, 'SensorDataAggregator': 1, 'ColorDialog': 2, 'JRLinePlot': 6, 'TextAnchor.CENTER_LEFT': 5, 'TimeZone': 2, 'CategoryURLGenerator': 16, 'char': 2, 'MultiplePiePlot': 1, 'BarChart': 1, 'BasicStroke.JOIN_BEVEL': 1, 'ChartImageWriter': 1, 'RendererChangeEvent': 4, 'TextAnchor.TOP_CENTER': 3, 'Comparable': 104, 'CategoryStepRenderer': 1, 'MultiValueCategoryDataset': 4, 'ValueMarker': 17, 'LegendTitle': 14, 'SortedSet': 2, 'PlotChangeEvent': 5, 'Font.BOLD': 9, 'AggregatedTimeChartPanel.clearState()': 1, 'StackedAreaRenderer2.generateToolTip()': 3, 'JFileChooser.APPROVE_OPTION': 1, 'TextAnchor.CENTER_RIGHT': 4, 'RectangleConstraint': 1, 'RectangleEdge.BOTTOM': 50, 'ShapeUtilities': 17, 'XYBarRenderer': 1, 'TextUtilities': 21, 'ColorPalette.RED': 4, 'ReFitGraph': 1, 'JButton': 4, 'JPanel': 4, 'RectangleInsets': 42, 'Double.NaN': 4, 'TextAnchor.CENTER': 7, 'TransactionRecordAction': 1, 'ParetoChartPlotter': 2, 'RuntimeException': 7, 'BorderLayout': 6, 'JTabbedPane': 7, 'StrokeSample': 4, 'StandardGradientPaintTransformer': 6, 'StackedAreaRenderer': 8, 'RangeAxisData': 1, 'AlphaComposite.SRC_OVER': 12, 'OutputStream': 1, 'CollectServer': 1, 'Rectangle': 2, 'PlotConfiguration': 5, 'BoxAndWhiskerRenderer': 10, 'RangeAxisConfig': 4, 'String[][].length': 1, 'JRBaseFont': 4, 'Color.WHITE': 20, 'StackingMode': 1, 'BlockBorder': 7, 'TextAnchor': 25, 'CombinedDomainCategoryPlotTests': 1, 'JCheckBoxMenuItem': 1, 'JScrollPane': 1, 'ValueSource': 2, 'DataTable': 2} |
org:jfree:chart:plot:CategoryPlot-trainingLoadTime : |
87530 |
org:jfree:chart:plot:CategoryPlot-trainingTime : |
1542 |
updated_at : |
2018-01-15 16:49:57 |
|
6 |
- missing/condition/null_check
- superfluous/condition/null_check
|
|
|
view
|
|
|
|
881 |
success |
0 |
43.1 s |
×
Run Details |
|
Project: |
jfreechart |
Version: |
881 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
43.09 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
12861 |
detectionTime : |
34 |
java:util:Map-exampleProjects : |
50 |
java:util:Map-numberOfUsagesInTrainingExamples : |
{} |
java:util:Map-trainingLoadTime : |
29747 |
java:util:Map-trainingTime : |
16 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
7725 |
updated_at : |
2018-01-15 16:49:57 |
|
7a |
- missing/condition/null_check
|
|
|
view
|
|
|
|
|
|
|
|
|
7b |
- missing/condition/null_check
|
|
|
view
|
|
|
jmrtd |
51 |
success |
0 |
90.6 s |
×
Run Details |
|
Project: |
jmrtd |
Version: |
51 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
90.61 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
625 |
detectionTime : |
31 |
java:io:Closeable-exampleProjects : |
50 |
java:io:Closeable-numberOfTrainingExamples : |
201 |
java:io:Closeable-numberOfUsagesInTrainingExamples : |
{'Object': 1, 'Closeable': 3, 'Scanner': 1, 'FileChannelImpl': 1, 'Formatter': 1, 'IOException': 2, 'Appendable': 1, 'Readable': 1} |
java:io:Closeable-trainingLoadTime : |
89437 |
java:io:Closeable-trainingTime : |
23 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
332 |
updated_at : |
2018-01-15 16:49:57 |
|
1 |
|
|
|
view
|
|
|
|
67 |
success |
0 |
65.2 s |
×
Run Details |
|
Project: |
jmrtd |
Version: |
67 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
65.15 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
770 |
detectionTime : |
83 |
javax:crypto:Cipher-exampleProjects : |
50 |
javax:crypto:Cipher-maxPatternSupport : |
36 |
javax:crypto:Cipher-numberOfPatterns : |
4 |
javax:crypto:Cipher-numberOfTrainingExamples : |
284 |
javax:crypto:Cipher-numberOfUsagesInTrainingExamples : |
{'CipherInputStream': 2, 'Stream': 12, 'ServerKeyExchange': 4, 'HandshakeIODataStream': 2, 'ServerHello': 4, 'DigestException': 2, 'Class': 2, 'Key': 12, 'ServerSessionContext': 2, 'SSLException': 4, 'KeyPairGenerator': 2, 'CertificateMessage': 4, 'SealedObject': 6, 'ByteArrayOutputStream': 2, 'SignatureException': 4, 'Serializable': 2, 'PrivateKey': 4, 'Signature': 8, 'AlertException': 16, 'Cipher': 46, 'NoSuchPaddingException': 12, 'ClientHello': 2, 'ClientKeyExchange': 4, 'IllegalStateException': 12, 'X509KeyManager': 2, 'ObjectInputStream': 6, 'ByteArrayInputStream': 6, 'AlgorithmParameters': 12, 'ServerHelloDone': 2, 'SSLSessionImpl': 8, 'KeyAgreement': 4, 'Provider': 8, 'X509Certificate': 6, 'InvalidKeySpecException': 2, 'Object': 8, 'ServerHandshakeImpl': 2, 'NoSuchAlgorithmException': 16, 'AssertionError': 2, 'ConnectionState': 6, 'DigitalSignature': 12, 'Iterator': 2, 'ConnectionStateSSLv3': 6, 'byte': 22, 'NullCipherSpi': 2, 'String': 58, 'DHKey': 2, 'EncryptedPrivateKeyInfo': 8, 'Set': 2, 'DHParameterSpec': 2, 'IllegalBlockSizeException': 18, 'null': 20, 'Exception': 10, 'SpiAndProvider': 2, 'IvParameterSpec': 4, 'SSLProtocolException': 12, 'CertificateRequest': 4, 'OutputStream': 2, 'SSLEngineImpl': 2, 'SSLSocketImpl': 2, 'DHPublicKeySpec': 4, 'X509ExtendedKeyManager': 2, 'CertificateVerify': 2, 'NoSuchProviderException': 2, 'SecureRandom': 12, 'PublicKey': 4, 'MessageDigest': 4, 'BadPaddingException': 20, 'Certificate': 2, 'ClientHandshakeImpl': 2, 'KeyFactory': 4, 'RSAPublicKey': 2, 'DHPublicKey': 4, 'IllegalArgumentException': 6, 'NullPointerException': 16, 'ConnectionStateTLS': 6, 'CipherOutputStream': 2, 'X509TrustManager': 2, 'CipherSuite': 10, 'ObjectOutputStream': 2, 'KeyPair': 2, 'PKCS8EncodedKeySpec': 8, 'InvalidAlgorithmParameterException': 10, 'IOException': 16, 'GeneralSecurityException': 4, 'CipherSpi': 2, 'InvalidKeyException': 14, 'Runnable': 2, 'BigInteger': 4} |
javax:crypto:Cipher-trainingLoadTime : |
63500 |
javax:crypto:Cipher-trainingTime : |
62 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
341 |
updated_at : |
2018-01-15 16:49:57 |
|
2 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
jodatime |
1231 |
success |
0 |
6.8 s |
×
Run Details |
|
Project: |
jodatime |
Version: |
1231 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
6.79 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
180 |
detectionTime : |
53 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
164 |
org:joda:time:contrib:hibernate:PersistentDateTime-exampleProjec : |
6 |
org:joda:time:contrib:hibernate:PersistentDateTime-numberOfTrain : |
30 |
org:joda:time:contrib:hibernate:PersistentDateTime-numberOfUsage : |
{'null': 1, 'ResultSet': 1, 'PersistentDateTime': 1, 'DateTime': 1, 'UNKNOWN': 2, 'Interval': 1} |
org:joda:time:contrib:hibernate:PersistentDateTime-trainingLoadT : |
6137 |
org:joda:time:contrib:hibernate:PersistentDateTime-trainingTime : |
30 |
updated_at : |
2018-01-15 16:49:57 |
|
1 |
- missing/condition/null_check
|
|
|
view
|
|
|
lucene |
1251 |
success |
0 |
89.5 s |
×
Run Details |
|
Project: |
lucene |
Version: |
1251 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
89.49 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
4218 |
detectionTime : |
29 |
java:io:Closeable-exampleProjects : |
50 |
java:io:Closeable-numberOfTrainingExamples : |
201 |
java:io:Closeable-numberOfUsagesInTrainingExamples : |
{'Object': 1, 'Closeable': 3, 'Scanner': 1, 'FileChannelImpl': 1, 'Formatter': 1, 'IOException': 2, 'Appendable': 1, 'Readable': 1} |
java:io:Closeable-trainingLoadTime : |
84729 |
java:io:Closeable-trainingTime : |
22 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
3233 |
updated_at : |
2018-01-15 16:49:57 |
|
1 |
- missing/exception handling
|
|
|
view
|
|
|
|
1918 |
success |
208 |
243.5 s |
×
Run Details |
|
Project: |
lucene |
Version: |
1918 |
Result: |
success |
# of Findings: |
208 |
Runtime: |
243.48 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
4743 |
detectionTime : |
15440 |
java:util:Iterator-exampleProjects : |
50 |
java:util:Iterator-numberOfUsagesInTrainingExamples : |
{} |
java:util:Iterator-trainingLoadTime : |
33249 |
java:util:Iterator-trainingTime : |
15 |
java:util:SortedMap-exampleProjects : |
50 |
java:util:SortedMap-numberOfTrainingExamples : |
1069 |
java:util:SortedMap-numberOfUsagesInTrainingExamples : |
{'SortedMap': 18, 'NavigableMap': 3, 'Comparator': 14, 'Set': 2, 'TreeSet': 6, 'UnmodifiableSortedMap': 6, 'IllegalArgumentException': 1, 'SynchronizedSortedMap': 6, 'Class': 3, 'Object': 6, 'Map.Entry': 1, 'ObjectOutputStream': 1, 'TreeMap': 1, 'K': 8, 'CheckedSortedMap': 3, 'Iterator': 2, 'E': 12, 'Comparable': 3} |
java:util:SortedMap-trainingLoadTime : |
93720 |
java:util:SortedMap-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfExploredAlternatives : |
1362 |
numberOfTargets : |
4934 |
numberOfViolations : |
208 |
org:apache:lucene:index:SegmentInfos-exampleProjects : |
41 |
org:apache:lucene:index:SegmentInfos-maxPatternSupport : |
120 |
org:apache:lucene:index:SegmentInfos-numberOfPatterns : |
68 |
org:apache:lucene:index:SegmentInfos-numberOfTrainingExamples : |
5278 |
org:apache:lucene:index:SegmentInfos-numberOfUsagesInTrainingExa : |
{'': 5, 'FsTranslog': 1, 'EngineConfig': 1, 'ThreadInterruptedException': 7, 'RuntimeException': 23, 'TranslogRecoveryRunner': 1, 'OpenMode': 9, 'Type': 2, 'Exception': 10, 'LogMergePolicy': 45, 'Status': 27, 'HashSet': 15, 'StoreRecovery': 1, 'SegmentInfosFormat': 9, 'FileInputStream': 1, 'Collections': 62, 'MergeException': 9, 'IndexSplitter': 7, 'IndexNotFoundException': 9, 'CommitPoint': 14, 'Double.MAX_VALUE': 3, 'Error': 5, 'Integer': 43, 'AtomicReaderContext': 2, 'MapBuilder': 3, 'BlobStoreIndexShardGateway': 1, 'RecoveryDiff': 1, 'SegmentInfosWriter': 6, 'Translog': 1, 'FrozenBufferedDeletes': 9, 'Index': 4, 'Locale.ROOT': 19, 'IllegalStateException': 48, 'Object[].length': 2, 'CloneNotSupportedException': 9, 'CheckAbort': 8, 'Engine': 1, 'DirectoryReader': 37, 'SegmentInfoWriter': 5, 'Object': 60, 'ReaderCommit': 9, 'IndexWriter.ReadersAndLiveDocs': 1, 'IndexFileNameFilter': 4, 'Double.NaN': 3, 'IndexWriterConfig': 17, 'IndexInput': 30, 'CheckIndex': 18, 'SegmentInfoFormat': 10, 'ChecksumIndexOutput': 18, 'SegmentReader.core': 8, 'byte': 1, 'InputStreamStreamInput': 1, 'Character.MAX_RADIX': 18, 'StaleReaderException': 3, 'InternalEngine': 2, 'SegmentInfoReader': 5, 'Boolean': 9, 'UNKNOWN.info': 9, 'IndexFileNames': 1, 'InfoStream': 24, 'Set': 9, 'ReadOnlyDirectoryReader': 1, 'IndexFileNames.SEGMENTS_GEN': 1, 'null': 243, 'FilenameFilter': 3, 'RecoveryStatus': 1, 'SegmentInfo.docCount': 11, 'IndexFormatTooNewException': 13, 'IndexWriter': 226, 'CorruptIndexException': 24, 'List': 203, 'BufferedDeletes': 1, 'FieldInfos': 28, 'BalancedSegmentMergePolicy': 6, 'Map.Entry': 13, 'FileNotFoundException': 31, 'IndexFileDeleter': 51, 'ReleasableLock': 1, 'EngineClosedException': 2, 'EngineAlreadyStartedException': 1, 'TieredMergePolicy': 9, 'FlushFailedEngineException': 1, 'TermIndexStatus': 9, 'KeepOnlyLastCommitDeletionPolicy': 5, 'RestoreContext': 1, 'BitVector': 1, 'FieldInfo': 6, 'SegmentInfo.dir': 6, 'Flush': 1, 'FieldNumbers': 10, 'Lucene3xSegmentInfoReader': 4, 'StoredFieldStatus': 9, 'NamedAnalyzer': 1, 'ArrayList': 6, 'FSDirectory': 17, 'Math': 29, 'DecimalFormat': 7, 'CorruptIndexException|IndexNotFoundException|IndexFormatTooOldException|IndexFormatTooNewException': 1, 'ImmutableList': 1, 'SegmentInfoStatus': 9, 'SegmentMerger': 15, 'String[].length': 27, 'RAMDirectory': 3, 'EOFException': 1, 'Luke': 4, 'StringBuilder': 26, 'AtomicLong': 1, 'SegmentCommitInfo.info': 1, 'IndexDeletionPolicy': 28, 'ChecksumIndexInput': 15, 'SegmentReader': 46, 'EngineCreationFailureException': 1, 'Iterable': 9, 'ShardId': 8, 'IndexOutput': 27, 'MergeAbortedException': 9, 'ReadersAndLiveDocs': 20, 'DecimalFormatSymbols': 4, 'IndexFormatTooOldException': 12, 'CorruptIndexException|IndexFormatTooOldException|IndexFormatTooNewException': 1, 'CopyOnWriteArrayList': 1, 'FindSegmentsFile': 28, 'IndexShardRestoreFailedException': 1, 'RecoverySource': 1, 'IndexShardRecoveryException': 1, 'MergeScore': 9, 'Status.SegmentInfoStatus': 9, 'String': 463, 'Version.LUCENE_40': 1, 'UNKNOWN.level': 9, 'TermVectorStatus': 9, 'WhitespaceAnalyzer': 3, 'SegmentInfosReader': 3, 'char': 19, 'SegmentInfo.name': 15, 'ApplyDeletesResult': 18, 'FlushInfo': 6, 'RobinEngine': 2, 'Arrays': 11, 'Lucene': 1, 'RestStatus': 1, 'FieldNormStatus': 9, 'HashMap': 1, 'Store': 3, 'OutOfMemoryError': 2, 'RefCount': 11, 'ElasticSearchIllegalStateException': 1, 'IndexReader': 37, 'FlushNotAllowedEngineException': 1, 'SegmentCommitInfo': 1, 'UNKNOWN.docCount': 3, 'EngineException': 2, 'SegmentInfo.info.name': 8, 'SegmentInfoPerCommit.info': 22, 'PayloadProcessorProvider': 4, 'FieldNumberBiMap': 12, 'IndexCommit': 49, 'System.out': 16, 'Start': 1, 'Directory': 376, 'MergeDocIDRemapper': 1, 'ElasticSearchException': 1, 'LiveIndexWriterConfig': 10, 'MetadataSnapshot': 1, 'MergeSpecification': 66, 'PrintStream': 47, 'NoSuchDirectoryException': 18, 'SegmentInfoPerCommit.info.name': 4, 'Vector': 2, 'Base64': 1, 'IndexStore': 1, 'System': 33, 'Iterator': 186, 'Map': 110, 'MultiReader': 1, 'NumberFormat': 9, 'TranslogGeneration': 1, 'OneMerge': 60, 'Throwable': 34, 'SegmentInfos': 443, 'MergeInfo': 16, 'InterruptedException': 1, 'StoreFileMetaData': 2, 'DocValuesStatus': 8, 'DocumentsWriter': 10, 'ReaderPool': 11, 'SegmentInfoPerCommit': 155, 'SegmentInfoAndLevel': 9, 'Thread': 12, 'Store.MetadataSnapshot': 1, 'LoadedMetadata': 1, 'Stage': 1, 'Collection': 95, 'Lists': 1, 'RecoveryState': 1, 'Integer.MIN_VALUE': 9, 'CountDownLatch': 1, 'IOUtils': 1, 'BufferedDeletesStream': 14, 'AtomicReader': 22, 'SegmentInfo.info': 8, 'TrackingDirectoryWrapper': 5, 'SegmentByteSizeDescending': 5, 'UNKNOWN': 426, 'FindSegmentsFile.doBody()': 16, 'CommitPoint.FileInfo': 1, 'SnapshotFiles': 1, 'Codec': 59, 'Comparator': 17, 'Matcher': 5, 'IndexWriterConfig.OpenMode.CREATE': 2, 'Bits': 7, 'BlobStoreIndexShardSnapshot': 1, 'Long.MAX_VALUE': 9, 'SegmentInfo': 263, 'IOContext': 73, 'Supplier': 1, 'IndexShard': 1, 'Integer.MAX_VALUE': 9, 'SegmentInfos.FindSegmentsFile.doBody()': 21, 'IllegalArgumentException': 34, 'MergePolicy.OneMerge': 46, 'LockObtainFailedException': 14, 'SegmentInfos.FindSegmentsFile': 21, 'Lock': 23, 'Long': 13, 'RecoveryState.Index': 1, 'MergeState': 8, 'BlobStoreIndexShardSnapshot.FileInfo': 1, 'Pattern': 5, 'LocalIndexShardGateway': 1, 'EngineException|IOException': 1, 'IOException': 86, 'Translog.Snapshot': 1, 'SegmentReader.norms': 1, 'IndexShardGatewayRecoveryException': 2, 'File': 15, 'StandardDirectoryReader': 50, 'Version': 4, 'UNKNOWN.docBase': 5, 'Logger': 1} |
org:apache:lucene:index:SegmentInfos-trainingLoadTime : |
93483 |
org:apache:lucene:index:SegmentInfos-trainingTime : |
1679 |
updated_at : |
2018-01-15 16:49:57 |
|
2 |
- missing/exception handling
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-5 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
mudetect-9 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
tikanga-0 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
|
|
|
|
|
tikanga-1 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
207 |
success |
0 |
31.0 s |
×
Run Details |
|
Project: |
lucene |
Version: |
207 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
31 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
2337 |
detectionTime : |
27 |
java:io:File-exampleProjects : |
50 |
java:io:File-numberOfUsagesInTrainingExamples : |
{} |
java:io:File-trainingLoadTime : |
28181 |
java:io:File-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1417 |
updated_at : |
2018-01-15 16:49:57 |
|
3 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
754 |
success |
0 |
32.0 s |
×
Run Details |
|
Project: |
lucene |
Version: |
754 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
32.04 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
2716 |
detectionTime : |
25 |
java:util:Map-exampleProjects : |
50 |
java:util:Map-numberOfUsagesInTrainingExamples : |
{} |
java:util:Map-trainingLoadTime : |
28857 |
java:util:Map-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
2158 |
updated_at : |
2018-01-15 16:49:57 |
|
5 |
- missing/condition/value_or_state
|
|
|
view
|
|
|
rhino |
286251 |
success |
396 |
395.5 s |
×
Run Details |
|
Project: |
rhino |
Version: |
286251 |
Result: |
success |
# of Findings: |
396 |
Runtime: |
395.52 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
8843 |
detectionTime : |
126459 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfExploredAlternatives : |
170457 |
numberOfTargets : |
2011 |
numberOfViolations : |
396 |
org:mozilla:javascript:IRFactory-exampleProjects : |
38 |
org:mozilla:javascript:IRFactory-maxPatternSupport : |
22 |
org:mozilla:javascript:IRFactory-numberOfPatterns : |
34 |
org:mozilla:javascript:IRFactory-numberOfTrainingExamples : |
5074 |
org:mozilla:javascript:IRFactory-numberOfUsagesInTrainingExample : |
{'': 4, 'RuntimeException': 120, 'UnaryExpression': 44, 'ArrayComprehension': 44, 'InfixExpression': 22, 'Debugger': 22, 'ObjToIntMap': 22, 'Boolean.TRUE': 68, 'XmlExpression': 22, 'ErrorReporter': 22, 'ElementGet': 44, 'CatchClause': 22, 'Node': 1254, 'Name': 88, 'Codegen': 22, 'LabeledStatement': 22, 'XmlFragment': 22, 'System.out': 22, 'ArrayComprehensionLoop': 22, 'ObjectLiteral': 66, 'SwitchStatement': 22, 'ConditionalExpression': 22, 'IfStatement': 22, 'TryStatement': 22, 'PerFunctionVariables': 37, 'NewExpression': 22, 'ObjectProperty': 44, 'Parser': 58, 'ForLoop': 22, 'Object': 129, 'Evaluator': 22, 'System': 22, 'Iterator': 176, 'Map': 1, 'ScriptRuntime': 22, 'ArrayLiteral': 66, 'Reader': 22, 'ParserException': 2, 'WhileLoop': 22, 'ClassCompiler': 22, 'XmlMemberGet': 22, 'String': 285, 'GeneratorExpressionLoop': 15, 'LetNode': 22, 'ParenthesizedExpression': 22, 'VariableInitializer': 22, 'XmlElemRef': 22, 'AstRoot': 66, 'Yield': 22, 'null': 210, 'Hashtable': 6, 'ThrowStatement': 22, 'List': 323, 'ObjArray': 12, 'UNKNOWN': 360, 'XmlRef': 66, 'Class': 22, 'FunctionCall': 22, 'GeneratorExpression': 30, 'Assignment': 22, 'ScriptNode': 88, 'Scriptable': 22, 'CompilerEnvirons': 46, 'XmlPropRef': 22, 'AstNode': 397, 'WithStatement': 22, 'Jump': 96, 'FunctionNode': 85, 'NumberLiteral': 22, 'SecurityController': 22, 'Scope': 88, 'ReturnStatement': 22, 'ScriptOrFnNode': 4, 'VariableDeclaration': 66, 'ForInLoop': 22, 'SwitchCase': 22, 'IllegalArgumentException': 44, 'Context': 22, 'XmlLiteral': 22, 'PropertyGet': 44, 'ExpressionStatement': 22, 'StringLiteral': 22, 'Node.Jump': 8, 'StackOverflowError': 2, 'Label': 22, 'DoLoop': 22, 'XmlString': 22, 'IRFactory': 127, 'FunctionNode.ARROW_FUNCTION': 1} |
org:mozilla:javascript:IRFactory-trainingLoadTime : |
59060 |
org:mozilla:javascript:IRFactory-trainingTime : |
198831 |
updated_at : |
2018-01-15 16:49:57 |
|
1 |
- superfluous/call/duplicate
|
|
|
view
|
|
|
synthetic |
callondte |
success |
0 |
65.6 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
callondte |
Result: |
success |
# of Findings: |
0 |
Runtime: |
65.58 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
13 |
detectionTime : |
22 |
java:awt:Component-exampleProjects : |
50 |
java:awt:Component-numberOfUsagesInTrainingExamples : |
{} |
java:awt:Component-trainingLoadTime : |
65099 |
java:awt:Component-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
callondte |
- missing/condition/environment
|
|
|
view
|
|
|
|
close-1 |
success |
0 |
86.9 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
close-1 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
86.86 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
9 |
detectionTime : |
22 |
java:io:Closeable-exampleProjects : |
50 |
java:io:Closeable-numberOfTrainingExamples : |
201 |
java:io:Closeable-numberOfUsagesInTrainingExamples : |
{'Object': 1, 'Closeable': 3, 'Scanner': 1, 'FileChannelImpl': 1, 'Formatter': 1, 'IOException': 2, 'Appendable': 1, 'Readable': 1} |
java:io:Closeable-trainingLoadTime : |
86362 |
java:io:Closeable-trainingTime : |
22 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
close-1 |
|
|
|
view
|
|
|
|
close-2 |
success |
0 |
87.1 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
close-2 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
87.08 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
9 |
detectionTime : |
21 |
java:io:Closeable-exampleProjects : |
50 |
java:io:Closeable-numberOfTrainingExamples : |
201 |
java:io:Closeable-numberOfUsagesInTrainingExamples : |
{'Object': 1, 'Closeable': 3, 'Scanner': 1, 'FileChannelImpl': 1, 'Formatter': 1, 'IOException': 2, 'Appendable': 1, 'Readable': 1} |
java:io:Closeable-trainingLoadTime : |
86525 |
java:io:Closeable-trainingTime : |
21 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
close-2 |
- missing/exception handling
|
|
|
view
|
|
|
|
cme |
success |
0 |
231.2 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
cme |
Result: |
success |
# of Findings: |
0 |
Runtime: |
231.16 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
15 |
detectionTime : |
21 |
java:io:Collection-exampleProjects : |
50 |
java:io:Collection-numberOfUsagesInTrainingExamples : |
{} |
java:io:Collection-trainingLoadTime : |
230536 |
java:io:Collection-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
cme |
|
|
|
view
|
|
|
|
deadlock |
success |
0 |
22.9 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
deadlock |
Result: |
success |
# of Findings: |
0 |
Runtime: |
22.94 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
11 |
detectionTime : |
24 |
java:lang:Object-exampleProjects : |
50 |
java:lang:Object-maxPatternSupport : |
233 |
java:lang:Object-numberOfPatterns : |
16 |
java:lang:Object-numberOfTrainingExamples : |
9078 |
java:lang:Object-numberOfUsagesInTrainingExamples : |
{'': 19, 'RuntimeException': 10, 'WeakBucket.WeakEntry': 1, 'EmulatedFieldsForDumping': 1, 'HugeEnumSet': 3, 'IllegalAccessException': 7, 'EventDispatcher': 1, 'Type': 3, 'KeyStoreException': 1, 'TBSCertificate': 1, 'Manifest': 1, 'FieldSizePair': 1, 'XPathFactory': 1, 'InstantiationException': 1, 'TimerTask.scheduled': 2, 'ConcurrentSkipListMap.Node': 1, 'InvalidParameterException': 1, 'BindException': 2, 'Cloneable': 1, 'OpenSSLServerSocketImpl': 1, 'NumericShaper': 1, 'ErrorManager': 1, 'IllegalSelectorException': 1, 'EventDispatchThread': 1, 'IllegalStateException': 2, 'LogRecord': 1, 'Externalizable': 2, 'Component': 2, 'Cipher': 1, 'java.lang.reflect.Array': 4, 'Map.Entry.equals()': 1, 'AccessControlContext': 1, 'SynchronizedSet': 1, 'Index': 1, 'TimerTask.when': 1, 'SignerInfo': 1, 'IntrospectionException': 6, 'ObjectStreamField': 6, 'IdentityHashMap': 1, 'InternalError': 1, 'D': 2, 'PutField.checkType()': 1, 'X509Certificate': 6, 'CertificationRequestInfo': 1, 'PropertyEditorSupport': 1, 'Object': 341, 'Format': 3, 'AnnotationTypeMismatchException': 1, 'AbstractPreferences': 3, 'NoSuchAlgorithmException': 2, 'InetSocketAddress': 9, 'VMRuntime': 1, 'DigitalSignature': 1, 'PrintStream': 22, 'FontMetrics': 1, 'DataInputStream': 1, 'JarException': 1, 'byte': 16, 'NotSerializableException': 2, 'UnicodeToBytes': 1, 'EnumSet': 1, 'OutputStreamWriter': 1, 'AtomicReferenceFieldUpdaterImpl': 5, 'ASN1Exception': 1, 'ThreadGroup': 3, 'Enumeration': 5, 'Preferences': 2, 'Insets': 1, 'Set': 18, 'Identity': 1, 'InvalidObjectException': 1, 'SST': 1, 'Finished': 1, 'Annotation': 1, 'CertificateRequest': 1, 'AttributeRange.begin_index': 1, 'SSLSocketImpl': 1, 'EventQueue': 3, 'FileNotFoundException': 1, 'PipedOutputStream': 3, 'AnnotationMember': 7, 'Key': 2, 'Formatter': 5, 'ProcessImpl': 2, 'ChoiceFormat': 1, 'ExplicitInfo': 1, 'SocketAddress': 11, 'Entry': 28, 'ClassLoader': 6, 'MissingResourceException': 2, 'Attribute': 2, 'DatagramSocket': 1, 'IndexOutOfBoundsException': 2, 'BasicMapEntry': 3, 'Runnable': 3, 'Double': 3, 'CheckboxGroup': 1, 'GetField.getObjectStreamClass()': 1, 'ICU': 3, 'Bidi': 1, 'DecimalFormat': 2, 'AbstractSelectableChannel': 1, 'WeakBucket': 1, 'ObjectOutput': 1, 'GetField.get()': 1, 'NullPointerException': 33, 'SecureCacheResponse.getHeaders()': 1, 'Map.Entry.getKey()': 1, 'EventSetDescriptor': 2, 'InvocationEvent': 2, 'Binding': 1, 'InterruptedIOException': 10, 'FieldPositionIterator': 1, 'StringBuilder': 21, 'KeyPair': 1, 'UnknownHostException': 5, 'ListOfTypes': 1, 'ParsePosition': 1, 'AuthPermission': 2, 'EllipticCurve': 2, 'DOMException': 2, 'TwoKeyHashMap': 3, 'NetworkInterface': 1, 'SocketException': 6, 'GridLayout': 1, 'OutputStream': 1, 'LinkedList': 5, 'ServerSocket': 1, 'DecimalFormatSymbols': 2, 'Map.Entry.setValue()': 1, 'CopyOnWriteArrayList': 1, 'ServerHello': 1, 'Number': 3, 'MiniEnumSet': 3, 'GetField.getField()': 1, 'BytesToUnicode': 1, 'Visual': 2, 'FileHandler': 1, 'DatatypeConfigurationException': 2, 'SSLParametersImpl': 2, 'ColorModel': 1, 'ObjectIdentifier': 2, 'ModificationItem': 1, 'Extensions': 1, 'KeyPairGenerator': 1, 'PipedInputStream': 7, 'ProcessManager': 2, 'Container': 1, 'char': 42, 'AnnotationFactory': 1, 'Proxy': 5, 'Handler': 1, 'Libcore': 1, 'EmulatedFields.ObjectSlot': 1, 'DSAParams': 1, 'URL': 2, 'GeneralName': 1, 'TaskQueue': 2, 'KeyStore': 1, 'PutField.put()': 1, 'PropertyDescriptor': 1, 'X509KeyManager': 2, 'ObjectInputStream': 4, 'SelectorImpl': 1, 'Comparator': 2, 'Calendar': 7, 'ServerHelloDone': 1, 'Thread_Wait': 1, 'SynchronizedMapEntry': 1, 'Formattable': 1, 'RemoteRef': 1, 'TimerTask': 3, 'ServerKeyExchange': 1, 'EventListener': 2, 'CipherSuite': 4, 'Locale': 2, 'ServerHandshakeImpl': 1, 'Map.Entry.hashCode()': 1, 'DatagramSocketImpl': 1, 'DSAPrivateKey': 1, 'SecurityException': 5, 'XAnyEvent': 1, 'SimpleEntry': 2, 'K': 56, 'RunnableScheduledFuture': 1, 'FinalizerReference': 1, 'ThreadPoolExecutor': 1, 'UnknownFormatConversionException': 1, 'Iterator': 40, 'Map': 11, 'Charset': 1, 'NumberFormat': 1, 'ContentInfo': 1, 'Collection': 6, 'Throwable': 16, 'ExceptionInInitializerError': 3, 'EnumMap': 7, 'X509CertSelector': 1, 'Reference': 6, 'PutField': 1, 'SynchronizedIterator': 1, 'StackTraceElement': 1, 'Thread': 17, 'Stack': 1, 'MemoryBlock': 1, 'pr100': 1, 'SpiAndProvider': 1, 'Relation': 1, 'Values': 1, 'SecureCacheResponse': 1, 'DHPublicKeySpec': 1, 'VMThread': 4, 'GenericArrayType': 1, 'Principal': 2, 'UnicastServerRef': 1, 'DOMConfigurationImpl': 1, 'Subject': 1, 'SelectorProvider': 1, 'PolicyNode': 1, 'HashIterator': 1, 'CollationKeyICU': 1, 'SecureCacheResponse.getCipherSuite()': 1, 'Checkbox': 1, 'ClientHandshakeImpl': 1, 'Date': 4, 'SecureCacheResponse.getServerCertificateChain()': 1, 'AttributeRange.end_index': 1, 'FileDescriptor': 1, 'CertSelector': 2, 'BeanInfo': 1, 'IllegalArgumentException': 33, 'NotActiveException': 2, 'BlockGuard': 1, 'ClientSessionContext': 1, 'PipedWriter': 3, 'TypeVariable': 2, 'Pattern': 1, 'AbstractSet.iterator()': 2, 'Font': 2, 'UnsupportedOperationException': 16, 'OpenSSLSocketImpl': 1, 'Image': 2, 'Socket': 2, 'Segment': 13, 'PrintWriter': 3, 'SynchronizedSet.iterator()': 1, 'PropertyChangeListenerProxy': 1, 'SelectionKeyImpl': 1, 'WeakHashMap': 8, 'BasicAttribute': 1, 'KeyFactory': 1, 'NodeImpl': 1, 'Logger': 1, 'PipedReader': 7, 'FileInputStream': 1, 'SecureCacheResponse.getLocalPrincipal()': 1, 'X509EncodedKeySpec': 1, 'WriteAbortedException': 1, 'AWTEvent': 3, 'MemoryHandler': 1, 'ClassNotFoundException': 2, 'GaiException': 1, 'Format.Field': 1, 'A': 1, 'BitSet': 3, 'SynchronizedIterator.next()': 1, 'Method': 22, 'LinkedEntry': 1, 'Link': 4, 'PKIXCertPathValidatorResult': 1, 'MediaEntry': 1, 'KeepInline': 1, 'SecureCacheResponse.getLocalCertificateChain()': 1, 'DalvikLogHandler': 1, 'GetField': 1, 'Name': 3, 'LockedUpdater': 3, 'Screen': 1, 'Serializable': 1, 'PKIXParameters': 1, 'Error': 3, 'PutField.write()': 1, 'InvalidKeySpecException': 1, 'Integer': 7, 'ReferenceQueue': 8, 'ObjectStreamException': 1, 'HashEntry': 13, 'StringBuffer': 9, 'CoderResult': 1, 'PublicKey': 6, 'SHA1_MessageDigestImpl': 1, 'InfoAccessSyntax': 1, 'Float': 2, 'DateFormat': 2, 'BasicAttributes': 1, 'IntrospectionIncubator': 1, 'CloneNotSupportedException': 11, 'Entry.Type.get()': 1, 'Service': 2, 'Inet6Address': 1, 'NoSuchMethodException': 3, 'ProcessReferenceQueue': 1, 'CopiesList': 1, 'RemoteObject': 1, 'int[].length': 1, 'InetAddress': 9, 'UnmodifiableIterator': 1, 'CompositeName': 2, 'PushbackInputStream': 1, 'AssertionError': 11, 'Remote': 1, 'AttributedStringIterator': 1, 'AttributedCharacterIterator': 3, 'ProtocolVersion': 4, 'Daemon': 1, 'ArrayDeque': 3, 'HashtableEntry': 8, 'ConcurrentSkipListMap': 2, 'AbstractSet.contains()': 1, 'String': 288, 'Boolean': 4, 'ObjectOutputStream': 6, 'BeanDescriptor': 1, 'Character': 2, 'VT': 2, 'Thread_Alive': 1, 'null': 97, 'CharacterIterator': 1, 'Exception': 23, 'E': 40, 'List': 19, 'AbstractStringBuilder': 3, 'IllegalFormatConversionException': 1, 'char[].length': 1, 'Package': 15, 'InterruptedException': 15, 'Map.Entry': 17, 'InputStream': 3, 'StringIndexOutOfBoundsException': 3, 'File': 2, 'KT': 1, 'ASN1Type': 3, 'InvocationTargetException': 7, 'ArrayIndexOutOfBoundsException': 2, 'AttributedString': 2, 'SecureCacheResponse.getPeerPrincipal()': 1, 'ResourceBundle': 2, 'Field': 22, 'DSAPublicKey': 1, 'AlgorithmIdentifier': 1, 'ClassCastException': 10, 'CertSelector.match()': 1, 'MessageFormat': 2, 'Toolkit': 2, 'PropertyChangeListener': 1, 'Waiter': 2, 'Vector': 14, 'AbstractSet.remove()': 1, 'TimerImpl': 1, 'DSAPrivateKeySpec': 1, 'RawData': 1, 'CertificateMessage': 2, 'X500Principal': 4, 'NoSuchMethodError': 1, 'SSLParameters': 2, 'Node': 20, 'BerInputStream': 1, 'Permission': 3, 'FinalizerDaemon': 1, 'NameConstraints': 1, 'DSAPublicKeySpec': 1, 'Point': 1, 'PKCS8EncodedKeySpec': 1, 'TimeZone': 6, 'RefAddr': 1, 'EventObject': 2, 'LinkedHashMap': 2, 'Permissions': 2, 'SimpleTimeZone': 2, 'RemoteException': 1, 'NativeBreakIterator': 1, 'Scanner': 1, 'Constructor': 4, 'Hashtable': 11, 'UnresolvedPermission': 1, 'HandshakeIODataStream': 1, 'MapEntry': 3, 'Os': 1, 'Appendable': 1, 'UnmodifiableIterator.next()': 1, 'PixelGrabber': 1, 'Buffer': 1, 'SimpleImmutableEntry': 2, 'TrustManagerImpl': 1, 'Class': 234, 'GregorianCalendar': 1, 'UnmodifiableEntrySet': 1, 'CASUpdater': 5, 'SortedSet': 1, 'SSLPeerUnverifiedException': 1, 'SchemaFactory': 1, 'DoubleKey': 2, 'HashMapEntry': 11, 'LocaleData': 1, 'Short': 2, 'PrivateKey': 2, 'PermissionCollection': 2, 'IdentityScope': 1, 'SynchronizedCollection': 2, 'EnumMapIterator': 1, 'HashMap': 9, 'AbstractSet': 2, 'FlowLayout': 1, 'DelayedWorkQueue': 2, 'Class[].length': 6, 'Byte': 2, 'T': 31, 'ZoneInfo': 1, 'ZipEntry': 2, 'FormatToken': 1, 'RejectedExecutionException': 1, 'ColorSpace': 1, 'PriorityBlockingQueue': 3, 'AttributedCharacterIterator.Attribute': 3, 'GetField.defaulted()': 1, 'AtomicIntegerFieldUpdaterImpl': 5, 'PriorityQueue': 1, 'Parameter': 1, 'Provider': 3, 'ArrayStore': 1, 'IndexedPropertyDescriptor': 2, 'AuthenticatedAttributes': 1, 'LinkedBlockingQueue': 2, 'CharSequence': 5, 'BeanInfoEmbryo': 1, 'EnumMapValueCollection': 1, 'TrustAnchor': 2, 'DHPublicKey': 1, 'SecureRandom': 1, 'Entry.Type': 1, 'AbstractSet.add()': 1, 'Proxy.h': 1, 'LayoutManager': 1, 'System': 20, 'ScrollPane': 1, 'ArrayList': 15, 'BigDecimal': 1, 'SingletonSet': 1, 'Currency': 1, 'SynchronizedMap': 3, 'AbstractSet.retainAll()': 1, 'XToolkit': 1, 'SecureSet': 1, 'BorderLayout': 1, 'SingletonMap': 2, 'ProtectionDomain': 1, 'SSLSessionImpl': 2, 'AttributeRange.attribs': 1, 'Window': 1, 'ObjectStreamClass': 8, 'SecureCacheResponse.getBody()': 1, 'FieldPosition': 2, 'JarEntry': 1, 'GenericSignatureParser': 1, 'DHParameterSpec': 1, 'RemoteStub': 1, 'X509ExtendedKeyManager': 1, 'Rectangle': 1, 'UNKNOWN': 3, 'V': 62, 'ClientHello': 2, 'AttributeRange': 1, 'Certificate': 1, 'SingletonList': 1, 'LinkedBlockingDeque': 4, 'RSAPublicKey': 1, 'TextAttribute': 1, 'AbstractMap': 1, 'DataFlavor': 1, 'V1': 1, 'SimpleDateFormat': 2, 'AbstractList': 1, 'Inet4Address': 1, 'TreeMap': 3, 'SSLEngineImpl': 1, 'StreamCorruptedException': 3, 'Map.Entry.toString()': 1, 'CardLayout': 1, 'Long': 4, 'AbstractSet.size()': 2, 'DatagramSocketImplFactory': 1, 'ListIterator': 5, 'Map.Entry.getValue()': 1, 'ArrayBlockingQueue': 3, 'DateFormatSymbols': 2, 'SignedData': 1, 'CertificateException': 1, 'URI': 1, 'IOException': 32, 'X509TrustManager': 1, 'XGraphicsConfiguration': 1, 'PropertyChangeEvent': 1, 'Comparable': 2, 'CipherSpi': 1, 'Range': 1, 'InputStreamReader': 1, 'BigInteger': 7, 'Enum': 6} |
java:lang:Object-trainingLoadTime : |
22176 |
java:lang:Object-trainingTime : |
238 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
deadlock |
- superfluous/condition/threading
|
|
|
view
|
|
|
|
fisexists |
success |
0 |
29.5 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
fisexists |
Result: |
success |
# of Findings: |
0 |
Runtime: |
29.49 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
13 |
detectionTime : |
21 |
java:io:File-exampleProjects : |
50 |
java:io:File-numberOfUsagesInTrainingExamples : |
{} |
java:io:File-trainingLoadTime : |
29032 |
java:io:File-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
fisexists |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
flip-1 |
success |
0 |
63.5 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
flip-1 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
63.46 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
12 |
detectionTime : |
24 |
java:nio:ByteBuffer-exampleProjects : |
50 |
java:nio:ByteBuffer-numberOfUsagesInTrainingExamples : |
{} |
java:nio:ByteBuffer-trainingLoadTime : |
62974 |
java:nio:ByteBuffer-trainingTime : |
16 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
flip-1 |
|
|
|
view
|
|
|
|
flip-2 |
success |
0 |
60.9 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
flip-2 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
60.89 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
18 |
detectionTime : |
23 |
java:nio:ByteBuffer-exampleProjects : |
50 |
java:nio:ByteBuffer-numberOfUsagesInTrainingExamples : |
{} |
java:nio:ByteBuffer-trainingLoadTime : |
60403 |
java:nio:ByteBuffer-trainingTime : |
14 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
flip-2 |
|
|
|
view
|
|
|
|
flush |
success |
0 |
345.2 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
flush |
Result: |
success |
# of Findings: |
0 |
Runtime: |
345.24 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
14 |
detectionTime : |
22 |
java:nio:FileChannel-exampleProjects : |
50 |
java:nio:FileChannel-numberOfUsagesInTrainingExamples : |
{} |
java:nio:FileChannel-trainingLoadTime : |
344593 |
java:nio:FileChannel-trainingTime : |
14 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
flush |
|
|
|
view
|
|
|
|
hasnext |
success |
0 |
34.8 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
hasnext |
Result: |
success |
# of Findings: |
0 |
Runtime: |
34.81 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
13 |
detectionTime : |
22 |
java:util:Iterator-exampleProjects : |
50 |
java:util:Iterator-numberOfUsagesInTrainingExamples : |
{} |
java:util:Iterator-trainingLoadTime : |
34336 |
java:util:Iterator-trainingTime : |
16 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
hasnext |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
latenullcheck |
success |
0 |
23.0 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
latenullcheck |
Result: |
success |
# of Findings: |
0 |
Runtime: |
23.03 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
6 |
detectionTime : |
24 |
java:lang:Object-exampleProjects : |
50 |
java:lang:Object-maxPatternSupport : |
233 |
java:lang:Object-numberOfPatterns : |
16 |
java:lang:Object-numberOfTrainingExamples : |
9078 |
java:lang:Object-numberOfUsagesInTrainingExamples : |
{'': 19, 'RuntimeException': 10, 'WeakBucket.WeakEntry': 1, 'EmulatedFieldsForDumping': 1, 'HugeEnumSet': 3, 'IllegalAccessException': 7, 'EventDispatcher': 1, 'Type': 3, 'KeyStoreException': 1, 'TBSCertificate': 1, 'Manifest': 1, 'FieldSizePair': 1, 'XPathFactory': 1, 'InstantiationException': 1, 'TimerTask.scheduled': 2, 'ConcurrentSkipListMap.Node': 1, 'InvalidParameterException': 1, 'BindException': 2, 'Cloneable': 1, 'OpenSSLServerSocketImpl': 1, 'NumericShaper': 1, 'ErrorManager': 1, 'IllegalSelectorException': 1, 'EventDispatchThread': 1, 'IllegalStateException': 2, 'LogRecord': 1, 'Externalizable': 2, 'Component': 2, 'Cipher': 1, 'java.lang.reflect.Array': 4, 'Map.Entry.equals()': 1, 'AccessControlContext': 1, 'SynchronizedSet': 1, 'Index': 1, 'TimerTask.when': 1, 'SignerInfo': 1, 'IntrospectionException': 6, 'ObjectStreamField': 6, 'IdentityHashMap': 1, 'InternalError': 1, 'D': 2, 'PutField.checkType()': 1, 'X509Certificate': 6, 'CertificationRequestInfo': 1, 'PropertyEditorSupport': 1, 'Object': 341, 'Format': 3, 'AnnotationTypeMismatchException': 1, 'AbstractPreferences': 3, 'NoSuchAlgorithmException': 2, 'InetSocketAddress': 9, 'VMRuntime': 1, 'DigitalSignature': 1, 'PrintStream': 22, 'FontMetrics': 1, 'DataInputStream': 1, 'JarException': 1, 'byte': 16, 'NotSerializableException': 2, 'UnicodeToBytes': 1, 'EnumSet': 1, 'OutputStreamWriter': 1, 'AtomicReferenceFieldUpdaterImpl': 5, 'ASN1Exception': 1, 'ThreadGroup': 3, 'Enumeration': 5, 'Preferences': 2, 'Insets': 1, 'Set': 18, 'Identity': 1, 'InvalidObjectException': 1, 'SST': 1, 'Finished': 1, 'Annotation': 1, 'CertificateRequest': 1, 'AttributeRange.begin_index': 1, 'SSLSocketImpl': 1, 'EventQueue': 3, 'FileNotFoundException': 1, 'PipedOutputStream': 3, 'AnnotationMember': 7, 'Key': 2, 'Formatter': 5, 'ProcessImpl': 2, 'ChoiceFormat': 1, 'ExplicitInfo': 1, 'SocketAddress': 11, 'Entry': 28, 'ClassLoader': 6, 'MissingResourceException': 2, 'Attribute': 2, 'DatagramSocket': 1, 'IndexOutOfBoundsException': 2, 'BasicMapEntry': 3, 'Runnable': 3, 'Double': 3, 'CheckboxGroup': 1, 'GetField.getObjectStreamClass()': 1, 'ICU': 3, 'Bidi': 1, 'DecimalFormat': 2, 'AbstractSelectableChannel': 1, 'WeakBucket': 1, 'ObjectOutput': 1, 'GetField.get()': 1, 'NullPointerException': 33, 'SecureCacheResponse.getHeaders()': 1, 'Map.Entry.getKey()': 1, 'EventSetDescriptor': 2, 'InvocationEvent': 2, 'Binding': 1, 'InterruptedIOException': 10, 'FieldPositionIterator': 1, 'StringBuilder': 21, 'KeyPair': 1, 'UnknownHostException': 5, 'ListOfTypes': 1, 'ParsePosition': 1, 'AuthPermission': 2, 'EllipticCurve': 2, 'DOMException': 2, 'TwoKeyHashMap': 3, 'NetworkInterface': 1, 'SocketException': 6, 'GridLayout': 1, 'OutputStream': 1, 'LinkedList': 5, 'ServerSocket': 1, 'DecimalFormatSymbols': 2, 'Map.Entry.setValue()': 1, 'CopyOnWriteArrayList': 1, 'ServerHello': 1, 'Number': 3, 'MiniEnumSet': 3, 'GetField.getField()': 1, 'BytesToUnicode': 1, 'Visual': 2, 'FileHandler': 1, 'DatatypeConfigurationException': 2, 'SSLParametersImpl': 2, 'ColorModel': 1, 'ObjectIdentifier': 2, 'ModificationItem': 1, 'Extensions': 1, 'KeyPairGenerator': 1, 'PipedInputStream': 7, 'ProcessManager': 2, 'Container': 1, 'char': 42, 'AnnotationFactory': 1, 'Proxy': 5, 'Handler': 1, 'Libcore': 1, 'EmulatedFields.ObjectSlot': 1, 'DSAParams': 1, 'URL': 2, 'GeneralName': 1, 'TaskQueue': 2, 'KeyStore': 1, 'PutField.put()': 1, 'PropertyDescriptor': 1, 'X509KeyManager': 2, 'ObjectInputStream': 4, 'SelectorImpl': 1, 'Comparator': 2, 'Calendar': 7, 'ServerHelloDone': 1, 'Thread_Wait': 1, 'SynchronizedMapEntry': 1, 'Formattable': 1, 'RemoteRef': 1, 'TimerTask': 3, 'ServerKeyExchange': 1, 'EventListener': 2, 'CipherSuite': 4, 'Locale': 2, 'ServerHandshakeImpl': 1, 'Map.Entry.hashCode()': 1, 'DatagramSocketImpl': 1, 'DSAPrivateKey': 1, 'SecurityException': 5, 'XAnyEvent': 1, 'SimpleEntry': 2, 'K': 56, 'RunnableScheduledFuture': 1, 'FinalizerReference': 1, 'ThreadPoolExecutor': 1, 'UnknownFormatConversionException': 1, 'Iterator': 40, 'Map': 11, 'Charset': 1, 'NumberFormat': 1, 'ContentInfo': 1, 'Collection': 6, 'Throwable': 16, 'ExceptionInInitializerError': 3, 'EnumMap': 7, 'X509CertSelector': 1, 'Reference': 6, 'PutField': 1, 'SynchronizedIterator': 1, 'StackTraceElement': 1, 'Thread': 17, 'Stack': 1, 'MemoryBlock': 1, 'pr100': 1, 'SpiAndProvider': 1, 'Relation': 1, 'Values': 1, 'SecureCacheResponse': 1, 'DHPublicKeySpec': 1, 'VMThread': 4, 'GenericArrayType': 1, 'Principal': 2, 'UnicastServerRef': 1, 'DOMConfigurationImpl': 1, 'Subject': 1, 'SelectorProvider': 1, 'PolicyNode': 1, 'HashIterator': 1, 'CollationKeyICU': 1, 'SecureCacheResponse.getCipherSuite()': 1, 'Checkbox': 1, 'ClientHandshakeImpl': 1, 'Date': 4, 'SecureCacheResponse.getServerCertificateChain()': 1, 'AttributeRange.end_index': 1, 'FileDescriptor': 1, 'CertSelector': 2, 'BeanInfo': 1, 'IllegalArgumentException': 33, 'NotActiveException': 2, 'BlockGuard': 1, 'ClientSessionContext': 1, 'PipedWriter': 3, 'TypeVariable': 2, 'Pattern': 1, 'AbstractSet.iterator()': 2, 'Font': 2, 'UnsupportedOperationException': 16, 'OpenSSLSocketImpl': 1, 'Image': 2, 'Socket': 2, 'Segment': 13, 'PrintWriter': 3, 'SynchronizedSet.iterator()': 1, 'PropertyChangeListenerProxy': 1, 'SelectionKeyImpl': 1, 'WeakHashMap': 8, 'BasicAttribute': 1, 'KeyFactory': 1, 'NodeImpl': 1, 'Logger': 1, 'PipedReader': 7, 'FileInputStream': 1, 'SecureCacheResponse.getLocalPrincipal()': 1, 'X509EncodedKeySpec': 1, 'WriteAbortedException': 1, 'AWTEvent': 3, 'MemoryHandler': 1, 'ClassNotFoundException': 2, 'GaiException': 1, 'Format.Field': 1, 'A': 1, 'BitSet': 3, 'SynchronizedIterator.next()': 1, 'Method': 22, 'LinkedEntry': 1, 'Link': 4, 'PKIXCertPathValidatorResult': 1, 'MediaEntry': 1, 'KeepInline': 1, 'SecureCacheResponse.getLocalCertificateChain()': 1, 'DalvikLogHandler': 1, 'GetField': 1, 'Name': 3, 'LockedUpdater': 3, 'Screen': 1, 'Serializable': 1, 'PKIXParameters': 1, 'Error': 3, 'PutField.write()': 1, 'InvalidKeySpecException': 1, 'Integer': 7, 'ReferenceQueue': 8, 'ObjectStreamException': 1, 'HashEntry': 13, 'StringBuffer': 9, 'CoderResult': 1, 'PublicKey': 6, 'SHA1_MessageDigestImpl': 1, 'InfoAccessSyntax': 1, 'Float': 2, 'DateFormat': 2, 'BasicAttributes': 1, 'IntrospectionIncubator': 1, 'CloneNotSupportedException': 11, 'Entry.Type.get()': 1, 'Service': 2, 'Inet6Address': 1, 'NoSuchMethodException': 3, 'ProcessReferenceQueue': 1, 'CopiesList': 1, 'RemoteObject': 1, 'int[].length': 1, 'InetAddress': 9, 'UnmodifiableIterator': 1, 'CompositeName': 2, 'PushbackInputStream': 1, 'AssertionError': 11, 'Remote': 1, 'AttributedStringIterator': 1, 'AttributedCharacterIterator': 3, 'ProtocolVersion': 4, 'Daemon': 1, 'ArrayDeque': 3, 'HashtableEntry': 8, 'ConcurrentSkipListMap': 2, 'AbstractSet.contains()': 1, 'String': 288, 'Boolean': 4, 'ObjectOutputStream': 6, 'BeanDescriptor': 1, 'Character': 2, 'VT': 2, 'Thread_Alive': 1, 'null': 97, 'CharacterIterator': 1, 'Exception': 23, 'E': 40, 'List': 19, 'AbstractStringBuilder': 3, 'IllegalFormatConversionException': 1, 'char[].length': 1, 'Package': 15, 'InterruptedException': 15, 'Map.Entry': 17, 'InputStream': 3, 'StringIndexOutOfBoundsException': 3, 'File': 2, 'KT': 1, 'ASN1Type': 3, 'InvocationTargetException': 7, 'ArrayIndexOutOfBoundsException': 2, 'AttributedString': 2, 'SecureCacheResponse.getPeerPrincipal()': 1, 'ResourceBundle': 2, 'Field': 22, 'DSAPublicKey': 1, 'AlgorithmIdentifier': 1, 'ClassCastException': 10, 'CertSelector.match()': 1, 'MessageFormat': 2, 'Toolkit': 2, 'PropertyChangeListener': 1, 'Waiter': 2, 'Vector': 14, 'AbstractSet.remove()': 1, 'TimerImpl': 1, 'DSAPrivateKeySpec': 1, 'RawData': 1, 'CertificateMessage': 2, 'X500Principal': 4, 'NoSuchMethodError': 1, 'SSLParameters': 2, 'Node': 20, 'BerInputStream': 1, 'Permission': 3, 'FinalizerDaemon': 1, 'NameConstraints': 1, 'DSAPublicKeySpec': 1, 'Point': 1, 'PKCS8EncodedKeySpec': 1, 'TimeZone': 6, 'RefAddr': 1, 'EventObject': 2, 'LinkedHashMap': 2, 'Permissions': 2, 'SimpleTimeZone': 2, 'RemoteException': 1, 'NativeBreakIterator': 1, 'Scanner': 1, 'Constructor': 4, 'Hashtable': 11, 'UnresolvedPermission': 1, 'HandshakeIODataStream': 1, 'MapEntry': 3, 'Os': 1, 'Appendable': 1, 'UnmodifiableIterator.next()': 1, 'PixelGrabber': 1, 'Buffer': 1, 'SimpleImmutableEntry': 2, 'TrustManagerImpl': 1, 'Class': 234, 'GregorianCalendar': 1, 'UnmodifiableEntrySet': 1, 'CASUpdater': 5, 'SortedSet': 1, 'SSLPeerUnverifiedException': 1, 'SchemaFactory': 1, 'DoubleKey': 2, 'HashMapEntry': 10, 'LocaleData': 1, 'Short': 2, 'PrivateKey': 2, 'PermissionCollection': 2, 'IdentityScope': 1, 'SynchronizedCollection': 2, 'EnumMapIterator': 1, 'HashMap': 9, 'AbstractSet': 2, 'FlowLayout': 1, 'DelayedWorkQueue': 2, 'Class[].length': 6, 'Byte': 2, 'T': 31, 'ZoneInfo': 1, 'ZipEntry': 2, 'FormatToken': 1, 'RejectedExecutionException': 1, 'ColorSpace': 1, 'PriorityBlockingQueue': 3, 'AttributedCharacterIterator.Attribute': 3, 'GetField.defaulted()': 1, 'AtomicIntegerFieldUpdaterImpl': 5, 'PriorityQueue': 1, 'Parameter': 1, 'Provider': 3, 'ArrayStore': 1, 'IndexedPropertyDescriptor': 2, 'AuthenticatedAttributes': 1, 'LinkedBlockingQueue': 2, 'CharSequence': 5, 'BeanInfoEmbryo': 1, 'EnumMapValueCollection': 1, 'TrustAnchor': 2, 'DHPublicKey': 1, 'SecureRandom': 1, 'Entry.Type': 1, 'AbstractSet.add()': 1, 'Proxy.h': 1, 'LayoutManager': 1, 'System': 20, 'ScrollPane': 1, 'ArrayList': 15, 'BigDecimal': 1, 'SingletonSet': 1, 'Currency': 1, 'SynchronizedMap': 3, 'AbstractSet.retainAll()': 1, 'XToolkit': 1, 'SecureSet': 1, 'BorderLayout': 1, 'SingletonMap': 2, 'ProtectionDomain': 1, 'SSLSessionImpl': 2, 'AttributeRange.attribs': 1, 'Window': 1, 'ObjectStreamClass': 8, 'SecureCacheResponse.getBody()': 1, 'FieldPosition': 2, 'JarEntry': 1, 'GenericSignatureParser': 1, 'DHParameterSpec': 1, 'RemoteStub': 1, 'X509ExtendedKeyManager': 1, 'Rectangle': 1, 'UNKNOWN': 3, 'V': 62, 'ClientHello': 2, 'AttributeRange': 1, 'Certificate': 1, 'SingletonList': 1, 'LinkedBlockingDeque': 4, 'RSAPublicKey': 1, 'TextAttribute': 1, 'AbstractMap': 1, 'DataFlavor': 1, 'V1': 1, 'SimpleDateFormat': 2, 'AbstractList': 1, 'Inet4Address': 1, 'TreeMap': 3, 'SSLEngineImpl': 1, 'StreamCorruptedException': 3, 'Map.Entry.toString()': 1, 'CardLayout': 1, 'Long': 4, 'AbstractSet.size()': 2, 'DatagramSocketImplFactory': 1, 'ListIterator': 5, 'Map.Entry.getValue()': 1, 'ArrayBlockingQueue': 3, 'DateFormatSymbols': 2, 'SignedData': 1, 'CertificateException': 1, 'URI': 1, 'IOException': 32, 'X509TrustManager': 1, 'XGraphicsConfiguration': 1, 'PropertyChangeEvent': 1, 'Comparable': 2, 'CipherSpi': 1, 'Range': 1, 'InputStreamReader': 1, 'BigInteger': 7, 'Enum': 6} |
java:lang:Object-trainingLoadTime : |
22302 |
java:lang:Object-trainingTime : |
245 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
latenullcheck |
- misplaced/condition/null_check
|
|
|
view
|
|
|
|
listget |
success |
0 |
20.2 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
listget |
Result: |
success |
# of Findings: |
0 |
Runtime: |
20.22 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
13 |
detectionTime : |
21 |
java:util:List-exampleProjects : |
50 |
java:util:List-numberOfUsagesInTrainingExamples : |
{} |
java:util:List-trainingLoadTime : |
19824 |
java:util:List-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
listget |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
mapkeynull |
success |
0 |
28.8 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
mapkeynull |
Result: |
success |
# of Findings: |
0 |
Runtime: |
28.82 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
12 |
detectionTime : |
21 |
java:util:Map-exampleProjects : |
50 |
java:util:Map-numberOfUsagesInTrainingExamples : |
{} |
java:util:Map-trainingLoadTime : |
28375 |
java:util:Map-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
mapkeynull |
- missing/condition/null_check
|
|
|
view
|
|
|
|
mapnull |
success |
0 |
29.3 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
mapnull |
Result: |
success |
# of Findings: |
0 |
Runtime: |
29.27 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
14 |
detectionTime : |
22 |
java:util:Map-exampleProjects : |
50 |
java:util:Map-numberOfUsagesInTrainingExamples : |
{} |
java:util:Map-trainingLoadTime : |
28788 |
java:util:Map-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
mapnull |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
maybenull |
success |
0 |
22.5 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
maybenull |
Result: |
success |
# of Findings: |
0 |
Runtime: |
22.5 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
9 |
detectionTime : |
28 |
java:lang:Object-exampleProjects : |
50 |
java:lang:Object-maxPatternSupport : |
233 |
java:lang:Object-numberOfPatterns : |
16 |
java:lang:Object-numberOfTrainingExamples : |
9078 |
java:lang:Object-numberOfUsagesInTrainingExamples : |
{'': 19, 'RuntimeException': 10, 'WeakBucket.WeakEntry': 1, 'EmulatedFieldsForDumping': 1, 'HugeEnumSet': 3, 'IllegalAccessException': 7, 'EventDispatcher': 1, 'Type': 3, 'KeyStoreException': 1, 'TBSCertificate': 1, 'Manifest': 1, 'FieldSizePair': 1, 'XPathFactory': 1, 'InstantiationException': 1, 'TimerTask.scheduled': 2, 'ConcurrentSkipListMap.Node': 1, 'InvalidParameterException': 1, 'BindException': 2, 'Cloneable': 1, 'OpenSSLServerSocketImpl': 1, 'NumericShaper': 1, 'ErrorManager': 1, 'IllegalSelectorException': 1, 'EventDispatchThread': 1, 'IllegalStateException': 2, 'LogRecord': 1, 'Externalizable': 2, 'Component': 2, 'Cipher': 1, 'java.lang.reflect.Array': 4, 'Map.Entry.equals()': 1, 'AccessControlContext': 1, 'SynchronizedSet': 1, 'Index': 1, 'TimerTask.when': 1, 'SignerInfo': 1, 'IntrospectionException': 6, 'ObjectStreamField': 6, 'IdentityHashMap': 1, 'InternalError': 1, 'D': 2, 'PutField.checkType()': 1, 'X509Certificate': 6, 'CertificationRequestInfo': 1, 'PropertyEditorSupport': 1, 'Object': 341, 'Format': 3, 'AnnotationTypeMismatchException': 1, 'AbstractPreferences': 3, 'NoSuchAlgorithmException': 2, 'InetSocketAddress': 9, 'VMRuntime': 1, 'DigitalSignature': 1, 'PrintStream': 22, 'FontMetrics': 1, 'DataInputStream': 1, 'JarException': 1, 'byte': 16, 'NotSerializableException': 2, 'UnicodeToBytes': 1, 'EnumSet': 1, 'OutputStreamWriter': 1, 'AtomicReferenceFieldUpdaterImpl': 5, 'ASN1Exception': 1, 'ThreadGroup': 3, 'Enumeration': 5, 'Preferences': 2, 'Insets': 1, 'Set': 18, 'Identity': 1, 'InvalidObjectException': 1, 'SST': 1, 'Finished': 1, 'Annotation': 1, 'CertificateRequest': 1, 'AttributeRange.begin_index': 1, 'SSLSocketImpl': 1, 'EventQueue': 3, 'FileNotFoundException': 1, 'PipedOutputStream': 3, 'AnnotationMember': 7, 'Key': 2, 'Formatter': 5, 'ProcessImpl': 2, 'ChoiceFormat': 1, 'ExplicitInfo': 1, 'SocketAddress': 11, 'Entry': 28, 'ClassLoader': 6, 'MissingResourceException': 2, 'Attribute': 2, 'DatagramSocket': 1, 'IndexOutOfBoundsException': 2, 'BasicMapEntry': 3, 'Runnable': 3, 'Double': 3, 'CheckboxGroup': 1, 'GetField.getObjectStreamClass()': 1, 'ICU': 3, 'Bidi': 1, 'DecimalFormat': 2, 'AbstractSelectableChannel': 1, 'WeakBucket': 1, 'ObjectOutput': 1, 'GetField.get()': 1, 'NullPointerException': 33, 'SecureCacheResponse.getHeaders()': 1, 'Map.Entry.getKey()': 1, 'EventSetDescriptor': 2, 'InvocationEvent': 2, 'Binding': 1, 'InterruptedIOException': 10, 'FieldPositionIterator': 1, 'StringBuilder': 21, 'KeyPair': 1, 'UnknownHostException': 5, 'ListOfTypes': 1, 'ParsePosition': 1, 'AuthPermission': 2, 'EllipticCurve': 2, 'DOMException': 2, 'TwoKeyHashMap': 3, 'NetworkInterface': 1, 'SocketException': 6, 'GridLayout': 1, 'OutputStream': 1, 'LinkedList': 5, 'ServerSocket': 1, 'DecimalFormatSymbols': 2, 'Map.Entry.setValue()': 1, 'CopyOnWriteArrayList': 1, 'ServerHello': 1, 'Number': 3, 'MiniEnumSet': 3, 'GetField.getField()': 1, 'BytesToUnicode': 1, 'Visual': 2, 'FileHandler': 1, 'DatatypeConfigurationException': 2, 'SSLParametersImpl': 2, 'ColorModel': 1, 'ObjectIdentifier': 2, 'ModificationItem': 1, 'Extensions': 1, 'KeyPairGenerator': 1, 'PipedInputStream': 7, 'ProcessManager': 2, 'Container': 1, 'char': 42, 'AnnotationFactory': 1, 'Proxy': 5, 'Handler': 1, 'Libcore': 1, 'EmulatedFields.ObjectSlot': 1, 'DSAParams': 1, 'URL': 2, 'GeneralName': 1, 'TaskQueue': 2, 'KeyStore': 1, 'PutField.put()': 1, 'PropertyDescriptor': 1, 'X509KeyManager': 2, 'ObjectInputStream': 4, 'SelectorImpl': 1, 'Comparator': 2, 'Calendar': 7, 'ServerHelloDone': 1, 'Thread_Wait': 1, 'SynchronizedMapEntry': 1, 'Formattable': 1, 'RemoteRef': 1, 'TimerTask': 3, 'ServerKeyExchange': 1, 'EventListener': 2, 'CipherSuite': 4, 'Locale': 2, 'ServerHandshakeImpl': 1, 'Map.Entry.hashCode()': 1, 'DatagramSocketImpl': 1, 'DSAPrivateKey': 1, 'SecurityException': 5, 'XAnyEvent': 1, 'SimpleEntry': 2, 'K': 56, 'RunnableScheduledFuture': 1, 'FinalizerReference': 1, 'ThreadPoolExecutor': 1, 'UnknownFormatConversionException': 1, 'Iterator': 40, 'Map': 11, 'Charset': 1, 'NumberFormat': 1, 'ContentInfo': 1, 'Collection': 6, 'Throwable': 16, 'ExceptionInInitializerError': 3, 'EnumMap': 7, 'X509CertSelector': 1, 'Reference': 6, 'PutField': 1, 'SynchronizedIterator': 1, 'StackTraceElement': 1, 'Thread': 17, 'Stack': 1, 'MemoryBlock': 1, 'pr100': 1, 'SpiAndProvider': 1, 'Relation': 1, 'Values': 1, 'SecureCacheResponse': 1, 'DHPublicKeySpec': 1, 'VMThread': 4, 'GenericArrayType': 1, 'Principal': 2, 'UnicastServerRef': 1, 'DOMConfigurationImpl': 1, 'Subject': 1, 'SelectorProvider': 1, 'PolicyNode': 1, 'HashIterator': 1, 'CollationKeyICU': 1, 'SecureCacheResponse.getCipherSuite()': 1, 'Checkbox': 1, 'ClientHandshakeImpl': 1, 'Date': 4, 'SecureCacheResponse.getServerCertificateChain()': 1, 'AttributeRange.end_index': 1, 'FileDescriptor': 1, 'CertSelector': 2, 'BeanInfo': 1, 'IllegalArgumentException': 33, 'NotActiveException': 2, 'BlockGuard': 1, 'ClientSessionContext': 1, 'PipedWriter': 3, 'TypeVariable': 2, 'Pattern': 1, 'AbstractSet.iterator()': 2, 'Font': 2, 'UnsupportedOperationException': 16, 'OpenSSLSocketImpl': 1, 'Image': 2, 'Socket': 2, 'Segment': 13, 'PrintWriter': 3, 'SynchronizedSet.iterator()': 1, 'PropertyChangeListenerProxy': 1, 'SelectionKeyImpl': 1, 'WeakHashMap': 8, 'BasicAttribute': 1, 'KeyFactory': 1, 'NodeImpl': 1, 'Logger': 1, 'PipedReader': 7, 'FileInputStream': 1, 'SecureCacheResponse.getLocalPrincipal()': 1, 'X509EncodedKeySpec': 1, 'WriteAbortedException': 1, 'AWTEvent': 3, 'MemoryHandler': 1, 'ClassNotFoundException': 2, 'GaiException': 1, 'Format.Field': 1, 'A': 1, 'BitSet': 3, 'SynchronizedIterator.next()': 1, 'Method': 22, 'LinkedEntry': 1, 'Link': 4, 'PKIXCertPathValidatorResult': 1, 'MediaEntry': 1, 'KeepInline': 1, 'SecureCacheResponse.getLocalCertificateChain()': 1, 'DalvikLogHandler': 1, 'GetField': 1, 'Name': 3, 'LockedUpdater': 3, 'Screen': 1, 'Serializable': 1, 'PKIXParameters': 1, 'Error': 3, 'PutField.write()': 1, 'InvalidKeySpecException': 1, 'Integer': 7, 'ReferenceQueue': 8, 'ObjectStreamException': 1, 'HashEntry': 13, 'StringBuffer': 9, 'CoderResult': 1, 'PublicKey': 6, 'SHA1_MessageDigestImpl': 1, 'InfoAccessSyntax': 1, 'Float': 2, 'DateFormat': 2, 'BasicAttributes': 1, 'IntrospectionIncubator': 1, 'CloneNotSupportedException': 11, 'Entry.Type.get()': 1, 'Service': 2, 'Inet6Address': 1, 'NoSuchMethodException': 3, 'ProcessReferenceQueue': 1, 'CopiesList': 1, 'RemoteObject': 1, 'int[].length': 1, 'InetAddress': 9, 'UnmodifiableIterator': 1, 'CompositeName': 2, 'PushbackInputStream': 1, 'AssertionError': 11, 'Remote': 1, 'AttributedStringIterator': 1, 'AttributedCharacterIterator': 3, 'ProtocolVersion': 4, 'Daemon': 1, 'ArrayDeque': 3, 'HashtableEntry': 8, 'ConcurrentSkipListMap': 2, 'AbstractSet.contains()': 1, 'String': 288, 'Boolean': 4, 'ObjectOutputStream': 6, 'BeanDescriptor': 1, 'Character': 2, 'VT': 2, 'Thread_Alive': 1, 'null': 97, 'CharacterIterator': 1, 'Exception': 23, 'E': 40, 'List': 19, 'AbstractStringBuilder': 3, 'IllegalFormatConversionException': 1, 'char[].length': 1, 'Package': 15, 'InterruptedException': 15, 'Map.Entry': 17, 'InputStream': 3, 'StringIndexOutOfBoundsException': 3, 'File': 2, 'KT': 1, 'ASN1Type': 3, 'InvocationTargetException': 7, 'ArrayIndexOutOfBoundsException': 2, 'AttributedString': 2, 'SecureCacheResponse.getPeerPrincipal()': 1, 'ResourceBundle': 2, 'Field': 22, 'DSAPublicKey': 1, 'AlgorithmIdentifier': 1, 'ClassCastException': 10, 'CertSelector.match()': 1, 'MessageFormat': 2, 'Toolkit': 2, 'PropertyChangeListener': 1, 'Waiter': 2, 'Vector': 14, 'AbstractSet.remove()': 1, 'TimerImpl': 1, 'DSAPrivateKeySpec': 1, 'RawData': 1, 'CertificateMessage': 2, 'X500Principal': 4, 'NoSuchMethodError': 1, 'SSLParameters': 2, 'Node': 20, 'BerInputStream': 1, 'Permission': 3, 'FinalizerDaemon': 1, 'NameConstraints': 1, 'DSAPublicKeySpec': 1, 'Point': 1, 'PKCS8EncodedKeySpec': 1, 'TimeZone': 6, 'RefAddr': 1, 'EventObject': 2, 'LinkedHashMap': 2, 'Permissions': 2, 'SimpleTimeZone': 2, 'RemoteException': 1, 'NativeBreakIterator': 1, 'Scanner': 1, 'Constructor': 4, 'Hashtable': 11, 'UnresolvedPermission': 1, 'HandshakeIODataStream': 1, 'MapEntry': 3, 'Os': 1, 'Appendable': 1, 'UnmodifiableIterator.next()': 1, 'PixelGrabber': 1, 'Buffer': 1, 'SimpleImmutableEntry': 2, 'TrustManagerImpl': 1, 'Class': 234, 'GregorianCalendar': 1, 'UnmodifiableEntrySet': 1, 'CASUpdater': 5, 'SortedSet': 1, 'SSLPeerUnverifiedException': 1, 'SchemaFactory': 1, 'DoubleKey': 2, 'HashMapEntry': 11, 'LocaleData': 1, 'Short': 2, 'PrivateKey': 2, 'PermissionCollection': 2, 'IdentityScope': 1, 'SynchronizedCollection': 2, 'EnumMapIterator': 1, 'HashMap': 9, 'AbstractSet': 2, 'FlowLayout': 1, 'DelayedWorkQueue': 2, 'Class[].length': 6, 'Byte': 2, 'T': 31, 'ZoneInfo': 1, 'ZipEntry': 2, 'FormatToken': 1, 'RejectedExecutionException': 1, 'ColorSpace': 1, 'PriorityBlockingQueue': 3, 'AttributedCharacterIterator.Attribute': 3, 'GetField.defaulted()': 1, 'AtomicIntegerFieldUpdaterImpl': 5, 'PriorityQueue': 1, 'Parameter': 1, 'Provider': 3, 'ArrayStore': 1, 'IndexedPropertyDescriptor': 2, 'AuthenticatedAttributes': 1, 'LinkedBlockingQueue': 2, 'CharSequence': 5, 'BeanInfoEmbryo': 1, 'EnumMapValueCollection': 1, 'TrustAnchor': 2, 'DHPublicKey': 1, 'SecureRandom': 1, 'Entry.Type': 1, 'AbstractSet.add()': 1, 'Proxy.h': 1, 'LayoutManager': 1, 'System': 20, 'ScrollPane': 1, 'ArrayList': 15, 'BigDecimal': 1, 'SingletonSet': 1, 'Currency': 1, 'SynchronizedMap': 3, 'AbstractSet.retainAll()': 1, 'XToolkit': 1, 'SecureSet': 1, 'BorderLayout': 1, 'SingletonMap': 2, 'ProtectionDomain': 1, 'SSLSessionImpl': 2, 'AttributeRange.attribs': 1, 'Window': 1, 'ObjectStreamClass': 8, 'SecureCacheResponse.getBody()': 1, 'FieldPosition': 2, 'JarEntry': 1, 'GenericSignatureParser': 1, 'DHParameterSpec': 1, 'RemoteStub': 1, 'X509ExtendedKeyManager': 1, 'Rectangle': 1, 'UNKNOWN': 3, 'V': 62, 'ClientHello': 2, 'AttributeRange': 1, 'Certificate': 1, 'SingletonList': 1, 'LinkedBlockingDeque': 4, 'RSAPublicKey': 1, 'TextAttribute': 1, 'AbstractMap': 1, 'DataFlavor': 1, 'V1': 1, 'SimpleDateFormat': 2, 'AbstractList': 1, 'Inet4Address': 1, 'TreeMap': 3, 'SSLEngineImpl': 1, 'StreamCorruptedException': 3, 'Map.Entry.toString()': 1, 'CardLayout': 1, 'Long': 4, 'AbstractSet.size()': 2, 'DatagramSocketImplFactory': 1, 'ListIterator': 5, 'Map.Entry.getValue()': 1, 'ArrayBlockingQueue': 3, 'DateFormatSymbols': 2, 'SignedData': 1, 'CertificateException': 1, 'URI': 1, 'IOException': 32, 'X509TrustManager': 1, 'XGraphicsConfiguration': 1, 'PropertyChangeEvent': 1, 'Comparable': 2, 'CipherSpi': 1, 'Range': 1, 'InputStreamReader': 1, 'BigInteger': 7, 'Enum': 6} |
java:lang:Object-trainingLoadTime : |
21787 |
java:lang:Object-trainingTime : |
219 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
maybenull |
- missing/condition/null_check
- superfluous/condition/null_check
|
|
|
view
|
|
|
|
nofile |
success |
0 |
0.7 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
nofile |
Result: |
success |
# of Findings: |
0 |
Runtime: |
0.66 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
301 |
detectionTime : |
21 |
java:nio:Files-numberOfUsagesInTrainingExamples : |
{} |
java:nio:Files-trainingLoadTime : |
47 |
java:nio:Files-trainingTime : |
19 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
nofile |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
pack-1 |
success |
0 |
37.0 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
pack-1 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
36.98 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
11 |
detectionTime : |
21 |
javax:swing:JFrame-exampleProjects : |
50 |
javax:swing:JFrame-numberOfUsagesInTrainingExamples : |
{} |
javax:swing:JFrame-trainingLoadTime : |
36524 |
javax:swing:JFrame-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
pack-1 |
|
|
|
view
|
|
|
|
pack-2 |
success |
0 |
35.4 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
pack-2 |
Result: |
success |
# of Findings: |
0 |
Runtime: |
35.37 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
11 |
detectionTime : |
21 |
javax:swing:JFrame-exampleProjects : |
50 |
javax:swing:JFrame-numberOfUsagesInTrainingExamples : |
{} |
javax:swing:JFrame-trainingLoadTime : |
34912 |
javax:swing:JFrame-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
pack-2 |
|
|
|
view
|
|
|
|
repetitive |
success |
0 |
41.2 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
repetitive |
Result: |
success |
# of Findings: |
0 |
Runtime: |
41.24 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
17 |
detectionTime : |
24 |
java:util:Collection-exampleProjects : |
50 |
java:util:Collection-numberOfUsagesInTrainingExamples : |
{} |
java:util:Collection-trainingLoadTime : |
40757 |
java:util:Collection-trainingTime : |
17 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
repetitive |
|
|
|
view
|
|
|
|
setfirst |
success |
0 |
33.1 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
setfirst |
Result: |
success |
# of Findings: |
0 |
Runtime: |
33.14 s |
created_at : |
2018-01-15 16:49:57 |
dataset : |
icse16ex1 |
detectionLoadTime : |
13 |
detectionTime : |
24 |
java:util:Iterator-exampleProjects : |
50 |
java:util:Iterator-numberOfUsagesInTrainingExamples : |
{} |
java:util:Iterator-trainingLoadTime : |
32587 |
java:util:Iterator-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:57 |
|
setfirst |
- missing/condition/value_or_state
|
|
|
view
|
|
|
|
supresserror |
success |
0 |
188.8 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
supresserror |
Result: |
success |
# of Findings: |
0 |
Runtime: |
188.75 s |
created_at : |
2018-01-15 16:49:58 |
dataset : |
icse16ex1 |
detectionLoadTime : |
8 |
detectionTime : |
36 |
java:lang:Throwable-exampleProjects : |
50 |
java:lang:Throwable-maxPatternSupport : |
819 |
java:lang:Throwable-numberOfPatterns : |
40 |
java:lang:Throwable-numberOfTrainingExamples : |
17370 |
java:lang:Throwable-numberOfUsagesInTrainingExamples : |
{'': 22, 'SnmpOid': 3, 'SocketImpl': 2, 'ProcessBuilder': 1, 'Path': 1, 'Ref': 2, 'IllegalAccessException': 28, 'WebServiceException': 1, 'SchemaParsingConfig': 1, 'AbstractRegionPainter.PaintContext': 1, 'ByteArrayOutputStream': 12, 'LocaleServiceProviderPool': 1, 'XMLGrammarPoolImplExtension': 1, 'Character': 1, 'FileWriter': 2, 'DictionaryBasedBreakIterator': 1, 'DigestOutputStream': 7, 'PrivateKeyUsageExtension.NOT_BEFORE': 1, 'LogManager': 1, 'SocketChannel': 3, 'TransformException': 3, 'SourceLoader': 2, 'RoleList': 4, 'HashPrintRequestAttributeSet': 1, 'CreatedFontTracker.MAX_FILE_SIZE': 1, 'MarshalException': 1, 'ForwardException': 3, 'DerValue': 2, 'Destroyable': 1, 'Symbol': 2, 'BranchInstruction': 1, 'X509Certificate': 3, 'PasswordCallback': 6, 'CDROutputObject': 1, 'ObjectCopierFactory': 1, 'InstructionHandle': 1, 'InvalidORBid': 1, 'ShellFolder': 1, 'Document': 31, 'TopLevelElement': 2, 'CharacterName': 1, 'SyncProviderException': 2, 'Transform': 3, 'BranchElement': 1, 'DOMSerializerImpl': 3, 'UnicastServer': 1, 'ServantManagerImpl': 1, 'StringValueExp': 1, 'JEditorPane': 1, 'GIOPVersion': 1, 'EndPointInfo': 2, 'TransformerImpl': 3, 'BasicFileAttributeView': 1, 'DocumentBuilderFactory': 5, 'XMLEntityScanner': 1, 'XmlAttrStack': 1, 'TemplatesImpl': 1, 'ClassFormatException': 1, 'SOAPFactory': 2, 'SecureRandom': 1, 'ServerCallback': 2, 'MissingResourceException': 1, 'PasswordProtection': 1, 'NamedNodeMap': 1, 'JMXConnectorProvider': 1, 'NoSuchFieldError': 3, 'Bindings': 3, 'TransformerFactoryConfigurationError': 4, 'Iterator.next()': 4, 'Work': 4, 'INTERNAL': 180, 'DOMLocatorImpl': 3, 'NullPointerException': 26, 'XPointerHandler': 1, 'UnsupportedEncodingException': 7, 'XMLStreamReader': 2, 'FactoryFinder.ConfigurationError': 14, 'CorbaContactInfoListIterator': 1, 'Cursor': 3, 'SnmpV3Message': 1, 'TransformerHandler': 1, 'IIOPInputStream': 6, 'IdAndFilter': 1, 'PaintContext': 1, 'XIncludeNamespaceSupport': 1, 'Result': 1, 'AllPermission': 1, 'Unsafe': 3, 'Credentials': 3, 'PrincipalImpl': 2, 'Container': 1, 'ClientInvocationInfo': 1, 'NumberFormatException': 13, 'CallbackHandler': 8, 'DTMManager': 2, 'XMLEventFactory': 2, 'Entity': 1, 'Externalizable': 8, 'JComponent': 2, 'BerDecoder': 1, 'OutOfMemoryError': 2, 'CORBA.INTERNAL': 1, 'ObjectInputStream': 23, 'CompositeData': 1, 'Collection': 2, 'NameService.getHostByAddr()': 1, 'InstructionHandle.instruction': 1, 'Monitor': 1, 'Graphics2D': 1, 'RemoteRef': 1, 'UnicastConnectionManager': 1, 'IIOMetadataFormat': 2, 'InvalidRoleValueException': 4, 'Iterator.hasNext()': 4, 'PrintService': 1, 'java.lang.reflect.Array': 1, 'Certificate[].length': 1, 'NameService.lookupAllHostAddr()': 1, 'RandomAccessFile': 1, 'ThreadDeath': 2, 'InstanceAlreadyExistsException': 1, 'PolicyParser.ParsingException': 1, 'DOMEnhancedForDTM': 1, 'ModelMBeanAttributeInfo': 1, 'PrinterJob': 1, 'PrintServiceLookup': 1, 'Oid': 1, 'JarURLResource': 1, 'Templates': 1, 'SocketOrChannelConnectionImpl': 4, 'Text': 3, 'DOM2DTM': 1, 'DOMResult': 1, 'FrameView': 1, 'MXBeanProxy': 1, 'DefaultHandler': 1, 'NotificationListener': 1, 'Principal': 4, 'StaxXMLInputSource': 1, 'IDLJavaSerializationInputStream': 2, 'MatchPatternIterator': 1, 'SnmpMessage': 1, 'PrivilegedExceptionAction.run0()': 1, 'DOMNormalizer': 3, 'AccessException': 1, 'AccessControlException': 1, 'NodeIterator': 2, 'StringWriter': 3, 'MBeanServer': 4, 'UnknownServiceException': 1, 'XMLSerializer': 4, 'Font': 1, 'ObjectOutputStream': 8, 'OBJ_ADAPTER': 32, 'Socket': 3, 'HeapNode': 2, 'OutputFormat': 3, 'SAXResult': 1, 'WeakHashMap': 1, 'java.security.AccessController': 11, 'ModuleInfo': 1, 'WriteAbortedException': 4, 'SerializationHandler': 1, 'ValueMember.type': 3, 'XMLReader': 13, 'OBJECT_NOT_EXIST': 19, 'JarException': 4, 'UNKNOWN.length': 1, 'MBeanServerInvocationHandler': 1, 'Launcher': 1, 'MidiEvent': 1, 'CMSManager': 1, 'GIFImageReader': 1, 'ServerDef': 3, 'Printable': 1, 'HTMLEditorKit': 1, 'DynamicAccessPermission': 1, 'SnmpPduPacket': 2, 'Service': 3, 'Inet6Address': 1, 'URLClassLoader': 5, 'SchemaFactoryFinder': 2, 'Builder.getKeyStore()': 1, 'ActivationGroupID': 1, 'XNodeSet': 2, 'InflaterInputStream': 3, 'CompositeName': 1, 'TabularDataSupport': 1, 'RTFGenerator': 1, 'Attributes': 7, 'IORTemplate': 1, 'SaslException': 1, 'MessageUtils': 2, 'String': 788, 'SchemaFactory': 2, 'SQLData': 3, 'MethodTypeForm': 1, 'FileResource': 1, 'RMIServerImpl': 1, 'List': 26, 'INV_POLICY': 3, 'Member': 3, 'OutputStream.write()': 1, 'StateInvariantError': 2, 'SymbMap': 1, 'InvocationTargetException': 27, 'ArrayIndexOutOfBoundsException': 1, 'ForwardPositionIterator': 1, 'Wrapper.OBJECT': 1, 'XPath': 1, 'XPathFactoryFinder': 2, 'DataInputStream': 1, 'MessageFormat': 3, 'DefaultMutableTreeNode': 1, 'Vector': 10, 'CoroutineManager': 2, 'BAD_OPERATION': 50, 'Policy': 1, 'DTM': 6, 'EOFException': 1, 'EncryptionKey[].length': 1, 'java.lang.Integer': 2, 'InstanceNotFoundException': 18, 'DOMErrorHandler': 9, 'DTMWSFilter': 3, 'ToStream': 1, 'ProtectionParameter': 2, 'ImageInputStream': 1, 'Catalog': 2, 'Context': 4, 'DefaultMBeanServerInterceptor': 1, 'FuncExtFunctionAvailable': 1, 'DOMSource': 7, 'Access': 1, 'FileImageOutputStream': 2, 'PKIXParameters': 1, 'ZipException': 5, 'XMLDocumentScanner': 4, 'XMLErrorReporter': 1, 'ProfileDeferralInfo': 1, 'ConstantClass': 1, 'Toolkit': 5, 'AlgorithmAlreadyRegisteredException': 1, 'Short': 2, 'WrappedRuntimeException': 6, 'Iterator.remove()': 4, 'RMIClassLoader': 1, 'ModelMBeanInfo': 1, 'ResolvingParser': 1, 'SignatureAlgorithmSpi': 1, 'SymbolTable': 2, 'ObjectInputStreamWithLoader': 1, 'DocumentFragment': 1, 'RMIConnector': 1, 'KeyboardFocusManager': 2, 'InputObject': 4, 'XMLParserConfiguration': 1, 'DataOutputStream': 9, 'InvalidRelationIdException': 2, 'ActivationGroup': 1, 'IIOPProfileTemplate': 1, 'void': 1, 'RMIServer': 2, 'StreamSource': 3, 'IDLTypesUtil': 1, 'XMLInputFactory': 3, 'KrbAsReqBuilder': 1, 'XIncludeHandler': 1, 'ModuleInfo.module': 1, 'LinkedList': 1, 'Console': 1, 'RepositoryId_1_3_1': 1, 'EndPointInfo.endpointType': 1, 'NamespaceWildcardIterator': 1, 'SQLException': 19, 'SAXParseException': 11, 'NO_IMPLEMENT': 15, 'Parser': 10, 'FailedLoginException': 3, 'XSComplexTypeDecl': 1, 'InvalidClassException': 10, 'SOAPElementFactory': 1, 'XMLDTDScannerImpl': 1, 'CertPath': 6, 'IDLTypeException': 2, 'XMLEvent': 1, 'PrincipalName.KRB_NT_PRINCIPAL': 1, 'ProxySelector': 2, 'Resolver': 4, 'NoninvertibleTransformException': 1, 'ConfirmationCallback': 1, 'ReflectionException': 17, 'PKIXCertPathChecker': 1, 'WeakReference': 2, 'RESyntaxException': 1, 'IllegalAccessError': 4, 'ReaderThread': 1, 'ProfileDataException': 1, 'SyncProvider': 3, 'NullOutputStream': 1, 'IOException': 202, 'SerialClob': 2, 'Extension': 1, 'ReadOnlyGrammarPool': 1, 'OrderClassLoaders': 1, 'PrinterException': 1, 'PolicyParser.PrincipalEntry': 1, 'StAXInputSource': 2, 'IllegalCharException': 1, 'INTF_REPOS': 2, 'TypeValidator': 1, 'SOAPException': 8, 'Lookup': 1, 'PrivilegedExceptionAction': 15, 'XPathFactory': 3, 'ListenerThread': 1, 'InstantiationException': 18, 'InvocationEvent': 1, 'NonValidatingConfiguration': 1, 'SoftReference': 1, 'PrivateKeyUsageExtension': 2, 'MappingRecord': 1, 'HTMLdtd': 1, 'Stylesheet': 4, 'CertificatePoliciesExtension': 1, 'DTMException': 2, 'ObjectStreamField': 7, 'EventHandlerBase': 1, 'SerialStruct': 2, 'Process': 1, 'BadStringOperationException': 1, 'ServantObject': 1, 'Object': 389, 'CompletionStatus': 607, 'ApplicationException': 1, 'CORBA.MARSHAL': 1, 'SubjectAlternativeNameExtension': 1, 'SAXCatalogParser': 2, 'XMLEntityResolver': 1, 'ServiceLoader': 7, 'URLConnection': 4, 'ServerCloneException': 4, 'byte': 37, 'CertificateEncodingException': 3, 'RenderContext': 1, 'java.security.Security': 2, 'LogWrapperBase': 1, 'XMLStreamReaderImpl': 2, 'Set': 16, 'VirtualMachineError': 2, 'Callable.call()': 1, 'AttributeNotFoundException': 6, 'MethodType': 1, 'UNKNOWN': 52, 'BidiUtils': 1, 'Configuration': 1, 'RoleNotFoundException': 7, 'WriterOutputBuffer': 3, 'FileNotFoundException': 5, 'sun.misc.Launcher': 1, 'MaxStreamFormatVersionComponent': 1, 'CORBA_2_3.portable.OutputStream': 1, 'RuntimeMBeanException': 1, 'RelationNotFoundException': 6, 'JMXServerErrorException': 1, 'Attribute': 3, 'ServerNotifForwarder': 1, 'IndexOutOfBoundsException': 7, 'RE': 1, 'Array': 1, 'Node': 19, 'MidiDevice': 1, 'MyLoader': 2, 'ToolTipManager': 1, 'BigDecimal': 1, 'LdapLoginModule': 3, 'Conditional': 2, 'RMIClassLoaderSpi': 1, 'DTDConfiguration': 1, 'MBeanServerNotification': 2, 'KeyPair': 2, 'DOMParserImpl': 2, 'UnknownHostException': 5, 'GeneralSecurityException': 1, 'DOMException': 5, 'FactoryConfigurationError': 16, 'RefreshFailedException': 2, 'TypeConstraintException': 2, 'ServerSocket': 1, 'SequencedEvent': 1, 'ReflectiveOperationException': 1, 'AbstractTranslet': 3, 'Bias': 1, 'InputMismatchException': 8, 'BasicFileAttributes': 1, 'InitialNameService': 1, 'SocketOptions': 1, 'instinit2.buffer': 2, 'CertificateNotYetValidException': 1, 'NoSuchProviderException': 5, 'ClientListenerInfo': 1, 'XPathFactoryConfigurationException': 1, 'NotSerializableException': 9, 'SnmpOidTable': 2, 'ObjectId': 1, 'CachedXPathAPI': 1, 'ResourcesMgr': 2, 'Runnable.run()': 2, 'URL': 23, 'RelationTypeNotFoundException': 7, 'CertificateExpiredException': 1, 'NameService': 3, 'TraceImplementation': 1, 'Closeable': 1, 'SnmpNull': 1, 'ProtectionDomain': 2, 'ModalityType': 1, 'Paper': 1, 'Thread.UncaughtExceptionHandler': 1, 'RenderingHints': 2, 'ObjectInput': 1, 'ActivationException': 5, 'JMXConnector': 1, 'URLStreamHandler': 3, 'StringBuilder': 5, 'SecurityException': 25, 'PrintStream': 126, 'LSOutput': 1, 'ContinuationContext': 1, 'URLLoader': 2, 'Reader': 8, 'Throwable': 852, 'JTextComponent': 3, 'RelationType': 1, 'StAXLocationWrapper': 1, 'NameConstraintsExtension': 1, 'CharInfo': 1, 'DisposeAction': 1, 'Thread': 31, 'SocksSocketImpl': 2, 'instinit2': 2, 'PrivilegedAction.run()': 19, 'ResolvingXMLReader': 2, 'IllegalStateException': 8, 'com.sun.org.apache.xml.internal.security.utils.ElementProxy': 1, 'DataTransferer': 2, 'GetOpt': 1, 'FileInputStream': 8, 'FutureTask': 1, 'Element': 15, 'MethodSignature': 2, 'PublicKey': 1, 'MessageDigest': 9, 'CodeSetsComponent': 1, 'RETestCase': 3, 'SnmpPduFactory': 1, 'AttributeSet': 2, 'X500PrivateCredential': 1, 'CORBA_2_3.portable.InputStream': 1, 'PrivateKey': 2, 'BaseMarkupSerializer': 3, 'Segment': 4, 'ServerNotActive': 1, 'TRANSACTION_ROLLEDBACK': 3, 'TRANSIENT': 6, 'RepositoryId': 1, 'sun.security.util.ResourcesMgr': 1, 'ServerHeldDown': 4, 'RelationSupport': 17, 'Import': 1, 'ClassNotFoundException': 48, 'XMLDocumentScannerImpl': 1, 'TCKind': 4, 'MultiDOM': 1, 'Util': 1, 'MethodHandle': 3, 'sun.security.krb5.Config': 1, 'DATA_CONVERSION': 29, 'XML11Serializer': 3, 'IncrementalSAXSource': 2, 'Integer': 22, 'ObjectStreamException': 2, 'Debug': 11, 'KeyStore': 3, 'HashSet': 3, 'AclImpl': 2, 'XSObjectListImpl': 1, 'StepPattern': 2, 'SuballocatedIntVector': 1, 'CloneNotSupportedException': 50, 'OAInvocationInfo': 2, 'CMMException': 1, 'NoSuchMethodException': 22, 'XPathContext': 10, 'TransletException': 2, 'SecureRandomSpi': 1, 'CurrentNodeListIterator': 1, 'FileBuilder': 1, 'XSLTCDTMManager': 2, 'ServerException': 2, 'InvocationHandler': 2, 'FileResolverImpl': 1, 'Hashtable': 17, 'KeyTab': 1, 'IDLNameTranslator': 1, 'StringReader': 3, 'ByteBuffer': 7, 'InputStream': 45, 'StringIndexOutOfBoundsException': 9, 'RuntimePermission': 1, 'ProviderImpl': 1, 'ResourceBundle': 4, 'Field': 15, 'ByteBufferWithInfo': 3, 'ClassCastException': 13, 'ObjectKey': 1, 'X500Principal': 3, 'ArrayType': 1, 'UnknownError': 2, 'InstantiationError': 1, 'NotOwnerException': 1, 'FilterIterator': 1, 'XPathNamespaceImpl': 1, 'SubjectCodeSource': 1, 'PropertyExpander': 2, 'ProfileDeferralInfo.filename': 1, 'CertificateException': 11, 'MBeanException': 18, 'DatatypeFactory': 2, 'XML11Configuration': 1, 'FuncHereContext': 1, 'ObjectInputStream.GetField': 2, 'Password': 2, 'AuthProvider': 1, 'AbsoluteIterator': 1, 'StringBufferInputStream': 1, 'EntityResolver': 2, 'XMLResourceIdentifierImpl': 1, 'UnsupportedElement': 1, 'IIOException': 1, 'SnmpAcl': 1, 'ServerLocationPerORB': 2, 'Dialog': 3, 'SunToolkit': 1, 'UnrecoverableKeyException': 1, 'InputStreamReader': 10, 'Track': 1, 'LocatorImpl': 5, 'Parameter': 2, 'Provider': 3, 'PrivilegedActionException': 12, 'InvalidDatatypeValueException': 1, 'null': 726, 'Skeleton': 2, 'ImageConsumer': 2, 'InputStream.read()': 1, 'NamingUtils': 1, 'SocketAddress': 3, 'NameCallback': 5, 'BerException': 1, 'RoleInfo': 3, 'ValueMember': 3, 'Position': 1, 'GetEndPointInfoAgainException': 1, 'UnexpectedException': 1, 'OutputStream': 11, 'ByteBufferPoolImpl': 1, 'CORBA.Object': 3, 'Graphics': 1, 'SyntaxTreeNode': 6, 'SelectorImpl': 2, 'CopierManager': 1, 'AclEntryImpl': 2, 'ImageFilter': 2, 'DataFlavor': 2, 'ListenerNotFoundException': 1, 'IndirectionException': 1, 'OpenType': 4, 'Proxy': 4, 'StreamCorruptedException': 6, 'ThrowableMethods': 2, 'SignatureAlgorithm': 1, 'OutputStream.close()': 1, 'GetOptsException': 1, 'SocksProxy': 2, 'SAXParser': 8, 'XMLSecurityRuntimeException': 4, 'CallbackHandlerProtection': 1, 'ValueMember.id': 2, 'WrongNumberArgsException': 1, 'Select': 1, 'ICC_Profile': 1, 'ServerLocation': 1, 'InvalidName': 1, 'FileTime': 1, 'ConnectionCache': 2, 'SecretKeySpec': 1, 'SHA1PRNG': 1, 'RuntimeException': 103, 'BAD_INV_ORDER': 36, 'MBeanRegistrationException': 2, 'KeyStoreException': 3, 'EditorKit': 3, 'XMLInputSource': 10, 'XPathException': 8, 'SynthContext': 1, 'MimeTypeParameterList': 1, 'ReflectiveCopyException': 1, 'SecurityManager': 15, 'Builder': 1, 'AWTKeyStroke': 2, 'Descriptor': 1, 'EventDispatchThread': 2, 'HTMLDocument': 1, 'JMXProviderException': 2, 'XMLString': 1, 'IncrementalSAXSource_Filter': 3, 'Charset': 3, 'ServerNotRegistered': 8, 'SQLOutputImpl': 1, 'Attr': 2, 'DTMAxisTraverser': 3, 'PredicatedNodeTest': 1, 'UnknownServiceContext': 1, 'NotificationResult': 2, 'PrintStreamOrWriter': 2, 'InetSocketAddress': 2, 'javax.xml.parsers.SAXParserFactory': 2, 'SAX2DTM': 1, 'Location': 3, 'FileLoginModule': 2, 'KeyStoreLoginModule': 5, 'SAAJMetaFactory': 1, 'PageFormat': 1, 'RuntimeOperationsException': 4, 'Callable': 1, 'PIParamWrapper': 1, 'MessageFactory': 1, 'ModalEventFilter': 1, 'InvalidObjectException': 8, 'ScriptEngine': 3, 'ValueMember.name': 3, 'Instruction': 3, 'EventQueue': 2, 'ObjectInstance': 1, 'MarshalledObject': 3, 'HexDumpEncoder': 1, 'AccessControlContext': 2, 'ORBSocketFactory': 1, 'CertificateFactory': 6, 'SignatureSpi': 1, 'JMXConnectorServer': 1, 'Runnable': 5, 'ProxyGenerator': 1, 'ScriptEngineFactory': 4, 'LinkageError': 3, 'RECompiler': 1, 'CatalogException': 3, 'TextUI': 2, 'BadServerDefinition': 1, 'NamespaceContext': 1, 'Krb5Util': 1, 'NO_RESOURCES': 9, 'InitialContext': 1, 'ReadObjectCallback': 1, 'BreakIterator': 1, 'InvalidAlgorithmParameterException': 1, 'LiteralElement': 1, 'MLetContent': 1, 'Realm': 1, 'ParseException': 3, 'AuthPermission': 2, 'SocketException': 8, 'XSDComplexTypeTraverser': 1, 'InetAddress': 5, 'NodeList': 1, 'NoSuchElementException': 3, 'IIOInvalidTreeException': 1, 'SnmpPdu': 1, 'BAD_CONTEXT': 2, 'XObject': 8, 'PolicyFile': 4, 'RuntimeErrorException': 1, 'ObjectKeyTemplate': 1, 'TransformationException': 1, 'CreatedFontTracker.MAX_TOTAL_BYTES': 1, 'PropertyManager': 1, 'MalformedURLException': 17, 'XNIException': 23, 'UnmarshalException': 2, 'BufferedReader': 9, 'DTMAxisIterator': 11, 'Variable': 2, 'Constant': 1, 'XSLTC': 7, 'NodeVector': 1, 'EnvironmentCheck': 1, 'XSDocumentInfo': 1, 'CertificateRep': 4, 'WrongMethodTypeException': 1, 'MessageMediator': 2, 'MBeanServerNotificationFilter': 1, 'CDRInputObject': 1, 'XSTypeDefinition': 1, 'Krb5LoginModule': 4, 'CORBA.ORBPackage.InvalidName': 2, 'NthIterator': 1, 'RoleUnresolved': 2, 'SOAPConnectionFactory': 1, 'Locale': 5, 'NodeIteratorBase': 1, 'Painter': 1, 'NamespaceMappings.MappingRecord': 1, 'OADestroyed': 1, 'Iterator': 41, 'Map': 24, 'InterruptedIOException': 2, 'LocatorImpl.getEncoding()': 2, 'TransformerFactory': 5, 'ErrorListener': 6, 'XPointerProcessor': 1, 'DOMErrorHandlerWrapper': 6, 'ExceptionRW': 1, 'CatalogManager': 4, 'Role': 9, 'DocumentEvent': 2, 'SnmpMsg': 1, 'SQLInputImpl': 1, 'DocumentBuilder': 3, 'StringTokenizer': 5, 'ComplexTypeRecoverableError': 1, 'JMXServiceURL': 4, 'ObjectAlreadyActive': 1, 'UnionChildIterator': 1, 'Builder.getProtectionParameter()': 1, 'NotCompliantMBeanException': 4, 'URISyntaxException': 5, 'invokethrow': 2, 'ServerAlreadyActive': 1, 'COMM_FAILURE': 20, 'PrintingStatus': 1, 'REDebugCompiler': 1, 'NamingEnumeration': 2, 'UnicastConnection': 4, 'NamingException': 11, 'NamingContextImpl': 1, 'JDMSecurityDefs': 1, 'PlainDocument': 1, 'CreatedFontTracker': 1, 'ClassFactory': 1, 'AppContext': 2, 'Long': 4, 'XSFacets': 1, 'SingleIterator': 2, 'Logger': 2, 'ORB': 31, 'SnmpInformRequest': 3, 'PeerEvent': 1, 'XmlsStackElement': 1, 'PrivilegedOperation': 1, 'MimeType': 1, 'InputSource': 15, 'IIOMetadata': 1, 'DefaultDocumentEvent': 1, 'Key': 1, 'UnicastServerRef': 2, 'ORBD': 1, 'ClientCommunicatorAdmin': 1, 'DOMInputSource': 1, 'SAXTransformerFactory': 1, 'Serializable': 10, 'Properties': 14, 'NotificationFilter': 1, 'Repository': 6, 'UIDefaults': 2, 'XMLReaderManager': 1, 'MidiUnavailableException': 1, 'ByteArrayInputStream': 10, 'FileOutputStream': 5, 'Mac': 1, 'View': 1, 'NoSuchAlgorithmException': 20, 'XIncludeTextReader': 1, 'ChangedCharSetException': 1, 'AssertionError': 2, 'Remote': 4, 'ParagraphView': 1, 'X500Name': 1, 'Boolean': 18, 'PeerEvent.PRIORITY_EVENT': 1, 'ResolveResult': 4, 'SerialRef': 1, 'SecurityConstants.GET_STACK_TRACE_PERMISSION': 1, 'CorbaMessageMediatorImpl': 1, 'DynamicMBean': 2, 'DTDDriver': 1, 'Iterator.getNext()': 1, 'DOM': 3, 'Map.Entry': 2, 'AffineTransform': 2, 'CommunicationException': 2, 'File': 32, 'AppContext.EVENT_QUEUE_KEY': 1, 'PrintRequestAttributeSet': 1, 'SAXException': 27, 'Type': 3, 'TestEarlyGC': 1, 'CorbaMessageMediator': 6, 'RoleUnresolvedList': 2, 'Delegate': 1, 'EventHandler': 2, 'FontFormatException': 1, 'SnmpTooBigException': 1, 'Wrapper': 1, 'MalformedObjectNameException': 3, 'Permission': 2, 'SnmpAdaptorServer': 2, 'Writer': 3, 'PKCS8EncodedKeySpec': 1, 'TypeCodeImpl': 1, 'RequiredModelMBean': 2, 'InvalidNameException': 2, 'EmptyStackException': 1, 'ExecutorThread': 1, 'PlatformLogger': 2, 'Constructor': 16, 'NameServer': 1, 'ORBPortInfo': 1, 'CPlusPlusDemangler': 1, 'FunctionTable': 1, 'SnmpMib': 2, 'ObjectName': 12, 'TransformerConfigurationException': 2, 'Inflater': 2, 'NoSuchMethodError': 2, 'XMLDocumentHandler': 1, 'Level': 4, 'TransformXSLT': 1, 'ClassGenException': 3, 'CachedXPathFuncHereAPI': 1, 'NodeValueIterator': 2, 'AWTError': 2, 'HashMap': 2, 'Bidi': 1, 'ThreadPoolManager': 4, 'RuleBasedBreakIterator': 1, 'AsynchronousChannelProvider': 1, 'ThreadLocal': 1, 'StreamPrintServiceFactory': 1, 'RMIC': 2, 'ValidationContextImpl': 1, 'ValueExp': 1, 'KeyRep': 1, 'UnsupportedOperationException': 7, 'SslRMIServerSocketFactory': 1, 'DOMErrorImpl': 9, 'System': 104, 'ArrayList': 9, 'ConfigurationError': 4, 'DestroyFailedException': 1, 'DirContext': 2, 'StreamResult': 3, 'OutputObject': 3, 'BufferedImage': 2, 'RETest': 2, 'T': 5, 'Random': 1, 'PrintWriter': 28, 'TransformerException': 41, 'SecurityConstants.GET_CLASSLOADER_PERMISSION': 1, 'DGCImpl': 1, 'MLet': 1, 'MalformedByteSequenceException': 1, 'JavaClass': 6, 'Certificate': 6, 'Callback': 6, 'VerifyType': 1, 'SnmpEngineId': 1, 'JarURLLoader': 1, 'ConfigFile': 1, 'SAXSource': 5, 'SnmpVarBind': 2, 'NamingContext': 1, 'Future': 2, 'ModuleInfo.entry': 1, 'PrincipalName': 3, 'StAXSource': 1, 'PendingException': 1, 'MonitorNotification': 1, 'INITIALIZE': 19, 'Color': 1, 'DTMManagerDefault': 1, 'InvalidAttributeValueException': 3, 'GSSException': 1, 'SAXParserFactory': 11, 'JInternalFrame': 1, 'RepositoryId_1_3': 1, 'ValidationContext': 1, 'NoClassDefFoundError': 3, 'ServiceNotFoundException': 3, 'Struct': 3, 'TextOutputCallback': 1, 'ActivationGroupImpl': 1, 'XMLParseException': 14, 'RoleInfoNotFoundException': 2, 'IMP_LIMIT': 1, 'CodeSource': 2, 'LogRecord': 3, 'Component': 3, 'ContentHandler': 2, 'XMLStringFactory': 1, 'XInt': 1, 'XMLStreamException': 3, 'JAXBException': 2, 'SingleIterator.value()': 2, 'X509CertImpl': 1, 'ForkJoinTask': 1, 'InternalError': 50, 'SyncFactory': 1, 'KerberosPrincipal': 2, 'ReadObjectState': 2, 'Method': 42, 'SendingContext.CodeBase': 1, 'RegularExpression': 2, 'SAXParserHandler': 1, 'RIOptimisticProvider': 1, 'PrefixResolver': 2, 'InputStream.close()': 1, 'XNumber': 5, 'XML11NonValidatingConfiguration': 1, 'DerOutputStream': 1, 'Messages': 1, 'LSException': 6, 'BreakIteratorProvider': 1, 'ContentHandlerFactory': 1, 'ThreadGroup': 3, 'Enumeration': 16, 'PrivilegedAction': 19, 'SSLContext': 1, 'PreferencesFactory': 2, 'XSDHandler': 1, 'SnmpRequestTree': 2, 'Double': 2, 'DirContextNamePair': 1, 'Expression': 3, 'MatchingIterator': 1, 'ObservedObject': 1, 'SAXInputSource': 1, 'ClassLoader': 31, 'DerValue.data': 1, 'ServerManagerImpl': 1, 'IOError': 1, 'XSSimpleTypeDecl': 1, 'XMLEventReader': 2, 'ValueInputStream': 1, 'ConstantUtf8': 1, 'WorkQueue': 4, 'SSLSocketFactory': 1, 'Conditional.evaluate()': 2, 'CDRInputStream': 1, 'ConstantPool': 1, 'ErrorMsg': 14, 'Acceptor': 1, 'IOR': 2, 'Date': 3, 'Abort': 2, 'StubFactoryStaticImpl': 1, 'Function': 2, 'InterruptedException': 16, 'ErrorHandler': 2, 'Connection': 3, 'BufferedOutputStream': 3, 'DatatypeConfigurationException': 2, 'KrbException': 3, 'Broker': 5, 'KeyPairGenerator': 2, 'ImageReadParam': 1, 'char': 58, 'Handler': 3, 'XMLDTDScanner': 1, 'NotificationAccessController': 1, 'MBeanInfo': 1, 'TransformerFactoryImpl': 2, 'DerInputStream': 1, 'Source': 10, 'ClassFormatError': 3, 'DocumentBuilderFactoryImpl': 1, 'AWTException': 2, 'SyncFactoryException': 4, 'Comparator': 1, 'QName': 1, 'LocatorImpl.getXMLVersion()': 2, 'Any': 1, 'SystemColor': 1, 'IteratorCache': 1, 'ServerAlreadyRegistered': 1, 'SwingUtilities2': 1, 'Channels': 2, 'SAXCatalogReader': 3, 'Blob': 1, 'ToolProvider': 1, 'StringBuffer': 10, 'JarURLLoader.baseJarURL': 1, 'ExceptionInInitializerError': 4, 'BufferedInputStream': 3, 'X509CertSelector': 3, 'Reference': 1, 'StackTraceElement': 6, 'Notification': 1, 'Stack': 1, 'SystemException': 8, 'Float': 2, 'SnmpMibRequest': 2, 'PrivilegedExceptionAction.run()': 15, 'Compiler': 1, 'ElementEdit': 1, 'ElemContext': 1, 'MARSHAL': 89, 'FileAlreadyExistsException': 1, 'ParserConfigurationException': 6, 'ColorUIResource': 1, 'Subject': 4, 'ObjectOutputStream.PutField': 2, 'StepIterator': 2, 'ExecutionException': 3, 'DTMIterator': 2, 'AtomicLong': 1, 'IllegalArgumentException': 86, 'PolicyParser': 1, 'UnicastRemoteCall': 2, 'DupFilterIterator': 1, 'LocalResolver': 1, 'CertPathRep': 4, 'LoginException': 18, 'ContactInfo': 2, 'JMXConnectorServerProvider': 1, 'Image': 1, 'Activator': 8, 'RMIConnectionImpl': 1, 'JndiLoginModule': 3, 'SerialException': 8, 'SSLSocket': 2, 'Message': 1, 'X509EncodedKeySpec': 1, 'REProgram': 2, 'BadLocationException': 15, 'NameServiceDescriptor': 1, 'AbstractDocument': 1, 'Utils': 1, 'DirContextStringPair': 1, 'Comparator.compare()': 1, 'KeepInline': 2, 'RelationServiceNotRegisteredException': 5, 'ASCII_CharStream': 1, 'Name': 5, 'RemarshalException': 1, 'PIHandler': 2, 'SecuritySupport': 1, 'Error': 75, 'MimeTypeParseException': 4, 'NoSuchFieldException': 4, 'SocketFactory': 1, 'LazyPainter': 1, 'DataFormatException': 5, 'ObjectStreamClass_1_3_1': 3, 'OpenDataException': 4, 'XMLAttributes': 1, 'TransletOutputHandlerFactory': 1, 'Clob': 2, 'Path2D': 1, 'Host': 1, 'ValueConversions': 1, 'HttpURLConnection': 2, 'RMIClientCommunicatorAdmin': 1, 'Types': 1, 'BAD_TYPECODE': 5, 'ObjectIdentifier': 1, 'KerberosTicket': 2, 'Locator': 3, 'Runtime': 1, 'ParseUtil': 2, 'DTMDefaultBase': 2, 'ServiceContexts': 1, 'X509CRLSelector': 1, 'DefaultErrorHandler': 1, 'Match': 1, 'ProviderException': 1, 'RelationService': 23, 'ObjectAdapter': 1, 'CorbaConnection': 1, 'XML11DTDConfiguration': 1, 'KeyFactory': 1, 'EncapsOutputStream': 1, 'ImmutableDescriptor': 2, 'ServerError': 2, 'SnmpOidRecord': 2, 'MLetParser': 1, 'ThreadPool': 4, 'LoginModuleControlFlag': 1, 'SnmpStatusException': 9, 'XMLOutputFactory': 1, 'DOMAdapter': 1, 'Content': 1, 'CORBA.ORB': 2, 'CORBA.COMM_FAILURE': 1, 'PrinterAbortException': 1, 'NewInstance': 2, 'Transformer': 3, 'RemoteException': 10, 'Grammar': 1, 'Scanner': 8, 'UnresolvedPermission': 3, 'UnsupportedCallbackException': 6, 'AttributeList': 1, 'PlainSocketImpl': 1, 'Comparable': 1, 'InvalidRelationServiceException': 1, 'ExtendedKeyUsageExtension': 1, 'XMLSchemaLoader': 1, 'com.sun.org.apache.xml.internal.security.Init': 1, 'Class': 160, 'Translet': 1, 'RMIConnectorServer': 1, 'ByteSequence': 4, 'XMLSecurityException': 5, 'LoginContext': 2, 'FileSystemPreferences': 2, 'ExceptionNode': 1, 'NoSuchWorkQueueException': 4, 'XMLSignatureException': 10, 'SerializerTrace': 1, 'CompilerException': 1, 'Security': 1, 'SearchResult': 1, 'Enum': 2, 'IIOPOutputStream': 2, 'IIOMetadataNode': 1, 'SourceLocator': 8, 'AbstractXMLSchema': 1, 'Rectangle': 1, 'INV_OBJREF': 8, 'Exception': 318, 'PrivateKeyUsageExtension.NOT_AFTER': 1, 'TagStack': 1, 'FilePermission': 1, 'SelectionKey': 2, 'BAD_PARAM': 88, 'Highlighter': 2, 'DatagramPacket': 1, 'ObjectCopier': 1, 'AsynchronousByteChannel': 2, 'Param': 2, 'SortingIterator': 1, 'ClassParser': 4, 'ParsedNamingURL': 1, 'LinkOption': 1, 'NameServiceStartThread': 2, 'AbstractSAXParser': 2, 'MultiValuedNodeHeapIterator': 1, 'MemberSignature': 1, 'HeaderParser': 1, 'Include': 1, 'InvalidTargetObjectTypeException': 1, 'KeyImpl': 1, 'XPathResultImpl': 1, 'ObjectStreamClass': 20, 'NoSuchThreadPoolException': 4, 'BreakIteratorGetter': 1, 'StAXSchemaParser': 1, 'JScrollPane': 1, 'TextAttribute': 1, 'Inet4Address': 1, 'ServiceConfigurationError': 8, 'RoleResult': 5, 'XMLSignatureInput': 1, 'Point': 1, 'Byte': 2, 'TypeCode': 1, 'URI': 6, 'BigInteger': 1, 'ClientNotifForwarder': 3, 'ActivationGroupDesc': 1, 'URIResolver': 3} |
java:lang:Throwable-trainingLoadTime : |
187655 |
java:lang:Throwable-trainingTime : |
396 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
2 |
updated_at : |
2018-01-15 16:49:58 |
|
supresserror |
- superfluous/exception handling
|
|
|
view
|
|
|
|
unsynchronized |
success |
0 |
29.0 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
unsynchronized |
Result: |
success |
# of Findings: |
0 |
Runtime: |
28.97 s |
created_at : |
2018-01-15 16:49:58 |
dataset : |
icse16ex1 |
detectionLoadTime : |
11 |
detectionTime : |
21 |
java:util:Map-exampleProjects : |
50 |
java:util:Map-numberOfUsagesInTrainingExamples : |
{} |
java:util:Map-trainingLoadTime : |
28502 |
java:util:Map-trainingTime : |
15 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
1 |
updated_at : |
2018-01-15 16:49:58 |
|
unsynchronized |
- missing/condition/threading
|
|
|
view
|
|
|
|
wait-loop |
success |
0 |
22.5 s |
×
Run Details |
|
Project: |
synthetic |
Version: |
wait-loop |
Result: |
success |
# of Findings: |
0 |
Runtime: |
22.53 s |
created_at : |
2018-01-15 16:49:58 |
dataset : |
icse16ex1 |
detectionLoadTime : |
10 |
detectionTime : |
33 |
java:lang:Object-exampleProjects : |
50 |
java:lang:Object-maxPatternSupport : |
233 |
java:lang:Object-numberOfPatterns : |
16 |
java:lang:Object-numberOfTrainingExamples : |
9078 |
java:lang:Object-numberOfUsagesInTrainingExamples : |
{'': 19, 'RuntimeException': 10, 'WeakBucket.WeakEntry': 1, 'EmulatedFieldsForDumping': 1, 'HugeEnumSet': 3, 'IllegalAccessException': 7, 'EventDispatcher': 1, 'Type': 3, 'KeyStoreException': 1, 'TBSCertificate': 1, 'Manifest': 1, 'FieldSizePair': 1, 'XPathFactory': 1, 'InstantiationException': 1, 'TimerTask.scheduled': 2, 'ConcurrentSkipListMap.Node': 1, 'InvalidParameterException': 1, 'BindException': 2, 'Cloneable': 1, 'OpenSSLServerSocketImpl': 1, 'NumericShaper': 1, 'ErrorManager': 1, 'IllegalSelectorException': 1, 'EventDispatchThread': 1, 'IllegalStateException': 2, 'LogRecord': 1, 'Externalizable': 2, 'Component': 2, 'Cipher': 1, 'java.lang.reflect.Array': 4, 'Map.Entry.equals()': 1, 'AccessControlContext': 1, 'SynchronizedSet': 1, 'Index': 1, 'TimerTask.when': 1, 'SignerInfo': 1, 'IntrospectionException': 6, 'ObjectStreamField': 6, 'IdentityHashMap': 1, 'InternalError': 1, 'D': 2, 'PutField.checkType()': 1, 'X509Certificate': 6, 'CertificationRequestInfo': 1, 'PropertyEditorSupport': 1, 'Object': 341, 'Format': 3, 'AnnotationTypeMismatchException': 1, 'AbstractPreferences': 3, 'NoSuchAlgorithmException': 2, 'InetSocketAddress': 9, 'VMRuntime': 1, 'DigitalSignature': 1, 'PrintStream': 22, 'FontMetrics': 1, 'DataInputStream': 1, 'JarException': 1, 'byte': 16, 'NotSerializableException': 2, 'UnicodeToBytes': 1, 'EnumSet': 1, 'OutputStreamWriter': 1, 'AtomicReferenceFieldUpdaterImpl': 5, 'ASN1Exception': 1, 'ThreadGroup': 3, 'Enumeration': 5, 'Preferences': 2, 'Insets': 1, 'Set': 18, 'Identity': 1, 'InvalidObjectException': 1, 'SST': 1, 'Finished': 1, 'Annotation': 1, 'CertificateRequest': 1, 'AttributeRange.begin_index': 1, 'SSLSocketImpl': 1, 'EventQueue': 3, 'FileNotFoundException': 1, 'PipedOutputStream': 3, 'AnnotationMember': 7, 'Key': 2, 'Formatter': 5, 'ProcessImpl': 2, 'ChoiceFormat': 1, 'ExplicitInfo': 1, 'SocketAddress': 11, 'Entry': 28, 'ClassLoader': 6, 'MissingResourceException': 2, 'Attribute': 2, 'DatagramSocket': 1, 'IndexOutOfBoundsException': 2, 'BasicMapEntry': 3, 'Runnable': 3, 'Double': 3, 'CheckboxGroup': 1, 'GetField.getObjectStreamClass()': 1, 'ICU': 3, 'Bidi': 1, 'DecimalFormat': 2, 'AbstractSelectableChannel': 1, 'WeakBucket': 1, 'ObjectOutput': 1, 'GetField.get()': 1, 'NullPointerException': 33, 'SecureCacheResponse.getHeaders()': 1, 'Map.Entry.getKey()': 1, 'EventSetDescriptor': 2, 'InvocationEvent': 2, 'Binding': 1, 'InterruptedIOException': 10, 'FieldPositionIterator': 1, 'StringBuilder': 21, 'KeyPair': 1, 'UnknownHostException': 5, 'ListOfTypes': 1, 'ParsePosition': 1, 'AuthPermission': 2, 'EllipticCurve': 2, 'DOMException': 2, 'TwoKeyHashMap': 3, 'NetworkInterface': 1, 'SocketException': 6, 'GridLayout': 1, 'OutputStream': 1, 'LinkedList': 5, 'ServerSocket': 1, 'DecimalFormatSymbols': 2, 'Map.Entry.setValue()': 1, 'CopyOnWriteArrayList': 1, 'ServerHello': 1, 'Number': 3, 'MiniEnumSet': 3, 'GetField.getField()': 1, 'BytesToUnicode': 1, 'Visual': 2, 'FileHandler': 1, 'DatatypeConfigurationException': 2, 'SSLParametersImpl': 2, 'ColorModel': 1, 'ObjectIdentifier': 2, 'ModificationItem': 1, 'Extensions': 1, 'KeyPairGenerator': 1, 'PipedInputStream': 7, 'ProcessManager': 2, 'Container': 1, 'char': 42, 'AnnotationFactory': 1, 'Proxy': 5, 'Handler': 1, 'Libcore': 1, 'EmulatedFields.ObjectSlot': 1, 'DSAParams': 1, 'URL': 2, 'GeneralName': 1, 'TaskQueue': 2, 'KeyStore': 1, 'PutField.put()': 1, 'PropertyDescriptor': 1, 'X509KeyManager': 2, 'ObjectInputStream': 4, 'SelectorImpl': 1, 'Comparator': 2, 'Calendar': 7, 'ServerHelloDone': 1, 'Thread_Wait': 1, 'SynchronizedMapEntry': 1, 'Formattable': 1, 'RemoteRef': 1, 'TimerTask': 3, 'ServerKeyExchange': 1, 'EventListener': 2, 'CipherSuite': 4, 'Locale': 2, 'ServerHandshakeImpl': 1, 'Map.Entry.hashCode()': 1, 'DatagramSocketImpl': 1, 'DSAPrivateKey': 1, 'SecurityException': 5, 'XAnyEvent': 1, 'SimpleEntry': 2, 'K': 56, 'RunnableScheduledFuture': 1, 'FinalizerReference': 1, 'ThreadPoolExecutor': 1, 'UnknownFormatConversionException': 1, 'Iterator': 40, 'Map': 11, 'Charset': 1, 'NumberFormat': 1, 'ContentInfo': 1, 'Collection': 6, 'Throwable': 16, 'ExceptionInInitializerError': 3, 'EnumMap': 7, 'X509CertSelector': 1, 'Reference': 6, 'PutField': 1, 'SynchronizedIterator': 1, 'StackTraceElement': 1, 'Thread': 17, 'Stack': 1, 'MemoryBlock': 1, 'pr100': 1, 'SpiAndProvider': 1, 'Relation': 1, 'Values': 1, 'SecureCacheResponse': 1, 'DHPublicKeySpec': 1, 'VMThread': 4, 'GenericArrayType': 1, 'Principal': 2, 'UnicastServerRef': 1, 'DOMConfigurationImpl': 1, 'Subject': 1, 'SelectorProvider': 1, 'PolicyNode': 1, 'HashIterator': 1, 'CollationKeyICU': 1, 'SecureCacheResponse.getCipherSuite()': 1, 'Checkbox': 1, 'ClientHandshakeImpl': 1, 'Date': 4, 'SecureCacheResponse.getServerCertificateChain()': 1, 'AttributeRange.end_index': 1, 'FileDescriptor': 1, 'CertSelector': 2, 'BeanInfo': 1, 'IllegalArgumentException': 33, 'NotActiveException': 2, 'BlockGuard': 1, 'ClientSessionContext': 1, 'PipedWriter': 3, 'TypeVariable': 2, 'Pattern': 1, 'AbstractSet.iterator()': 2, 'Font': 2, 'UnsupportedOperationException': 16, 'OpenSSLSocketImpl': 1, 'Image': 2, 'Socket': 2, 'Segment': 13, 'PrintWriter': 3, 'SynchronizedSet.iterator()': 1, 'PropertyChangeListenerProxy': 1, 'SelectionKeyImpl': 1, 'WeakHashMap': 8, 'BasicAttribute': 1, 'KeyFactory': 1, 'NodeImpl': 1, 'Logger': 1, 'PipedReader': 7, 'FileInputStream': 1, 'SecureCacheResponse.getLocalPrincipal()': 1, 'X509EncodedKeySpec': 1, 'WriteAbortedException': 1, 'AWTEvent': 3, 'MemoryHandler': 1, 'ClassNotFoundException': 2, 'GaiException': 1, 'Format.Field': 1, 'A': 1, 'BitSet': 3, 'SynchronizedIterator.next()': 1, 'Method': 22, 'LinkedEntry': 1, 'Link': 4, 'PKIXCertPathValidatorResult': 1, 'MediaEntry': 1, 'KeepInline': 1, 'SecureCacheResponse.getLocalCertificateChain()': 1, 'DalvikLogHandler': 1, 'GetField': 1, 'Name': 3, 'LockedUpdater': 3, 'Screen': 1, 'Serializable': 1, 'PKIXParameters': 1, 'Error': 3, 'PutField.write()': 1, 'InvalidKeySpecException': 1, 'Integer': 7, 'ReferenceQueue': 8, 'ObjectStreamException': 1, 'HashEntry': 13, 'StringBuffer': 9, 'CoderResult': 1, 'PublicKey': 6, 'SHA1_MessageDigestImpl': 1, 'InfoAccessSyntax': 1, 'Float': 2, 'DateFormat': 2, 'BasicAttributes': 1, 'IntrospectionIncubator': 1, 'CloneNotSupportedException': 11, 'Entry.Type.get()': 1, 'Service': 2, 'Inet6Address': 1, 'NoSuchMethodException': 3, 'ProcessReferenceQueue': 1, 'CopiesList': 1, 'RemoteObject': 1, 'int[].length': 1, 'InetAddress': 9, 'UnmodifiableIterator': 1, 'CompositeName': 2, 'PushbackInputStream': 1, 'AssertionError': 11, 'Remote': 1, 'AttributedStringIterator': 1, 'AttributedCharacterIterator': 3, 'ProtocolVersion': 4, 'Daemon': 1, 'ArrayDeque': 3, 'HashtableEntry': 8, 'ConcurrentSkipListMap': 2, 'AbstractSet.contains()': 1, 'String': 288, 'Boolean': 4, 'ObjectOutputStream': 6, 'BeanDescriptor': 1, 'Character': 2, 'VT': 2, 'Thread_Alive': 1, 'null': 97, 'CharacterIterator': 1, 'Exception': 23, 'E': 40, 'List': 19, 'AbstractStringBuilder': 3, 'IllegalFormatConversionException': 1, 'char[].length': 1, 'Package': 15, 'InterruptedException': 15, 'Map.Entry': 17, 'InputStream': 3, 'StringIndexOutOfBoundsException': 3, 'File': 2, 'KT': 1, 'ASN1Type': 3, 'InvocationTargetException': 7, 'ArrayIndexOutOfBoundsException': 2, 'AttributedString': 2, 'SecureCacheResponse.getPeerPrincipal()': 1, 'ResourceBundle': 2, 'Field': 22, 'DSAPublicKey': 1, 'AlgorithmIdentifier': 1, 'ClassCastException': 10, 'CertSelector.match()': 1, 'MessageFormat': 2, 'Toolkit': 2, 'PropertyChangeListener': 1, 'Waiter': 2, 'Vector': 14, 'AbstractSet.remove()': 1, 'TimerImpl': 1, 'DSAPrivateKeySpec': 1, 'RawData': 1, 'CertificateMessage': 2, 'X500Principal': 4, 'NoSuchMethodError': 1, 'SSLParameters': 2, 'Node': 20, 'BerInputStream': 1, 'Permission': 3, 'FinalizerDaemon': 1, 'NameConstraints': 1, 'DSAPublicKeySpec': 1, 'Point': 1, 'PKCS8EncodedKeySpec': 1, 'TimeZone': 6, 'RefAddr': 1, 'EventObject': 2, 'LinkedHashMap': 2, 'Permissions': 2, 'SimpleTimeZone': 2, 'RemoteException': 1, 'NativeBreakIterator': 1, 'Scanner': 1, 'Constructor': 4, 'Hashtable': 11, 'UnresolvedPermission': 1, 'HandshakeIODataStream': 1, 'MapEntry': 3, 'Os': 1, 'Appendable': 1, 'UnmodifiableIterator.next()': 1, 'PixelGrabber': 1, 'Buffer': 1, 'SimpleImmutableEntry': 2, 'TrustManagerImpl': 1, 'Class': 234, 'GregorianCalendar': 1, 'UnmodifiableEntrySet': 1, 'CASUpdater': 5, 'SortedSet': 1, 'SSLPeerUnverifiedException': 1, 'SchemaFactory': 1, 'DoubleKey': 2, 'HashMapEntry': 11, 'LocaleData': 1, 'Short': 2, 'PrivateKey': 2, 'PermissionCollection': 2, 'IdentityScope': 1, 'SynchronizedCollection': 2, 'EnumMapIterator': 1, 'HashMap': 9, 'AbstractSet': 2, 'FlowLayout': 1, 'DelayedWorkQueue': 2, 'Class[].length': 6, 'Byte': 2, 'T': 31, 'ZoneInfo': 1, 'ZipEntry': 2, 'FormatToken': 1, 'RejectedExecutionException': 1, 'ColorSpace': 1, 'PriorityBlockingQueue': 3, 'AttributedCharacterIterator.Attribute': 3, 'GetField.defaulted()': 1, 'AtomicIntegerFieldUpdaterImpl': 5, 'PriorityQueue': 1, 'Parameter': 1, 'Provider': 3, 'ArrayStore': 1, 'IndexedPropertyDescriptor': 2, 'AuthenticatedAttributes': 1, 'LinkedBlockingQueue': 2, 'CharSequence': 5, 'BeanInfoEmbryo': 1, 'EnumMapValueCollection': 1, 'TrustAnchor': 2, 'DHPublicKey': 1, 'SecureRandom': 1, 'Entry.Type': 1, 'AbstractSet.add()': 1, 'Proxy.h': 1, 'LayoutManager': 1, 'System': 20, 'ScrollPane': 1, 'ArrayList': 15, 'BigDecimal': 1, 'SingletonSet': 1, 'Currency': 1, 'SynchronizedMap': 3, 'AbstractSet.retainAll()': 1, 'XToolkit': 1, 'SecureSet': 1, 'BorderLayout': 1, 'SingletonMap': 2, 'ProtectionDomain': 1, 'SSLSessionImpl': 2, 'AttributeRange.attribs': 1, 'Window': 1, 'ObjectStreamClass': 8, 'SecureCacheResponse.getBody()': 1, 'FieldPosition': 2, 'JarEntry': 1, 'GenericSignatureParser': 1, 'DHParameterSpec': 1, 'RemoteStub': 1, 'X509ExtendedKeyManager': 1, 'Rectangle': 1, 'UNKNOWN': 3, 'V': 62, 'ClientHello': 2, 'AttributeRange': 1, 'Certificate': 1, 'SingletonList': 1, 'LinkedBlockingDeque': 4, 'RSAPublicKey': 1, 'TextAttribute': 1, 'AbstractMap': 1, 'DataFlavor': 1, 'V1': 1, 'SimpleDateFormat': 2, 'AbstractList': 1, 'Inet4Address': 1, 'TreeMap': 3, 'SSLEngineImpl': 1, 'StreamCorruptedException': 3, 'Map.Entry.toString()': 1, 'CardLayout': 1, 'Long': 4, 'AbstractSet.size()': 2, 'DatagramSocketImplFactory': 1, 'ListIterator': 5, 'Map.Entry.getValue()': 1, 'ArrayBlockingQueue': 3, 'DateFormatSymbols': 2, 'SignedData': 1, 'CertificateException': 1, 'URI': 1, 'IOException': 32, 'X509TrustManager': 1, 'XGraphicsConfiguration': 1, 'PropertyChangeEvent': 1, 'Comparable': 2, 'CipherSpi': 1, 'Range': 1, 'InputStreamReader': 1, 'BigInteger': 7, 'Enum': 6} |
java:lang:Object-trainingLoadTime : |
21788 |
java:lang:Object-trainingTime : |
240 |
md5 : |
69a890320d002c557e1c8053bdcceea2 |
numberOfTargets : |
2 |
updated_at : |
2018-01-15 16:49:58 |
|
wait-loop |
|
|
|
view
|
|
|