|
aclang |
587 |
success |
60 |
38.7s |
×
Run Details |
|
| Project: |
aclang |
| Version: |
587 |
| Result: |
success |
| # of Findings: |
60 |
| Runtime: |
38.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15830 |
| detectionTime: |
480 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
46 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
204 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
StrBuilder:
2
String:
1
Object:
1
NullTextNull:
1 |
| numberOfViolations: |
30 |
| trainingLoadTime: |
21838 |
| trainingTime: |
66 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
acmath |
998 |
success |
42 |
35.4s |
×
Run Details |
|
| Project: |
acmath |
| Version: |
998 |
| Result: |
success |
| # of Findings: |
42 |
| Runtime: |
35.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12587 |
| detectionTime: |
204 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
22 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckV3DNull:
1
Line:
1
Vector3D:
1
Object:
1 |
| numberOfViolations: |
21 |
| trainingLoadTime: |
22195 |
| trainingTime: |
28 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
adempiere |
1312 |
success |
0 |
35.1s |
×
Run Details |
|
| Project: |
adempiere |
| Version: |
1312 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
35.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14445 |
| detectionTime: |
22 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
21 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
Object:
1
SpecifyEncryptEncoding:
1 |
| trainingLoadTime: |
20306 |
| trainingTime: |
38 |
|
1 |
missing/call
superfluous/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/call
superfluous/call |
|
|
view
|
|
|
alibaba-druid |
e10f28 |
success |
11 |
35.7s |
×
Run Details |
|
| Project: |
alibaba-druid |
| Version: |
e10f28 |
| Result: |
success |
| # of Findings: |
11 |
| Runtime: |
35.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13245 |
| detectionTime: |
151 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
8 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
13 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
BigInteger:
1
Cipher:
1
Reinitialize:
1
PublicKey:
1
Object:
1
RSAPrivateKeySpec:
1
PrivateKey:
1
KeyFactory:
1
String:
1
RSAPublicKey:
1
java.security.InvalidKeyException:
1 |
| numberOfViolations: |
7 |
| trainingLoadTime: |
21767 |
| trainingTime: |
80 |
|
1 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/exception handling |
|
|
view
|
|
|
closure |
114 |
success |
11 |
39.8s |
×
Run Details |
|
| Project: |
closure |
| Version: |
114 |
| Result: |
success |
| # of Findings: |
11 |
| Runtime: |
39.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
19276 |
| detectionTime: |
184 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
10 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
30 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
IsNotType:
1
JSType:
1
Object:
1
<null>:
1
UnionTypeBuilder:
1 |
| numberOfViolations: |
11 |
| trainingLoadTime: |
19633 |
| trainingTime: |
70 |
|
1 |
superfluous/condition/null_check |
|
|
view
|
|
|
|
319 |
success |
2 |
34.5s |
×
Run Details |
|
| Project: |
closure |
| Version: |
319 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15576 |
| detectionTime: |
346 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
266 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HandleException:
1
String:
1
Object:
1
Parameters:
1
org.kohsuke.args4j.CmdLineException:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18083 |
| trainingTime: |
55 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
884 |
success |
25 |
33.6s |
×
Run Details |
|
| Project: |
closure |
| Version: |
884 |
| Result: |
success |
| # of Findings: |
25 |
| Runtime: |
33.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13305 |
| detectionTime: |
432 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
25 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
45 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ImmutableSet:
1
Set:
1
CheckNull:
1
String:
1
Object:
2
Iterator:
1
ObjectType:
1 |
| numberOfViolations: |
25 |
| trainingLoadTime: |
19481 |
| trainingTime: |
69 |
|
3 |
missing/condition/null_check |
|
|
view
|
|
|
httpclient |
302 |
success |
6 |
37.4s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
302 |
| Result: |
success |
| # of Findings: |
6 |
| Runtime: |
37.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14521 |
| detectionTime: |
340 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
18 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CloseConnection:
1
Object:
1
HttpState:
1
org.apache.commons.httpclient.HttpRecoverableException:
1
java.io.IOException:
1
HttpConnection:
1
java.lang.RuntimeException:
1
HttpMethod:
1 |
| numberOfViolations: |
6 |
| trainingLoadTime: |
21846 |
| trainingTime: |
261 |
|
1 |
missing/call |
|
|
view
|
|
|
|
444 |
success |
32 |
37.3s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
444 |
| Result: |
success |
| # of Findings: |
32 |
| Runtime: |
37.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15186 |
| detectionTime: |
263 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
16 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HttpMethod:
1
AuthState:
1
Object:
1
SetHostAuthRequested:
1 |
| numberOfViolations: |
16 |
| trainingLoadTime: |
21357 |
| trainingTime: |
49 |
|
2 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3 |
missing/call |
|
|
view
|
|
|
|
452 |
success |
4 |
31.4s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
452 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
31.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9949 |
| detectionTime: |
218 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
7 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
SetLocale:
1
String:
1
Object:
1
SimpleDateFormat:
1
Locale:
1
US:
1
TimeZone:
1
Date:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
20659 |
| trainingTime: |
47 |
|
4 |
missing/call
superfluous/call |
|
|
view
|
|
|
itext |
5091 |
success |
13 |
42.9s |
×
Run Details |
|
| Project: |
itext |
| Version: |
5091 |
| Result: |
success |
| # of Findings: |
13 |
| Runtime: |
42.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
20615 |
| detectionTime: |
700 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
21 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
484 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HandleInvalidKey:
1
Cipher:
1
PublicKey:
1
Object:
1
String:
1
X509Certificate:
1
java.security.InvalidKeyException:
1 |
| numberOfViolations: |
13 |
| trainingLoadTime: |
21108 |
| trainingTime: |
78 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
jackrabbit |
1601 |
success |
5 |
34.1s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1601 |
| Result: |
success |
| # of Findings: |
5 |
| Runtime: |
34.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12914 |
| detectionTime: |
154 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
53 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
InvalidItemStateException:
1
ItemState:
1
String:
1
Object:
2
ItemData:
1
CheckStateNotNull:
1
ItemId:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
20684 |
| trainingTime: |
28 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
1678 |
success |
3 |
32.8s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1678 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
32.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13213 |
| detectionTime: |
144 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckMapGetNotNull:
1
Integer:
1
Object:
2
Class:
1
HashMap:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
19129 |
| trainingTime: |
48 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
1694 |
success |
3 |
36.3s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1694 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
36.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14268 |
| detectionTime: |
95 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
19 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ReplaceVariablesInLongAttribute:
2
String:
1
Element:
1
RepositoryConfigurationParser:
1
Long:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
21559 |
| trainingTime: |
59 |
|
3a |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3b |
missing/call |
|
|
view
|
|
|
|
1750 |
success |
7 |
33.5s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1750 |
| Result: |
success |
| # of Findings: |
7 |
| Runtime: |
33.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14920 |
| detectionTime: |
232 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
6 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
83 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CloseInputStream:
1
Object:
1
<ANY>:
1
InputStream:
1 |
| numberOfViolations: |
7 |
| trainingLoadTime: |
17945 |
| trainingTime: |
42 |
|
5 |
missing/call |
|
|
view
|
|
|
jfreechart |
1025 |
success |
10 |
35.9s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
1025 |
| Result: |
success |
| # of Findings: |
10 |
| Runtime: |
35.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15606 |
| detectionTime: |
303 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
76 |
| numberOfPatterns: |
2 |
| numberOfTargets: |
22 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
lv2b:
1
Object:
1
lv2d:
1
GeneralPath:
1
PathIterator:
1
Arrays:
1
GetOnlyOnePathIterator:
1
<null>:
1 |
| numberOfViolations: |
10 |
| trainingLoadTime: |
19200 |
| trainingTime: |
367 |
|
1 |
missing/call |
|
|
view
|
|
|
|
103 |
success |
0 |
34.4s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
103 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
34.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15760 |
| detectionTime: |
23 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
57 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
EntityCollection:
1
Object:
1
AxisLabelEntity:
1
ChartRenderingInfo:
1
PlotRenderingInfo:
1
CheckForNoOwner:
1 |
| trainingLoadTime: |
18169 |
| trainingTime: |
49 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
164 |
success |
44 |
34.1s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
164 |
| Result: |
success |
| # of Findings: |
44 |
| Runtime: |
34.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15138 |
| detectionTime: |
139 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
12 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Number:
1
StatisticalCategoryDataset:
1
CheckMeanValueNull:
1
Object:
1 |
| numberOfViolations: |
11 |
| trainingLoadTime: |
18451 |
| trainingTime: |
49 |
|
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 |
0 |
34.3s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2183 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
34.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15586 |
| detectionTime: |
22 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
232 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
XYDataset:
1
Object:
1
Collection:
1
XYPlot:
1
XYItemRenderer:
1
CheckRendererForNull:
1 |
| trainingLoadTime: |
18301 |
| trainingTime: |
28 |
|
5 |
missing/condition/null_check |
|
|
view
|
|
|
|
2266 |
success |
0 |
36.9s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2266 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
36.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15869 |
| detectionTime: |
35 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
68 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckDatasetForNull:
1
Object:
1
CategoryPlot:
1
CategoryDataset:
1 |
| trainingLoadTime: |
20639 |
| trainingTime: |
53 |
|
6 |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
881 |
success |
46 |
38.8s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
881 |
| Result: |
success |
| # of Findings: |
46 |
| Runtime: |
38.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15645 |
| detectionTime: |
387 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
26 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
172 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckMarkersForNull:
1
Marker:
1
Map:
1
ArrayList:
1
Integer:
1
Object:
2 |
| numberOfViolations: |
23 |
| trainingLoadTime: |
22270 |
| trainingTime: |
108 |
|
7a |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
7b |
missing/condition/null_check |
|
|
view
|
|
|
jmrtd |
51 |
success |
11 |
32.5s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
51 |
| Result: |
success |
| # of Findings: |
11 |
| Runtime: |
32.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13211 |
| detectionTime: |
118 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
15 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Util:
1
Object:
1
DataOutputStream:
1
CloseDataOut:
1
ByteArrayOutputStream:
1
length:
1 |
| numberOfViolations: |
11 |
| trainingLoadTime: |
18626 |
| trainingTime: |
117 |
|
1 |
missing/call |
|
|
view
|
|
|
|
67 |
success |
3 |
35.3s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
67 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
35.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14484 |
| detectionTime: |
196 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
18 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Util:
1
Cipher:
1
PublicKey:
1
Object:
1
MessageDigest:
1
UseDecryptForDecryption:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
20212 |
| trainingTime: |
52 |
|
2 |
missing/condition/value_or_state |
|
|
view
|
|
|
jodatime |
1231 |
success |
2 |
39.1s |
×
Run Details |
|
| Project: |
jodatime |
| Version: |
1231 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
39.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15820 |
| detectionTime: |
96 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckStartDateForNull:
1
String:
1
Object:
2
DateTime:
1
ResultSet:
1
PersistentDateTime:
1
Interval:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
22689 |
| trainingTime: |
117 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
lucene |
1251 |
success |
2 |
34.1s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1251 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14141 |
| detectionTime: |
265 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
82 |
| numberOfTrainingExamples: |
4 |
| numberOfUsagesInTrainingExamples: |
TryCloseAndEnsureSubsequentClose:
2
file:
1
BufferedIndexOutput:
2
<ANY>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19376 |
| trainingTime: |
31 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
|
1918 |
success |
2 |
35.6s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1918 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15450 |
| detectionTime: |
284 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
144 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
SortedMap:
1
HandleNoFirstKey:
1
String:
1
Object:
2
java.util.NoSuchElementException:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19536 |
| trainingTime: |
49 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
207 |
success |
124 |
36.4s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
207 |
| Result: |
success |
| # of Findings: |
124 |
| Runtime: |
36.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13640 |
| detectionTime: |
322 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
148 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
41 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
File:
1
String:
1
Object:
1
IOException:
1
EnsureDirectoryExistsBeforeCreateFile:
1
StringBuffer:
1 |
| numberOfViolations: |
124 |
| trainingLoadTime: |
21880 |
| trainingTime: |
125 |
|
3 |
missing/condition/value_or_state |
|
|
view
|
|
|
|
754 |
success |
3 |
34.6s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
754 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
34.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15529 |
| detectionTime: |
144 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
33 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
UseKeyForMapRetrieve$CreationPlaceholder:
1
HashMap:
1
Map:
1
UseKeyForMapRetrieve:
1
<null>:
1
Object:
2 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
18556 |
| trainingTime: |
54 |
|
5 |
missing/condition/value_or_state |
|
|
view
|
|
|
rhino |
286251 |
success |
10 |
34.3s |
×
Run Details |
|
| Project: |
rhino |
| Version: |
286251 |
| Result: |
success |
| # of Findings: |
10 |
| Runtime: |
34.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15259 |
| detectionTime: |
523 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
74 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
58 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
Node:
1
IRFactory:
1
TokenStream:
1
CallInitOnce:
1
FunctionNode:
1
String:
1 |
| numberOfViolations: |
10 |
| trainingLoadTime: |
17854 |
| trainingTime: |
111 |
|
1 |
superfluous/call/duplicate |
|
|
view
|
|
|
synthetic |
alreadyondte |
success |
3 |
34.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
alreadyondte |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
34.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12937 |
| detectionTime: |
103 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RunDirectly:
2
JButton:
1
RunDirectly$1:
1
Object:
1
String:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
20639 |
| trainingTime: |
101 |
|
alreadyondte |
superfluous/condition/environment |
|
|
view
|
|
|
|
callondte |
success |
1 |
34.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
callondte |
| Result: |
success |
| # of Findings: |
1 |
| Runtime: |
34.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13996 |
| detectionTime: |
81 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RunOnEDT:
1
RunOnEDT$1:
1
SwingUtilities:
1
Object:
1 |
| numberOfViolations: |
1 |
| trainingLoadTime: |
20111 |
| trainingTime: |
78 |
|
callondte |
missing/condition/environment |
|
|
view
|
|
|
|
close-1 |
success |
2 |
32.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12961 |
| detectionTime: |
46 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
Object:
1
Writer:
1
PrintWriter:
1
OutputStream:
1
<ANY>:
1
TryFinallyClose:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19159 |
| trainingTime: |
112 |
|
close-1 |
missing/call |
|
|
view
|
|
|
|
close-2 |
success |
2 |
32.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13847 |
| detectionTime: |
66 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
String:
1
Object:
1
Writer:
1
PrintWriter:
1
OutputStream:
1
<ANY>:
1
TryFinallyClose:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17719 |
| trainingTime: |
63 |
|
close-2 |
missing/exception handling |
|
|
view
|
|
|
|
cme |
success |
3 |
33.0s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
cme |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
33.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14180 |
| detectionTime: |
59 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Iterator:
1
DoNotModify:
1
Object:
1
Collection:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
18221 |
| trainingTime: |
61 |
|
cme |
superfluous/call |
|
|
view
|
|
|
|
deadlock |
success |
3 |
32.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
deadlock |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
32.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12340 |
| detectionTime: |
74 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
<ANY>:
1
Synchronized:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
19482 |
| trainingTime: |
89 |
|
deadlock |
superfluous/condition/threading |
|
|
view
|
|
|
|
fisexists |
success |
2 |
31.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
fisexists |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10978 |
| detectionTime: |
57 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckFileExists:
1
FileInputStream:
1
File:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20346 |
| trainingTime: |
79 |
|
fisexists |
missing/condition/value_or_state |
|
|
view
|
|
|
|
flip-1 |
success |
2 |
31.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13384 |
| detectionTime: |
37 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
FlipBuffer:
1
length:
1
Object:
1
ByteBuffer:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17376 |
| trainingTime: |
37 |
|
flip-1 |
missing/call |
|
|
view
|
|
|
|
flip-2 |
success |
2 |
34.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13664 |
| detectionTime: |
42 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
FlipBuffer:
1
FileChannel:
1
ByteBuffer:
1
Object:
1
length:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20066 |
| trainingTime: |
71 |
|
flip-2 |
missing/call |
|
|
view
|
|
|
|
flush |
success |
3 |
37.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flush |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
37.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15763 |
| detectionTime: |
99 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
StandardOpenOption:
1
FileChannel:
1
Path:
1
CloseChannel:
1
ByteBuffer:
1
<ANY>:
1
WRITE:
1
<null>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
20884 |
| trainingTime: |
108 |
|
flush |
missing/call |
|
|
view
|
|
|
|
hasnext |
success |
3 |
36.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
hasnext |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
36.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14058 |
| detectionTime: |
56 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Iterator:
1
HasNext:
1
Object:
1
Collection:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
21435 |
| trainingTime: |
69 |
|
hasnext |
missing/condition/value_or_state |
|
|
view
|
|
|
|
latenullcheck |
success |
2 |
35.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
latenullcheck |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11927 |
| detectionTime: |
47 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
NullGuard:
1
Object:
2 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
23115 |
| trainingTime: |
54 |
|
latenullcheck |
misplaced/condition/null_check |
|
|
view
|
|
|
|
listget |
success |
2 |
33.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
listget |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12088 |
| detectionTime: |
149 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
List:
1
CheckBounds:
1
Object:
2
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20938 |
| trainingTime: |
45 |
|
listget |
missing/condition/value_or_state |
|
|
view
|
|
|
|
mapkeynull |
success |
0 |
35.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapkeynull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
35.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13807 |
| detectionTime: |
25 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckKeyNotNull:
1
HashMap:
1
String:
1
Object:
2
<null>:
1 |
| trainingLoadTime: |
21410 |
| trainingTime: |
52 |
|
mapkeynull |
missing/condition/null_check |
|
|
view
|
|
|
|
mapnull |
success |
2 |
34.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapnull |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11940 |
| detectionTime: |
41 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Contains:
1
String:
1
Map:
1
Object:
2 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
21536 |
| trainingTime: |
41 |
|
mapnull |
missing/condition/value_or_state |
|
|
view
|
|
|
|
maybenull |
success |
0 |
31.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
maybenull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
31.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12400 |
| detectionTime: |
20 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckNotNull:
1
Object:
2 |
| trainingLoadTime: |
19015 |
| trainingTime: |
116 |
|
maybenull |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
nofile |
success |
2 |
36.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
nofile |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
36.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12589 |
| detectionTime: |
145 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Files:
1
Object:
1
StandardOpenOption:
1
CREATE:
1
Path:
1
FileCreate:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
23063 |
| trainingTime: |
99 |
|
nofile |
missing/condition/value_or_state |
|
|
view
|
|
|
|
pack-1 |
success |
3 |
29.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-1 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
29.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
9763 |
| detectionTime: |
67 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
PackBeforeVisible:
1
JFrame:
1
Object:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
19497 |
| trainingTime: |
31 |
|
pack-1 |
misplaced/call |
|
|
view
|
|
|
|
pack-2 |
success |
2 |
31.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11912 |
| detectionTime: |
46 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
PackBeforeVisible:
1
JFrame:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19496 |
| trainingTime: |
65 |
|
pack-2 |
missing/call |
|
|
view
|
|
|
|
repetitive |
success |
4 |
30.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
repetitive |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
30.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11433 |
| detectionTime: |
102 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Iterator:
1
Collection:
1
Object:
1
OnlyOnce:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
18559 |
| trainingTime: |
62 |
|
repetitive |
superfluous/iteration |
|
|
view
|
|
|
|
setfirst |
success |
2 |
31.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
setfirst |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11279 |
| detectionTime: |
69 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Set:
1
Iterator:
1
IsNotEmpty:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20002 |
| trainingTime: |
91 |
|
setfirst |
missing/condition/value_or_state |
|
|
view
|
|
|
|
supresserror |
success |
2 |
33.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
supresserror |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14158 |
| detectionTime: |
41 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
java.text.ParseException:
1
CatchSpecific:
1
Object:
1
Target:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19132 |
| trainingTime: |
74 |
|
supresserror |
superfluous/exception handling |
|
|
view
|
|
|
|
toorestricitve |
success |
0 |
33.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
toorestricitve |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
33.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13611 |
| detectionTime: |
22 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Iterate:
1
List:
1
Object:
1 |
| trainingLoadTime: |
19205 |
| trainingTime: |
30 |
|
toorestrictive |
superfluous/condition/value_or_state |
|
|
view
|
|
|
|
unsynchronized |
success |
2 |
34.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
unsynchronized |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12933 |
| detectionTime: |
73 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HashMap:
1
String:
1
Object:
1
<ANY>:
1
Synchronized:
2
map:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20735 |
| trainingTime: |
74 |
|
unsynchronized |
missing/condition/threading |
|
|
view
|
|
|
|
wait-loop |
success |
2 |
31.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
wait-loop |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13388 |
| detectionTime: |
94 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
WaitLoop:
1
Object:
2
<ANY>:
1
Target:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17389 |
| trainingTime: |
50 |
|
wait-loop |
missing/iteration |
|
|
view
|
|
