|
aclang |
587 |
success |
10 |
31.0s |
×
Run Details |
|
| Project: |
aclang |
| Version: |
587 |
| Result: |
success |
| # of Findings: |
10 |
| Runtime: |
31.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11047 |
| detectionTime: |
368 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
8 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
77 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
NullTextNull:
2
String:
1
StrBuilder:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
18739 |
| trainingTime: |
179 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
acmath |
998 |
success |
20 |
32.5s |
×
Run Details |
|
| Project: |
acmath |
| Version: |
998 |
| Result: |
success |
| # of Findings: |
20 |
| Runtime: |
32.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13056 |
| detectionTime: |
271 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
10 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Line:
1
Object:
1
CheckV3DNull:
1
Vector3D:
1 |
| numberOfViolations: |
10 |
| trainingLoadTime: |
18821 |
| trainingTime: |
40 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
adempiere |
1312 |
success |
0 |
29.8s |
×
Run Details |
|
| Project: |
adempiere |
| Version: |
1312 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
29.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11972 |
| detectionTime: |
35 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
12 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
SpecifyEncryptEncoding:
1
String:
1 |
| trainingLoadTime: |
17303 |
| trainingTime: |
25 |
|
1 |
missing/call
superfluous/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/call
superfluous/call |
|
|
view
|
|
|
alibaba-druid |
e10f28 |
success |
6 |
31.0s |
×
Run Details |
|
| Project: |
alibaba-druid |
| Version: |
e10f28 |
| Result: |
success |
| # of Findings: |
6 |
| Runtime: |
31.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13655 |
| detectionTime: |
132 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
9 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RSAPrivateKeySpec:
1
Object:
1
Reinitialize:
1
java.security.InvalidKeyException:
1
PublicKey:
1
BigInteger:
1
String:
1
Cipher:
1
RSAPublicKey:
1
PrivateKey:
1
KeyFactory:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
16671 |
| trainingTime: |
64 |
|
1 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/exception handling |
|
|
view
|
|
|
closure |
114 |
success |
11 |
30.2s |
×
Run Details |
|
| Project: |
closure |
| Version: |
114 |
| Result: |
success |
| # of Findings: |
11 |
| Runtime: |
30.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10530 |
| detectionTime: |
238 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
10 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
30 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<null>:
1
Object:
1
UnionTypeBuilder:
1
JSType:
1
IsNotType:
1 |
| numberOfViolations: |
11 |
| trainingLoadTime: |
18940 |
| trainingTime: |
38 |
|
1 |
superfluous/condition/null_check |
|
|
view
|
|
|
|
319 |
success |
2 |
35.7s |
×
Run Details |
|
| Project: |
closure |
| Version: |
319 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
17497 |
| detectionTime: |
477 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
237 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
org.kohsuke.args4j.CmdLineException:
1
String:
1
<null>:
1
Object:
1
HandleException:
1
Parameters:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17304 |
| trainingTime: |
42 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
884 |
success |
25 |
32.8s |
×
Run Details |
|
| Project: |
closure |
| Version: |
884 |
| Result: |
success |
| # of Findings: |
25 |
| Runtime: |
32.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14357 |
| detectionTime: |
595 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
26 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
39 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckNull:
1
Set:
1
String:
1
ObjectType:
1
Object:
2
Iterator:
1
ImmutableSet:
1 |
| numberOfViolations: |
25 |
| trainingLoadTime: |
17320 |
| trainingTime: |
66 |
|
3 |
missing/condition/null_check |
|
|
view
|
|
|
httpclient |
302 |
success |
4 |
37.2s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
302 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
37.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13838 |
| detectionTime: |
189 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
18 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
22 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HttpConnection:
1
HttpState:
1
java.io.IOException:
1
Object:
1
HttpMethod:
1
org.apache.commons.httpclient.HttpRecoverableException:
1
CloseConnection:
1
java.lang.RuntimeException:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
21521 |
| trainingTime: |
136 |
|
1 |
missing/call |
|
|
view
|
|
|
|
444 |
success |
47 |
36.4s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
444 |
| Result: |
success |
| # of Findings: |
47 |
| Runtime: |
36.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
17554 |
| detectionTime: |
266 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
23 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
SetHostAuthRequested:
1
Object:
1
AuthState:
1
HttpMethod:
1 |
| numberOfViolations: |
23 |
| trainingLoadTime: |
18059 |
| trainingTime: |
48 |
|
2 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3 |
missing/call |
|
|
view
|
|
|
|
452 |
success |
1 |
40.0s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
452 |
| Result: |
success |
| # of Findings: |
1 |
| Runtime: |
40.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
17188 |
| detectionTime: |
344 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
4 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
SimpleDateFormat:
1
Object:
1
Locale:
1
String:
1
US:
1
SetLocale:
1
Date:
1
TimeZone:
1 |
| numberOfViolations: |
1 |
| trainingLoadTime: |
21234 |
| trainingTime: |
96 |
|
4 |
missing/call
superfluous/call |
|
|
view
|
|
|
itext |
5091 |
success |
11 |
60.3s |
×
Run Details |
|
| Project: |
itext |
| Version: |
5091 |
| Result: |
success |
| # of Findings: |
11 |
| Runtime: |
60.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16608 |
| detectionTime: |
1050 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
25 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
403 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
X509Certificate:
1
String:
1
HandleInvalidKey:
1
Cipher:
1
Object:
1
java.security.InvalidKeyException:
1
PublicKey:
1 |
| numberOfViolations: |
11 |
| trainingLoadTime: |
40934 |
| trainingTime: |
39 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
jackrabbit |
1601 |
success |
14 |
30.9s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1601 |
| Result: |
success |
| # of Findings: |
14 |
| Runtime: |
30.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12041 |
| detectionTime: |
161 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
13 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
42 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
CheckStateNotNull:
1
ItemData:
1
Object:
1
ItemId:
1
ItemState:
1
InvalidItemStateException:
1 |
| numberOfViolations: |
14 |
| trainingLoadTime: |
17976 |
| trainingTime: |
138 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
1678 |
success |
2 |
29.1s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1678 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
29.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11724 |
| detectionTime: |
222 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
5 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HashMap:
1
Object:
2
Class:
1
CheckMapGetNotNull:
1
Integer:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16797 |
| trainingTime: |
71 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
1694 |
success |
3 |
30.6s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1694 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
30.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10773 |
| detectionTime: |
72 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
19 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
ReplaceVariablesInLongAttribute:
2
Long:
1
<null>:
1
RepositoryConfigurationParser:
1
Element:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19129 |
| trainingTime: |
117 |
|
3a |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3b |
missing/call |
|
|
view
|
|
|
|
1750 |
success |
2 |
34.5s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1750 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13459 |
| detectionTime: |
178 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
53 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<ANY>:
1
InputStream:
1
CloseInputStream:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20509 |
| trainingTime: |
90 |
|
5 |
missing/call |
|
|
view
|
|
|
jfreechart |
1025 |
success |
2 |
31.6s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
1025 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12168 |
| detectionTime: |
892 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3840 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
16 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
lv2d:
1
Object:
1
PathIterator:
1
Arrays:
1
<null>:
1
lv2b:
1
GeneralPath:
1
Path2D$Float$CopyIterator:
1
GetOnlyOnePathIterator:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17736 |
| trainingTime: |
490 |
|
1 |
missing/call |
|
|
view
|
|
|
|
103 |
success |
2 |
35.3s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
103 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15359 |
| detectionTime: |
390 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
57 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckForNoOwner:
1
EntityCollection:
1
AxisLabelEntity:
1
PlotRenderingInfo:
1
Object:
1
ChartRenderingInfo:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19040 |
| trainingTime: |
85 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
164 |
success |
28 |
31.6s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
164 |
| Result: |
success |
| # of Findings: |
28 |
| Runtime: |
31.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12936 |
| detectionTime: |
154 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
14 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
StatisticalCategoryDataset:
1
Number:
1
CheckMeanValueNull:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
17813 |
| trainingTime: |
70 |
|
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 |
4 |
34.5s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2183 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13467 |
| detectionTime: |
217 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
182 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckRendererForNull:
1
XYPlot:
1
XYItemRenderer:
1
Object:
1
XYDataset:
1
Collection:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
20412 |
| trainingTime: |
32 |
|
5 |
missing/condition/null_check |
|
|
view
|
|
|
|
2266 |
success |
0 |
28.5s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2266 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
28.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11317 |
| detectionTime: |
35 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
57 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CategoryPlot:
1
CategoryDataset:
1
CheckDatasetForNull:
1
Object:
1 |
| trainingLoadTime: |
16756 |
| trainingTime: |
24 |
|
6 |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
881 |
success |
14 |
34.7s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
881 |
| Result: |
success |
| # of Findings: |
14 |
| Runtime: |
34.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15309 |
| detectionTime: |
471 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
8 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
125 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Marker:
1
CheckMarkersForNull:
1
Integer:
1
Object:
2
Map:
1
ArrayList:
1 |
| numberOfViolations: |
7 |
| trainingLoadTime: |
18294 |
| trainingTime: |
77 |
|
7a |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
7b |
missing/condition/null_check |
|
|
view
|
|
|
jmrtd |
51 |
success |
8 |
32.8s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
51 |
| Result: |
success |
| # of Findings: |
8 |
| Runtime: |
32.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12308 |
| detectionTime: |
187 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
12 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
10 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CloseDataOut:
1
ByteArrayOutputStream:
1
length:
1
Util:
1
DataOutputStream:
1
Object:
1 |
| numberOfViolations: |
8 |
| trainingLoadTime: |
19641 |
| trainingTime: |
116 |
|
1 |
missing/call |
|
|
view
|
|
|
|
67 |
success |
2 |
28.8s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
67 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11687 |
| detectionTime: |
208 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
15 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
MessageDigest:
1
Util:
1
UseDecryptForDecryption:
1
Object:
1
Cipher:
1
PublicKey:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16479 |
| trainingTime: |
51 |
|
2 |
missing/condition/value_or_state |
|
|
view
|
|
|
jodatime |
1231 |
success |
2 |
29.8s |
×
Run Details |
|
| Project: |
jodatime |
| Version: |
1231 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
29.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11957 |
| detectionTime: |
197 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Interval:
1
String:
1
CheckStartDateForNull:
1
PersistentDateTime:
1
Object:
2
DateTime:
1
ResultSet:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17017 |
| trainingTime: |
128 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
lucene |
1251 |
success |
4 |
34.5s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1251 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13776 |
| detectionTime: |
165 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
74 |
| numberOfTrainingExamples: |
4 |
| numberOfUsagesInTrainingExamples: |
<ANY>:
1
RandomAccessFile:
1
BufferedIndexOutput:
1
TryCloseAndEnsureSubsequentClose:
2
file:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
20100 |
| trainingTime: |
40 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
|
1918 |
success |
2 |
34.8s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1918 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14456 |
| detectionTime: |
436 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
126 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HandleNoFirstKey:
1
Object:
2
String:
1
java.util.NoSuchElementException:
1
SortedMap:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19489 |
| trainingTime: |
30 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
207 |
success |
46 |
31.8s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
207 |
| Result: |
success |
| # of Findings: |
46 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13099 |
| detectionTime: |
381 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
105 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
39 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
StringBuffer:
1
String:
1
Object:
1
File:
1
IOException:
1
EnsureDirectoryExistsBeforeCreateFile:
1 |
| numberOfViolations: |
46 |
| trainingLoadTime: |
17540 |
| trainingTime: |
72 |
|
3 |
missing/condition/value_or_state |
|
|
view
|
|
|
|
754 |
success |
3 |
31.2s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
754 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
31.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12287 |
| detectionTime: |
257 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
30 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<null>:
1
UseKeyForMapRetrieve:
1
HashMap:
1
Object:
2
UseKeyForMapRetrieve$CreationPlaceholder:
1
Map:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
18124 |
| trainingTime: |
92 |
|
5 |
missing/condition/value_or_state |
|
|
view
|
|
|
rhino |
286251 |
success |
89 |
37.6s |
×
Run Details |
|
| Project: |
rhino |
| Version: |
286251 |
| Result: |
success |
| # of Findings: |
89 |
| Runtime: |
37.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16610 |
| detectionTime: |
838 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
259 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
53 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
TokenStream:
1
CallInitOnce:
1
String:
1
FunctionNode:
1
Object:
1
Node:
1
IRFactory:
1 |
| numberOfViolations: |
89 |
| trainingLoadTime: |
19535 |
| trainingTime: |
105 |
|
1 |
superfluous/call/duplicate |
|
|
view
|
|
|
synthetic |
alreadyondte |
success |
2 |
31.0s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
alreadyondte |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13112 |
| detectionTime: |
43 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RunDirectly:
2
Object:
1
String:
1
JButton:
1
RunDirectly$1:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17464 |
| trainingTime: |
36 |
|
alreadyondte |
superfluous/condition/environment |
|
|
view
|
|
|
|
callondte |
success |
1 |
30.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
callondte |
| Result: |
success |
| # of Findings: |
1 |
| Runtime: |
30.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12260 |
| detectionTime: |
91 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RunOnEDT:
1
Object:
1
SwingUtilities:
1
RunOnEDT$1:
1 |
| numberOfViolations: |
1 |
| trainingLoadTime: |
17676 |
| trainingTime: |
93 |
|
callondte |
missing/condition/environment |
|
|
view
|
|
|
|
close-1 |
success |
2 |
28.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11157 |
| detectionTime: |
38 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<ANY>:
1
String:
1
TryFinallyClose:
1
<null>:
1
Object:
1
OutputStream:
1
PrintWriter:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17055 |
| trainingTime: |
57 |
|
close-1 |
missing/call |
|
|
view
|
|
|
|
close-2 |
success |
2 |
31.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13004 |
| detectionTime: |
70 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<ANY>:
1
String:
1
TryFinallyClose:
1
<null>:
1
Object:
1
OutputStream:
1
PrintWriter:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17700 |
| trainingTime: |
45 |
|
close-2 |
missing/exception handling |
|
|
view
|
|
|
|
cme |
success |
2 |
32.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
cme |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12934 |
| detectionTime: |
44 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
Iterator:
1
DoNotModify:
1
Collection:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18772 |
| trainingTime: |
33 |
|
cme |
superfluous/call |
|
|
view
|
|
|
|
deadlock |
success |
3 |
33.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
deadlock |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
33.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15223 |
| detectionTime: |
96 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<ANY>:
1
Object:
2
Synchronized:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
17772 |
| trainingTime: |
35 |
|
deadlock |
superfluous/condition/threading |
|
|
view
|
|
|
|
fisexists |
success |
2 |
30.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
fisexists |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12669 |
| detectionTime: |
74 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
CheckFileExists:
1
FileInputStream:
1
File:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17586 |
| trainingTime: |
30 |
|
fisexists |
missing/condition/value_or_state |
|
|
view
|
|
|
|
flip-1 |
success |
1 |
29.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-1 |
| Result: |
success |
| # of Findings: |
1 |
| Runtime: |
29.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12394 |
| detectionTime: |
36 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
FlipBuffer:
1
HeapByteBuffer:
1
ByteBuffer:
1
length:
1
Object:
1 |
| numberOfViolations: |
1 |
| trainingLoadTime: |
17040 |
| trainingTime: |
39 |
|
flip-1 |
missing/call |
|
|
view
|
|
|
|
flip-2 |
success |
2 |
31.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12840 |
| detectionTime: |
80 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
FlipBuffer:
1
HeapByteBuffer:
1
length:
1
FileChannel:
1
ByteBuffer:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18004 |
| trainingTime: |
76 |
|
flip-2 |
missing/call |
|
|
view
|
|
|
|
flush |
success |
3 |
30.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flush |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
30.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12306 |
| detectionTime: |
179 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
WRITE:
1
<ANY>:
1
Object:
1
FileChannel:
1
ByteBuffer:
1
Path:
1
StandardOpenOption:
1
CloseChannel:
1
<null>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
17888 |
| trainingTime: |
157 |
|
flush |
missing/call |
|
|
view
|
|
|
|
hasnext |
success |
2 |
30.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
hasnext |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12460 |
| detectionTime: |
64 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
Iterator:
1
Collection:
1
HasNext:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17493 |
| trainingTime: |
67 |
|
hasnext |
missing/condition/value_or_state |
|
|
view
|
|
|
|
latenullcheck |
success |
2 |
31.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
latenullcheck |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10652 |
| detectionTime: |
54 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
NullGuard:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20593 |
| trainingTime: |
60 |
|
latenullcheck |
misplaced/condition/null_check |
|
|
view
|
|
|
|
listget |
success |
2 |
30.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
listget |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9882 |
| detectionTime: |
138 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<null>:
1
CheckBounds:
1
List:
1
Object:
2 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20046 |
| trainingTime: |
84 |
|
listget |
missing/condition/value_or_state |
|
|
view
|
|
|
|
mapkeynull |
success |
0 |
30.0s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapkeynull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
30.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11988 |
| detectionTime: |
24 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<null>:
1
HashMap:
1
CheckKeyNotNull:
1
String:
1
Object:
2 |
| trainingLoadTime: |
17564 |
| trainingTime: |
51 |
|
mapkeynull |
missing/condition/null_check |
|
|
view
|
|
|
|
mapnull |
success |
2 |
32.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapnull |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12234 |
| detectionTime: |
92 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
String:
1
Contains:
1
Map:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19671 |
| trainingTime: |
110 |
|
mapnull |
missing/condition/value_or_state |
|
|
view
|
|
|
|
maybenull |
success |
0 |
32.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
maybenull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
32.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13308 |
| detectionTime: |
22 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
CheckNotNull:
1 |
| trainingLoadTime: |
18543 |
| trainingTime: |
84 |
|
maybenull |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
nofile |
success |
2 |
30.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
nofile |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12226 |
| detectionTime: |
50 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Path:
1
FileCreate:
1
CREATE:
1
Object:
1
StandardOpenOption:
1
Files:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17670 |
| trainingTime: |
53 |
|
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: |
13253 |
| detectionTime: |
61 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
JFrame:
1
Object:
1
PackBeforeVisible:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18249 |
| trainingTime: |
66 |
|
pack-1 |
misplaced/call |
|
|
view
|
|
|
|
pack-2 |
success |
2 |
29.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
29.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12547 |
| detectionTime: |
39 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
JFrame:
1
Object:
1
PackBeforeVisible:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16366 |
| trainingTime: |
73 |
|
pack-2 |
missing/call |
|
|
view
|
|
|
|
repetitive |
success |
3 |
36.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
repetitive |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
36.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12780 |
| detectionTime: |
61 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
Iterator:
1
OnlyOnce:
1
Collection:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
22835 |
| trainingTime: |
107 |
|
repetitive |
superfluous/iteration |
|
|
view
|
|
|
|
setfirst |
success |
2 |
29.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
setfirst |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
29.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12500 |
| detectionTime: |
66 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
Iterator:
1
IsNotEmpty:
1
Set:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16775 |
| trainingTime: |
35 |
|
setfirst |
missing/condition/value_or_state |
|
|
view
|
|
|
|
supresserror |
success |
2 |
30.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
supresserror |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11444 |
| detectionTime: |
55 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
java.text.ParseException:
1
CatchSpecific:
1
Target:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18785 |
| trainingTime: |
64 |
|
supresserror |
superfluous/exception handling |
|
|
view
|
|
|
|
toorestricitve |
success |
0 |
28.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
toorestricitve |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
28.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9940 |
| detectionTime: |
24 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Iterate:
1
List:
1
Object:
1 |
| trainingLoadTime: |
18115 |
| trainingTime: |
51 |
|
toorestrictive |
superfluous/condition/value_or_state |
|
|
view
|
|
|
|
unsynchronized |
success |
2 |
28.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
unsynchronized |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10417 |
| detectionTime: |
41 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<ANY>:
1
String:
1
map:
1
Synchronized:
2
HashMap:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17684 |
| trainingTime: |
67 |
|
unsynchronized |
missing/condition/threading |
|
|
view
|
|
|
|
wait-loop |
success |
2 |
29.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
wait-loop |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
29.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11944 |
| detectionTime: |
61 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
<ANY>:
1
WaitLoop:
1
Target:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17402 |
| trainingTime: |
51 |
|
wait-loop |
missing/iteration |
|
|
view
|
|
