|
aclang |
587 |
success |
46 |
57.1s |
×
Run Details |
|
| Project: |
aclang |
| Version: |
587 |
| Result: |
success |
| # of Findings: |
46 |
| Runtime: |
57.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
18997 |
| detectionTime: |
384 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
46 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
150 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
<null>:
1
Object:
1
NullTextNull:
2
StrBuilder:
2 |
| numberOfViolations: |
23 |
| trainingLoadTime: |
36361 |
| trainingTime: |
96 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
acmath |
998 |
success |
18 |
44.0s |
×
Run Details |
|
| Project: |
acmath |
| Version: |
998 |
| Result: |
success |
| # of Findings: |
18 |
| Runtime: |
44.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
8461 |
| detectionTime: |
125 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
10 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
15 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Line:
1
Object:
1
CheckV3DNull:
1
<null>:
1
Vector3D:
1 |
| numberOfViolations: |
9 |
| trainingLoadTime: |
34362 |
| trainingTime: |
73 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
adempiere |
1312 |
success |
0 |
30.4s |
×
Run Details |
|
| Project: |
adempiere |
| Version: |
1312 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
30.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10249 |
| detectionTime: |
46 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
Object:
1
SpecifyEncryptEncoding:
1 |
| trainingLoadTime: |
19658 |
| trainingTime: |
47 |
|
1 |
missing/call
superfluous/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/call
superfluous/call |
|
|
view
|
|
|
alibaba-druid |
e10f28 |
success |
8 |
31.1s |
×
Run Details |
|
| Project: |
alibaba-druid |
| Version: |
e10f28 |
| Result: |
success |
| # of Findings: |
8 |
| Runtime: |
31.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10253 |
| detectionTime: |
219 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
13 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RSAPublicKey:
1
String:
1
java.security.InvalidKeyException:
1
PrivateKey:
1
Reinitialize:
1
BigInteger:
1
Object:
1
PublicKey:
1
Cipher:
1
KeyFactory:
1
RSAPrivateKeySpec:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
20089 |
| trainingTime: |
80 |
|
1 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/exception handling |
|
|
view
|
|
|
closure |
114 |
success |
11 |
26.8s |
×
Run Details |
|
| Project: |
closure |
| Version: |
114 |
| Result: |
success |
| # of Findings: |
11 |
| Runtime: |
26.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
8794 |
| detectionTime: |
296 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
10 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
30 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
JSType:
1
IsNotType:
1
Object:
1
<null>:
1
UnionTypeBuilder:
1 |
| numberOfViolations: |
11 |
| trainingLoadTime: |
17101 |
| trainingTime: |
108 |
|
1 |
superfluous/condition/null_check |
|
|
view
|
|
|
|
319 |
success |
2 |
35.3s |
×
Run Details |
|
| Project: |
closure |
| Version: |
319 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13218 |
| detectionTime: |
586 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
257 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
Parameters:
1
Object:
1
org.kohsuke.args4j.CmdLineException:
1
HandleException:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20970 |
| trainingTime: |
128 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
884 |
success |
15 |
32.4s |
×
Run Details |
|
| Project: |
closure |
| Version: |
884 |
| Result: |
success |
| # of Findings: |
15 |
| Runtime: |
32.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11174 |
| detectionTime: |
276 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
16 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
43 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
Set:
1
CheckNull:
1
ObjectType:
1
<null>:
1
Iterator:
1
ImmutableSet:
1
Object:
2 |
| numberOfViolations: |
15 |
| trainingLoadTime: |
20505 |
| trainingTime: |
106 |
|
3 |
missing/condition/null_check |
|
|
view
|
|
|
httpclient |
302 |
success |
3 |
34.3s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
302 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
34.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10016 |
| detectionTime: |
165 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
10 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
{exception@0, exception@8, exception@2, exception@11, exception@3, exception@5}:
1
HttpConnection:
1
org.apache.commons.httpclient.HttpRecoverableException:
1
CloseConnection:
1
java.io.IOException:
1
Object:
1
HttpState:
1
java.lang.RuntimeException:
1
HttpMethod:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
22886 |
| trainingTime: |
135 |
|
1 |
missing/call |
|
|
view
|
|
|
|
444 |
success |
25 |
34.5s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
444 |
| Result: |
success |
| # of Findings: |
25 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14992 |
| detectionTime: |
351 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
11 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
SetHostAuthRequested:
1
Object:
1
AuthState:
1
HttpMethod:
1 |
| numberOfViolations: |
12 |
| trainingLoadTime: |
18644 |
| trainingTime: |
76 |
|
2 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3 |
missing/call |
|
|
view
|
|
|
|
452 |
success |
3 |
30.9s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
452 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
30.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11939 |
| detectionTime: |
115 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
7 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
US:
1
Locale:
1
String:
1
Object:
1
TimeZone:
1
Date:
1
SimpleDateFormat:
1
SetLocale:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
18482 |
| trainingTime: |
34 |
|
4 |
missing/call
superfluous/call |
|
|
view
|
|
|
itext |
5091 |
success |
10 |
38.1s |
×
Run Details |
|
| Project: |
itext |
| Version: |
5091 |
| Result: |
success |
| # of Findings: |
10 |
| Runtime: |
38.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16545 |
| detectionTime: |
774 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
15 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
466 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HandleInvalidKey:
1
String:
1
Object:
1
PublicKey:
1
Cipher:
1
java.security.InvalidKeyException:
1
X509Certificate:
1 |
| numberOfViolations: |
10 |
| trainingLoadTime: |
20078 |
| trainingTime: |
186 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
jackrabbit |
1601 |
success |
19 |
30.5s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1601 |
| Result: |
success |
| # of Findings: |
19 |
| Runtime: |
30.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12211 |
| detectionTime: |
368 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
19 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
53 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ItemId:
1
<null>:
1
Object:
2
ItemState:
1
String:
1
ItemData:
1
CheckStateNotNull:
1
InvalidItemStateException:
1 |
| numberOfViolations: |
19 |
| trainingLoadTime: |
17392 |
| trainingTime: |
60 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
1678 |
success |
2 |
29.2s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1678 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
29.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9775 |
| detectionTime: |
66 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
Integer:
1
HashMap:
1
Class:
1
<null>:
1
CheckMapGetNotNull:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18955 |
| trainingTime: |
60 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
1694 |
success |
3 |
32.1s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1694 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11203 |
| detectionTime: |
100 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
19 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RepositoryConfigurationParser:
1
String:
1
Long:
1
Element:
1
ReplaceVariablesInLongAttribute:
2
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20345 |
| trainingTime: |
80 |
|
3a |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3b |
missing/call |
|
|
view
|
|
|
|
1750 |
success |
4 |
30.4s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1750 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
30.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11283 |
| detectionTime: |
291 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
76 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
InputStream:
1
{exception@2}:
1
Object:
1
CloseInputStream:
1
<ANY>:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
18344 |
| trainingTime: |
104 |
|
5 |
missing/call |
|
|
view
|
|
|
jfreechart |
1025 |
success |
4 |
26.3s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
1025 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
26.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
8949 |
| detectionTime: |
270 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
186 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
22 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Arrays:
1
<null>:
1
lv2d:
1
lv2b:
1
Object:
1
PathIterator:
1
GetOnlyOnePathIterator:
1
GeneralPath:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
16374 |
| trainingTime: |
333 |
|
1 |
missing/call |
|
|
view
|
|
|
|
103 |
success |
2 |
32.0s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
103 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11320 |
| detectionTime: |
98 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
57 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
AxisLabelEntity:
1
Object:
1
EntityCollection:
1
ChartRenderingInfo:
1
CheckForNoOwner:
1
PlotRenderingInfo:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20173 |
| trainingTime: |
47 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
164 |
success |
28 |
33.9s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
164 |
| Result: |
success |
| # of Findings: |
28 |
| Runtime: |
33.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11343 |
| detectionTime: |
147 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
14 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<null>:
1
Object:
1
StatisticalCategoryDataset:
1
CheckMeanValueNull:
1
Number:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
22015 |
| trainingTime: |
44 |
|
3a |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
3b |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
4a |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
4b |
missing/condition/null_check |
|
|
view
|
|
|
|
2183 |
success |
8 |
33.8s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2183 |
| Result: |
success |
| # of Findings: |
8 |
| Runtime: |
33.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12977 |
| detectionTime: |
391 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
7 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
230 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
CheckRendererForNull:
1
XYPlot:
1
Collection:
1
XYItemRenderer:
1
XYDataset:
1
<null>:
1 |
| numberOfViolations: |
8 |
| trainingLoadTime: |
19882 |
| trainingTime: |
118 |
|
5 |
missing/condition/null_check |
|
|
view
|
|
|
|
2266 |
success |
0 |
32.1s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2266 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11266 |
| detectionTime: |
34 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
66 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
CategoryPlot:
1
<null>:
1
CheckDatasetForNull:
1
CategoryDataset:
1 |
| trainingLoadTime: |
20354 |
| trainingTime: |
90 |
|
6 |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
881 |
success |
38 |
31.8s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
881 |
| Result: |
success |
| # of Findings: |
38 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12558 |
| detectionTime: |
341 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
24 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
174 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ArrayList:
1
Object:
2
Integer:
1
Marker:
1
Map:
1
CheckMarkersForNull:
1
<null>:
1 |
| numberOfViolations: |
19 |
| trainingLoadTime: |
18366 |
| trainingTime: |
102 |
|
7a |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
7b |
missing/condition/null_check |
|
|
view
|
|
|
jmrtd |
51 |
success |
7 |
35.1s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
51 |
| Result: |
success |
| # of Findings: |
7 |
| Runtime: |
35.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13803 |
| detectionTime: |
125 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
11 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
DataOutputStream:
1
Object:
1
ByteArrayOutputStream:
1
length:
1
CloseDataOut:
1
Util:
1 |
| numberOfViolations: |
7 |
| trainingLoadTime: |
20717 |
| trainingTime: |
86 |
|
1 |
missing/call |
|
|
view
|
|
|
|
67 |
success |
2 |
30.6s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
67 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10532 |
| detectionTime: |
107 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
18 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
PublicKey:
1
MessageDigest:
1
UseDecryptForDecryption:
1
Cipher:
1
Util:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19573 |
| trainingTime: |
40 |
|
2 |
missing/condition/value_or_state |
|
|
view
|
|
|
jodatime |
1231 |
success |
2 |
31.1s |
×
Run Details |
|
| Project: |
jodatime |
| Version: |
1231 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12110 |
| detectionTime: |
211 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckStartDateForNull:
1
PersistentDateTime:
1
Interval:
1
DateTime:
1
<null>:
1
ResultSet:
1
String:
1
Object:
2 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18467 |
| trainingTime: |
49 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
lucene |
1251 |
success |
5 |
30.6s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1251 |
| Result: |
success |
| # of Findings: |
5 |
| Runtime: |
30.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10905 |
| detectionTime: |
284 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
46 |
| numberOfTrainingExamples: |
4 |
| numberOfUsagesInTrainingExamples: |
RandomAccessFile:
1
{exception@0}:
1
file:
1
<ANY>:
1
TryCloseAndEnsureSubsequentClose:
2
BufferedIndexOutput:
2 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
19046 |
| trainingTime: |
81 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
|
1918 |
success |
2 |
36.5s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1918 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
36.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15621 |
| detectionTime: |
253 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
143 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
java.util.NoSuchElementException:
1
Object:
2
HandleNoFirstKey:
1
SortedMap:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19617 |
| trainingTime: |
72 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
207 |
success |
33 |
36.3s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
207 |
| Result: |
success |
| # of Findings: |
33 |
| Runtime: |
36.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12120 |
| detectionTime: |
296 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
73 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
26 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
EnsureDirectoryExistsBeforeCreateFile:
1
Object:
1
IOException:
1
StringBuffer:
1
File:
1 |
| numberOfViolations: |
33 |
| trainingLoadTime: |
23245 |
| trainingTime: |
115 |
|
3 |
missing/condition/value_or_state |
|
|
view
|
|
|
|
754 |
success |
3 |
38.5s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
754 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
38.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11912 |
| detectionTime: |
241 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
6 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
33 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
HashMap:
1
UseKeyForMapRetrieve$CreationPlaceholder:
1
Map:
1
<null>:
1
UseKeyForMapRetrieve:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
25851 |
| trainingTime: |
71 |
|
5 |
missing/condition/value_or_state |
|
|
view
|
|
|
rhino |
286251 |
success |
28 |
35.9s |
×
Run Details |
|
| Project: |
rhino |
| Version: |
286251 |
| Result: |
success |
| # of Findings: |
28 |
| Runtime: |
35.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13508 |
| detectionTime: |
466 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
39 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
56 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Node:
1
<null>:
1
TokenStream:
1
CallInitOnce:
1
IRFactory:
1
String:
1
Object:
1
FunctionNode:
1 |
| numberOfViolations: |
28 |
| trainingLoadTime: |
21122 |
| trainingTime: |
122 |
|
1 |
superfluous/call/duplicate |
|
|
view
|
|
|
synthetic |
alreadyondte |
success |
2 |
28.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
alreadyondte |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
8541 |
| detectionTime: |
41 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
Object:
1
RunDirectly$1:
1
RunDirectly:
2
JButton:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19166 |
| trainingTime: |
72 |
|
alreadyondte |
superfluous/condition/environment |
|
|
view
|
|
|
|
callondte |
success |
1 |
25.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
callondte |
| Result: |
success |
| # of Findings: |
1 |
| Runtime: |
25.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9807 |
| detectionTime: |
31 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RunOnEDT$1:
1
SwingUtilities:
1
Object:
1
RunOnEDT:
1 |
| numberOfViolations: |
1 |
| trainingLoadTime: |
15593 |
| trainingTime: |
66 |
|
callondte |
missing/condition/environment |
|
|
view
|
|
|
|
close-1 |
success |
2 |
31.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10870 |
| detectionTime: |
96 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
TryFinallyClose:
1
String:
1
PrintWriter:
1
<null>:
1
{exception@2, exception@3}:
1
OutputStream:
1
Object:
1
<ANY>:
1
Writer:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20264 |
| trainingTime: |
86 |
|
close-1 |
missing/call |
|
|
view
|
|
|
|
close-2 |
success |
2 |
32.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11734 |
| detectionTime: |
94 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
TryFinallyClose:
1
String:
1
PrintWriter:
1
<null>:
1
{exception@2, exception@3}:
1
OutputStream:
1
Object:
1
<ANY>:
1
Writer:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20610 |
| trainingTime: |
87 |
|
close-2 |
missing/exception handling |
|
|
view
|
|
|
|
cme |
success |
2 |
28.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
cme |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9243 |
| detectionTime: |
47 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
DoNotModify:
1
Collection:
1
Object:
2
Iterator:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19146 |
| trainingTime: |
106 |
|
cme |
superfluous/call |
|
|
view
|
|
|
|
deadlock |
success |
3 |
31.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
deadlock |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
31.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11124 |
| detectionTime: |
64 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
Synchronized:
1
{exception@6, exception@2, exception@3, exception@1}:
1
<ANY>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
19616 |
| trainingTime: |
59 |
|
deadlock |
superfluous/condition/threading |
|
|
view
|
|
|
|
fisexists |
success |
2 |
34.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
fisexists |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13292 |
| detectionTime: |
47 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
FileInputStream:
1
File:
1
Object:
1
CheckFileExists:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20808 |
| trainingTime: |
45 |
|
fisexists |
missing/condition/value_or_state |
|
|
view
|
|
|
|
flip-1 |
success |
2 |
33.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12360 |
| detectionTime: |
77 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
ByteBuffer:
1
FlipBuffer:
1
length:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20441 |
| trainingTime: |
193 |
|
flip-1 |
missing/call |
|
|
view
|
|
|
|
flip-2 |
success |
2 |
32.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10524 |
| detectionTime: |
45 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
FileChannel:
1
ByteBuffer:
1
FlipBuffer:
1
length:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
21104 |
| trainingTime: |
48 |
|
flip-2 |
missing/call |
|
|
view
|
|
|
|
flush |
success |
3 |
35.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flush |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
35.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13185 |
| detectionTime: |
125 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
StandardOpenOption:
1
FileChannel:
1
WRITE:
1
{exception@6, exception@7}:
1
<null>:
1
ByteBuffer:
1
Path:
1
Object:
1
<ANY>:
1
CloseChannel:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
21332 |
| trainingTime: |
115 |
|
flush |
missing/call |
|
|
view
|
|
|
|
hasnext |
success |
2 |
28.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
hasnext |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9572 |
| detectionTime: |
123 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Collection:
1
Object:
1
HasNext:
1
Iterator:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17873 |
| trainingTime: |
64 |
|
hasnext |
missing/condition/value_or_state |
|
|
view
|
|
|
|
latenullcheck |
success |
2 |
28.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
latenullcheck |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9375 |
| detectionTime: |
103 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
NullGuard:
1
Object:
2
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18275 |
| trainingTime: |
95 |
|
latenullcheck |
misplaced/condition/null_check |
|
|
view
|
|
|
|
listget |
success |
2 |
32.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
listget |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12502 |
| detectionTime: |
151 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
List:
1
Object:
2
<null>:
1
CheckBounds:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19036 |
| trainingTime: |
100 |
|
listget |
missing/condition/value_or_state |
|
|
view
|
|
|
|
mapkeynull |
success |
0 |
34.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapkeynull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12828 |
| detectionTime: |
23 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
<null>:
1
Object:
2
HashMap:
1
CheckKeyNotNull:
1 |
| trainingLoadTime: |
21202 |
| trainingTime: |
28 |
|
mapkeynull |
missing/condition/null_check |
|
|
view
|
|
|
|
mapnull |
success |
2 |
33.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapnull |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11725 |
| detectionTime: |
60 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
Object:
2
Contains:
1
Map:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
21521 |
| trainingTime: |
72 |
|
mapnull |
missing/condition/value_or_state |
|
|
view
|
|
|
|
maybenull |
success |
0 |
29.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
maybenull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
29.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10774 |
| detectionTime: |
26 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<null>:
1
Object:
2
CheckNotNull:
1 |
| trainingLoadTime: |
17786 |
| trainingTime: |
56 |
|
maybenull |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
nofile |
success |
2 |
35.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
nofile |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13356 |
| detectionTime: |
62 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Path:
1
StandardOpenOption:
1
Files:
1
CREATE:
1
Object:
1
FileCreate:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
22053 |
| trainingTime: |
122 |
|
nofile |
missing/condition/value_or_state |
|
|
view
|
|
|
|
pack-1 |
success |
2 |
32.0s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10432 |
| detectionTime: |
109 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
PackBeforeVisible:
1
JFrame:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20858 |
| trainingTime: |
87 |
|
pack-1 |
misplaced/call |
|
|
view
|
|
|
|
pack-2 |
success |
2 |
32.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11528 |
| detectionTime: |
42 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Dimension:
1
Object:
1
PackBeforeVisible:
1
JFrame:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20300 |
| trainingTime: |
67 |
|
pack-2 |
missing/call |
|
|
view
|
|
|
|
repetitive |
success |
3 |
32.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
repetitive |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10489 |
| detectionTime: |
150 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Collection:
1
Object:
1
OnlyOnce:
1
Iterator:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
20958 |
| trainingTime: |
68 |
|
repetitive |
superfluous/iteration |
|
|
view
|
|
|
|
setfirst |
success |
2 |
30.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
setfirst |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10069 |
| detectionTime: |
57 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
IsNotEmpty:
1
Set:
1
Iterator:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20376 |
| trainingTime: |
81 |
|
setfirst |
missing/condition/value_or_state |
|
|
view
|
|
|
|
supresserror |
success |
2 |
26.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
supresserror |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
26.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
7659 |
| detectionTime: |
112 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CatchSpecific:
1
Target:
1
Object:
1
java.text.ParseException:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18178 |
| trainingTime: |
40 |
|
supresserror |
superfluous/exception handling |
|
|
view
|
|
|
|
toorestricitve |
success |
0 |
34.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
toorestricitve |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
34.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9906 |
| detectionTime: |
38 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Iterate:
1
List:
1
Object:
1 |
| trainingLoadTime: |
23757 |
| trainingTime: |
84 |
|
toorestrictive |
superfluous/condition/value_or_state |
|
|
view
|
|
|
|
unsynchronized |
success |
2 |
33.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
unsynchronized |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11862 |
| detectionTime: |
61 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
{exception@4, exception@7, exception@3}:
1
Object:
1
HashMap:
1
<ANY>:
1
Synchronized:
2
map:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20766 |
| trainingTime: |
90 |
|
unsynchronized |
missing/condition/threading |
|
|
view
|
|
|
|
wait-loop |
success |
2 |
31.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
wait-loop |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
8628 |
| detectionTime: |
100 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Target:
1
Object:
2
<ANY>:
1
{exception@8, exception@3, exception@5, exception@1}:
1
WaitLoop:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
21914 |
| trainingTime: |
43 |
|
wait-loop |
missing/iteration |
|
|
view
|
|
