|
aclang |
587 |
success |
56 |
38.4s |
×
Run Details |
|
| Project: |
aclang |
| Version: |
587 |
| Result: |
success |
| # of Findings: |
56 |
| Runtime: |
38.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13563 |
| detectionTime: |
329 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
50 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
204 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
StrBuilder:
1
Object:
1
String:
1
NullTextNull:
2 |
| numberOfViolations: |
28 |
| trainingLoadTime: |
23862 |
| trainingTime: |
139 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
acmath |
998 |
success |
36 |
33.1s |
×
Run Details |
|
| Project: |
acmath |
| Version: |
998 |
| Result: |
success |
| # of Findings: |
36 |
| Runtime: |
33.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11018 |
| detectionTime: |
287 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
18 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Vector3D:
1
CheckV3DNull:
1
Object:
1
Line:
1 |
| numberOfViolations: |
18 |
| trainingLoadTime: |
21245 |
| trainingTime: |
74 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
adempiere |
1312 |
success |
0 |
30.6s |
×
Run Details |
|
| Project: |
adempiere |
| Version: |
1312 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
30.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14191 |
| detectionTime: |
27 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
21 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
SpecifyEncryptEncoding:
1
String:
1 |
| trainingLoadTime: |
16094 |
| trainingTime: |
64 |
|
1 |
missing/call
superfluous/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/call
superfluous/call |
|
|
view
|
|
|
alibaba-druid |
e10f28 |
success |
9 |
35.4s |
×
Run Details |
|
| Project: |
alibaba-druid |
| Version: |
e10f28 |
| Result: |
success |
| # of Findings: |
9 |
| Runtime: |
35.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13726 |
| detectionTime: |
172 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
5 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
13 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
RSAPrivateKeySpec:
1
PrivateKey:
1
PublicKey:
1
RSAPublicKey:
1
java.security.InvalidKeyException:
1
Cipher:
1
KeyFactory:
1
String:
1
Reinitialize:
1
BigInteger:
1 |
| numberOfViolations: |
6 |
| trainingLoadTime: |
20775 |
| trainingTime: |
200 |
|
1 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/exception handling |
|
|
view
|
|
|
closure |
114 |
success |
11 |
36.2s |
×
Run Details |
|
| Project: |
closure |
| Version: |
114 |
| Result: |
success |
| # of Findings: |
11 |
| Runtime: |
36.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14276 |
| detectionTime: |
213 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
10 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
30 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
UnionTypeBuilder:
1
<null>:
1
Object:
1
IsNotType:
1
JSType:
1 |
| numberOfViolations: |
11 |
| trainingLoadTime: |
21178 |
| trainingTime: |
75 |
|
1 |
superfluous/condition/null_check |
|
|
view
|
|
|
|
319 |
success |
2 |
38.4s |
×
Run Details |
|
| Project: |
closure |
| Version: |
319 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
38.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
17603 |
| detectionTime: |
659 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
266 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
org.kohsuke.args4j.CmdLineException:
1
String:
1
<null>:
1
HandleException:
1
Parameters:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19702 |
| trainingTime: |
45 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
884 |
success |
27 |
33.4s |
×
Run Details |
|
| Project: |
closure |
| Version: |
884 |
| Result: |
success |
| # of Findings: |
27 |
| Runtime: |
33.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16901 |
| detectionTime: |
454 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
28 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
45 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ImmutableSet:
1
Set:
1
Object:
2
String:
1
Iterator:
1
CheckNull:
1
ObjectType:
1 |
| numberOfViolations: |
27 |
| trainingLoadTime: |
15465 |
| trainingTime: |
71 |
|
3 |
missing/condition/null_check |
|
|
view
|
|
|
httpclient |
302 |
success |
4 |
32.7s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
302 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
32.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14956 |
| detectionTime: |
269 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HttpConnection:
1
Object:
1
java.io.IOException:
1
CloseConnection:
1
org.apache.commons.httpclient.HttpRecoverableException:
1
java.lang.RuntimeException:
1
HttpMethod:
1
HttpState:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
16973 |
| trainingTime: |
147 |
|
1 |
missing/call |
|
|
view
|
|
|
|
444 |
success |
44 |
32.1s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
444 |
| Result: |
success |
| # of Findings: |
44 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13397 |
| detectionTime: |
239 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
22 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
AuthState:
1
HttpMethod:
1
Object:
1
SetHostAuthRequested:
1 |
| numberOfViolations: |
22 |
| trainingLoadTime: |
17970 |
| trainingTime: |
49 |
|
2 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3 |
missing/call |
|
|
view
|
|
|
|
452 |
success |
3 |
31.0s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
452 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
31.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15650 |
| detectionTime: |
104 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
7 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
US:
1
Object:
1
SetLocale:
1
TimeZone:
1
Date:
1
SimpleDateFormat:
1
String:
1
Locale:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
14890 |
| trainingTime: |
118 |
|
4 |
missing/call
superfluous/call |
|
|
view
|
|
|
itext |
5091 |
success |
13 |
42.3s |
×
Run Details |
|
| Project: |
itext |
| Version: |
5091 |
| Result: |
success |
| # of Findings: |
13 |
| Runtime: |
42.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
20844 |
| detectionTime: |
866 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
19 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
481 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Cipher:
1
HandleInvalidKey:
1
String:
1
X509Certificate:
1
PublicKey:
1
java.security.InvalidKeyException:
1
Object:
1 |
| numberOfViolations: |
13 |
| trainingLoadTime: |
20103 |
| trainingTime: |
63 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
jackrabbit |
1601 |
success |
16 |
31.9s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1601 |
| Result: |
success |
| # of Findings: |
16 |
| Runtime: |
31.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14801 |
| detectionTime: |
190 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
15 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
53 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ItemData:
1
ItemState:
1
Object:
1
String:
1
CheckStateNotNull:
1
InvalidItemStateException:
1
ItemId:
1 |
| numberOfViolations: |
16 |
| trainingLoadTime: |
16560 |
| trainingTime: |
70 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
1678 |
success |
2 |
31.8s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1678 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12920 |
| detectionTime: |
86 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckMapGetNotNull:
1
Class:
1
Object:
2
HashMap:
1
Integer:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18336 |
| trainingTime: |
32 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
1694 |
success |
3 |
33.7s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1694 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
33.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16004 |
| detectionTime: |
121 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
19 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Long:
1
ReplaceVariablesInLongAttribute:
2
String:
1
<null>:
1
RepositoryConfigurationParser:
1
Element:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16988 |
| trainingTime: |
74 |
|
3a |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3b |
missing/call |
|
|
view
|
|
|
|
1750 |
success |
3 |
35.9s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1750 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
35.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15001 |
| detectionTime: |
365 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
83 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
InputStream:
1
Object:
1
CloseInputStream:
1
<ANY>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
20030 |
| trainingTime: |
58 |
|
5 |
missing/call |
|
|
view
|
|
|
jfreechart |
1025 |
success |
4 |
33.9s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
1025 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
33.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14114 |
| detectionTime: |
626 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2886 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
22 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
GetOnlyOnePathIterator:
1
<null>:
1
Path2D$Float$CopyIterator:
1
PathIterator:
1
GeneralPath:
1
Arrays:
1
lv2b:
1
lv2d:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
18146 |
| trainingTime: |
636 |
|
1 |
missing/call |
|
|
view
|
|
|
|
103 |
success |
2 |
28.9s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
103 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11385 |
| detectionTime: |
174 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
57 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
AxisLabelEntity:
1
ChartRenderingInfo:
1
Object:
1
CheckForNoOwner:
1
EntityCollection:
1
PlotRenderingInfo:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16954 |
| trainingTime: |
31 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
164 |
success |
28 |
39.6s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
164 |
| Result: |
success |
| # of Findings: |
28 |
| Runtime: |
39.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15651 |
| detectionTime: |
240 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
14 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckMeanValueNull:
1
Number:
1
Object:
1
StatisticalCategoryDataset:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
23234 |
| trainingTime: |
52 |
|
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 |
37.2s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2183 |
| Result: |
success |
| # of Findings: |
8 |
| Runtime: |
37.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
17079 |
| detectionTime: |
345 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
7 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
232 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
XYDataset:
1
XYPlot:
1
XYItemRenderer:
1
Object:
1
Collection:
1
CheckRendererForNull:
1 |
| numberOfViolations: |
8 |
| trainingLoadTime: |
19304 |
| trainingTime: |
60 |
|
5 |
missing/condition/null_check |
|
|
view
|
|
|
|
2266 |
success |
0 |
35.1s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2266 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
35.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16009 |
| detectionTime: |
32 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
68 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CategoryPlot:
1
Object:
1
CategoryDataset:
1
CheckDatasetForNull:
1 |
| trainingLoadTime: |
18597 |
| trainingTime: |
75 |
|
6 |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
881 |
success |
38 |
34.0s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
881 |
| Result: |
success |
| # of Findings: |
38 |
| Runtime: |
34.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13844 |
| detectionTime: |
509 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
24 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
172 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Map:
1
ArrayList:
1
Object:
2
Integer:
1
Marker:
1
CheckMarkersForNull:
1 |
| numberOfViolations: |
19 |
| trainingLoadTime: |
19020 |
| trainingTime: |
82 |
|
7a |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
7b |
missing/condition/null_check |
|
|
view
|
|
|
jmrtd |
51 |
success |
8 |
33.5s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
51 |
| Result: |
success |
| # of Findings: |
8 |
| Runtime: |
33.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15082 |
| detectionTime: |
298 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
12 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ByteArrayOutputStream:
1
Object:
1
length:
1
Util:
1
DataOutputStream:
1
CloseDataOut:
1 |
| numberOfViolations: |
8 |
| trainingLoadTime: |
17662 |
| trainingTime: |
181 |
|
1 |
missing/call |
|
|
view
|
|
|
|
67 |
success |
2 |
35.9s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
67 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13170 |
| detectionTime: |
166 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
18 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
UseDecryptForDecryption:
1
Cipher:
1
Object:
1
Util:
1
PublicKey:
1
MessageDigest:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
22145 |
| trainingTime: |
101 |
|
2 |
missing/condition/value_or_state |
|
|
view
|
|
|
jodatime |
1231 |
success |
2 |
32.3s |
×
Run Details |
|
| Project: |
jodatime |
| Version: |
1231 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13360 |
| detectionTime: |
222 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Interval:
1
Object:
2
String:
1
PersistentDateTime:
1
ResultSet:
1
DateTime:
1
CheckStartDateForNull:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18065 |
| trainingTime: |
110 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
lucene |
1251 |
success |
4 |
32.2s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1251 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
32.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14289 |
| detectionTime: |
496 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
82 |
| numberOfTrainingExamples: |
4 |
| numberOfUsagesInTrainingExamples: |
file:
1
<ANY>:
1
BufferedIndexOutput:
1
TryCloseAndEnsureSubsequentClose:
2
RandomAccessFile:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
16953 |
| trainingTime: |
49 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
|
1918 |
success |
2 |
36.9s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1918 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
36.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16979 |
| detectionTime: |
313 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
144 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
java.util.NoSuchElementException:
1
SortedMap:
1
HandleNoFirstKey:
1
Object:
2
String:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19076 |
| trainingTime: |
76 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
207 |
success |
53 |
33.6s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
207 |
| Result: |
success |
| # of Findings: |
53 |
| Runtime: |
33.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12958 |
| detectionTime: |
280 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
123 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
41 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
EnsureDirectoryExistsBeforeCreateFile:
1
Object:
1
String:
1
File:
1
IOException:
1
StringBuffer:
1 |
| numberOfViolations: |
53 |
| trainingLoadTime: |
19742 |
| trainingTime: |
89 |
|
3 |
missing/condition/value_or_state |
|
|
view
|
|
|
|
754 |
success |
3 |
44.2s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
754 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
44.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
20607 |
| detectionTime: |
365 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
33 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Map:
1
UseKeyForMapRetrieve$CreationPlaceholder:
1
HashMap:
1
Object:
2
UseKeyForMapRetrieve:
1
<null>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
22618 |
| trainingTime: |
89 |
|
5 |
missing/condition/value_or_state |
|
|
view
|
|
|
rhino |
286251 |
success |
57 |
41.3s |
×
Run Details |
|
| Project: |
rhino |
| Version: |
286251 |
| Result: |
success |
| # of Findings: |
57 |
| Runtime: |
41.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13942 |
| detectionTime: |
627 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
93 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
58 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CallInitOnce:
1
Object:
1
String:
1
FunctionNode:
1
IRFactory:
1
TokenStream:
1
Node:
1 |
| numberOfViolations: |
57 |
| trainingLoadTime: |
25627 |
| trainingTime: |
99 |
|
1 |
superfluous/call/duplicate |
|
|
view
|
|
|
synthetic |
alreadyondte |
success |
2 |
33.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
alreadyondte |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13102 |
| detectionTime: |
107 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RunDirectly$1:
1
Object:
1
JButton:
1
String:
1
RunDirectly:
2 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19738 |
| trainingTime: |
115 |
|
alreadyondte |
superfluous/condition/environment |
|
|
view
|
|
|
|
callondte |
success |
1 |
30.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
callondte |
| Result: |
success |
| # of Findings: |
1 |
| Runtime: |
30.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13172 |
| detectionTime: |
70 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RunOnEDT$1:
1
Object:
1
SwingUtilities:
1
RunOnEDT:
1 |
| numberOfViolations: |
1 |
| trainingLoadTime: |
17034 |
| trainingTime: |
49 |
|
callondte |
missing/condition/environment |
|
|
view
|
|
|
|
close-1 |
success |
2 |
34.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13073 |
| detectionTime: |
76 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
TryFinallyClose:
1
String:
1
<null>:
1
OutputStream:
1
PrintWriter:
1
<ANY>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20918 |
| trainingTime: |
52 |
|
close-1 |
missing/call |
|
|
view
|
|
|
|
close-2 |
success |
2 |
35.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14259 |
| detectionTime: |
122 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
TryFinallyClose:
1
String:
1
<null>:
1
OutputStream:
1
PrintWriter:
1
<ANY>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20900 |
| trainingTime: |
52 |
|
close-2 |
missing/exception handling |
|
|
view
|
|
|
|
cme |
success |
2 |
33.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
cme |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14592 |
| detectionTime: |
52 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
DoNotModify:
1
Collection:
1
Object:
1
Iterator:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18792 |
| trainingTime: |
31 |
|
cme |
superfluous/call |
|
|
view
|
|
|
|
deadlock |
success |
3 |
34.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
deadlock |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
34.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14599 |
| detectionTime: |
64 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Synchronized:
1
Object:
2
<ANY>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
19009 |
| trainingTime: |
55 |
|
deadlock |
superfluous/condition/threading |
|
|
view
|
|
|
|
fisexists |
success |
2 |
32.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
fisexists |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12922 |
| detectionTime: |
58 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
File:
1
FileInputStream:
1
Object:
1
CheckFileExists:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19239 |
| trainingTime: |
124 |
|
fisexists |
missing/condition/value_or_state |
|
|
view
|
|
|
|
flip-1 |
success |
1 |
31.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-1 |
| Result: |
success |
| # of Findings: |
1 |
| Runtime: |
31.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13666 |
| detectionTime: |
48 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
ByteBuffer:
1
HeapByteBuffer:
1
length:
1
FlipBuffer:
1 |
| numberOfViolations: |
1 |
| trainingLoadTime: |
17156 |
| trainingTime: |
57 |
|
flip-1 |
missing/call |
|
|
view
|
|
|
|
flip-2 |
success |
2 |
31.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13658 |
| detectionTime: |
122 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
FileChannel:
1
length:
1
Object:
1
HeapByteBuffer:
1
ByteBuffer:
1
FlipBuffer:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17635 |
| trainingTime: |
65 |
|
flip-2 |
missing/call |
|
|
view
|
|
|
|
flush |
success |
3 |
34.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flush |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13847 |
| detectionTime: |
67 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
FileChannel:
1
Object:
1
<null>:
1
Path:
1
WRITE:
1
StandardOpenOption:
1
ByteBuffer:
1
CloseChannel:
1
<ANY>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
20002 |
| trainingTime: |
129 |
|
flush |
missing/call |
|
|
view
|
|
|
|
hasnext |
success |
2 |
32.0s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
hasnext |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13968 |
| detectionTime: |
54 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HasNext:
1
Object:
1
Collection:
1
Iterator:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17607 |
| trainingTime: |
84 |
|
hasnext |
missing/condition/value_or_state |
|
|
view
|
|
|
|
latenullcheck |
success |
2 |
31.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
latenullcheck |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12377 |
| detectionTime: |
42 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
NullGuard:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18955 |
| trainingTime: |
39 |
|
latenullcheck |
misplaced/condition/null_check |
|
|
view
|
|
|
|
listget |
success |
2 |
35.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
listget |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15624 |
| detectionTime: |
65 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
List:
1
<null>:
1
Object:
2
CheckBounds:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19301 |
| trainingTime: |
72 |
|
listget |
missing/condition/value_or_state |
|
|
view
|
|
|
|
mapkeynull |
success |
0 |
31.0s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapkeynull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
31.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13283 |
| detectionTime: |
21 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckKeyNotNull:
1
HashMap:
1
Object:
2
String:
1
<null>:
1 |
| trainingLoadTime: |
17342 |
| trainingTime: |
31 |
|
mapkeynull |
missing/condition/null_check |
|
|
view
|
|
|
|
mapnull |
success |
2 |
32.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapnull |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11735 |
| detectionTime: |
41 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Contains:
1
Map:
1
Object:
2
String:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19915 |
| trainingTime: |
86 |
|
mapnull |
missing/condition/value_or_state |
|
|
view
|
|
|
|
maybenull |
success |
0 |
31.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
maybenull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11706 |
| detectionTime: |
34 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckNotNull:
1
Object:
2 |
| trainingLoadTime: |
19734 |
| trainingTime: |
48 |
|
maybenull |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
nofile |
success |
2 |
28.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
nofile |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
28.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11001 |
| detectionTime: |
97 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CREATE:
1
Object:
1
StandardOpenOption:
1
Files:
1
FileCreate:
1
Path:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16774 |
| trainingTime: |
52 |
|
nofile |
missing/condition/value_or_state |
|
|
view
|
|
|
|
pack-1 |
success |
2 |
32.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13910 |
| detectionTime: |
105 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
JFrame:
1
Object:
1
PackBeforeVisible:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17690 |
| trainingTime: |
92 |
|
pack-1 |
misplaced/call |
|
|
view
|
|
|
|
pack-2 |
success |
2 |
30.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12921 |
| detectionTime: |
39 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
JFrame:
1
Object:
1
PackBeforeVisible:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17290 |
| trainingTime: |
56 |
|
pack-2 |
missing/call |
|
|
view
|
|
|
|
repetitive |
success |
3 |
32.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
repetitive |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
32.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12796 |
| detectionTime: |
66 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
Collection:
1
OnlyOnce:
1
Iterator:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
19032 |
| trainingTime: |
58 |
|
repetitive |
superfluous/iteration |
|
|
view
|
|
|
|
setfirst |
success |
2 |
34.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
setfirst |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14590 |
| detectionTime: |
65 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
IsNotEmpty:
1
Set:
1
Object:
1
Iterator:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19193 |
| trainingTime: |
81 |
|
setfirst |
missing/condition/value_or_state |
|
|
view
|
|
|
|
supresserror |
success |
2 |
35.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
supresserror |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13082 |
| detectionTime: |
55 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
java.text.ParseException:
1
Object:
1
CatchSpecific:
1
Target:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
22244 |
| trainingTime: |
50 |
|
supresserror |
superfluous/exception handling |
|
|
view
|
|
|
|
toorestricitve |
success |
0 |
32.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
toorestricitve |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
32.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13998 |
| detectionTime: |
53 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
List:
1
Iterate:
1
Object:
1 |
| trainingLoadTime: |
18317 |
| trainingTime: |
81 |
|
toorestrictive |
superfluous/condition/value_or_state |
|
|
view
|
|
|
|
unsynchronized |
success |
2 |
33.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
unsynchronized |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13390 |
| detectionTime: |
90 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HashMap:
1
Object:
1
String:
1
Synchronized:
2
map:
1
<ANY>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19832 |
| trainingTime: |
64 |
|
unsynchronized |
missing/condition/threading |
|
|
view
|
|
|
|
wait-loop |
success |
2 |
32.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
wait-loop |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13783 |
| detectionTime: |
45 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
WaitLoop:
1
Object:
1
Target:
1
<ANY>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17987 |
| trainingTime: |
61 |
|
wait-loop |
missing/iteration |
|
|
view
|
|
