|
aclang |
587 |
success |
56 |
51.2s |
×
Run Details |
|
| Project: |
aclang |
| Version: |
587 |
| Result: |
success |
| # of Findings: |
56 |
| Runtime: |
51.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14989 |
| detectionTime: |
431 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
50 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
204 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
NullTextNull:
2
Object:
1
StrBuilder:
2
String:
1 |
| numberOfViolations: |
28 |
| trainingLoadTime: |
34844 |
| trainingTime: |
85 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
acmath |
998 |
success |
42 |
32.9s |
×
Run Details |
|
| Project: |
acmath |
| Version: |
998 |
| Result: |
success |
| # of Findings: |
42 |
| Runtime: |
32.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13497 |
| detectionTime: |
215 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
22 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckV3DNull:
1
Line:
1
Object:
1
Vector3D:
1 |
| numberOfViolations: |
21 |
| trainingLoadTime: |
18692 |
| trainingTime: |
54 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
adempiere |
1312 |
success |
0 |
51.4s |
×
Run Details |
|
| Project: |
adempiere |
| Version: |
1312 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
51.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
25007 |
| detectionTime: |
91 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
21 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
SpecifyEncryptEncoding:
1
Object:
1
String:
1 |
| trainingLoadTime: |
25656 |
| trainingTime: |
51 |
|
1 |
missing/call
superfluous/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/call
superfluous/call |
|
|
view
|
|
|
alibaba-druid |
e10f28 |
success |
9 |
40.8s |
×
Run Details |
|
| Project: |
alibaba-druid |
| Version: |
e10f28 |
| Result: |
success |
| # of Findings: |
9 |
| Runtime: |
40.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
18059 |
| detectionTime: |
307 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
5 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
13 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RSAPublicKey:
1
RSAPrivateKeySpec:
1
Cipher:
1
PublicKey:
1
java.security.InvalidKeyException:
1
KeyFactory:
1
Reinitialize:
1
Object:
1
String:
1
PrivateKey:
1
BigInteger:
1 |
| numberOfViolations: |
6 |
| trainingLoadTime: |
21686 |
| trainingTime: |
82 |
|
1 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
2 |
missing/exception handling |
|
|
view
|
|
|
closure |
114 |
success |
11 |
31.3s |
×
Run Details |
|
| Project: |
closure |
| Version: |
114 |
| Result: |
success |
| # of Findings: |
11 |
| Runtime: |
31.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10825 |
| detectionTime: |
144 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
10 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
30 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
JSType:
1
UnionTypeBuilder:
1
IsNotType:
1
Object:
1
<null>:
1 |
| numberOfViolations: |
11 |
| trainingLoadTime: |
19468 |
| trainingTime: |
84 |
|
1 |
superfluous/condition/null_check |
|
|
view
|
|
|
|
319 |
success |
2 |
33.1s |
×
Run Details |
|
| Project: |
closure |
| Version: |
319 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
33.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15404 |
| detectionTime: |
365 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
266 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
1
Parameters:
1
HandleException:
1
String:
1
<null>:
1
org.kohsuke.args4j.CmdLineException:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17112 |
| trainingTime: |
43 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
884 |
success |
26 |
35.8s |
×
Run Details |
|
| Project: |
closure |
| Version: |
884 |
| Result: |
success |
| # of Findings: |
26 |
| Runtime: |
35.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13826 |
| detectionTime: |
457 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
27 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
45 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckNull:
1
ObjectType:
1
ImmutableSet:
1
Set:
1
String:
1
Iterator:
1
Object:
2 |
| numberOfViolations: |
26 |
| trainingLoadTime: |
20622 |
| trainingTime: |
116 |
|
3 |
missing/condition/null_check |
|
|
view
|
|
|
httpclient |
302 |
success |
4 |
33.2s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
302 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
33.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11739 |
| detectionTime: |
353 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HttpMethod:
1
CloseConnection:
1
Object:
1
java.lang.RuntimeException:
1
HttpState:
1
HttpConnection:
1
java.io.IOException:
1
org.apache.commons.httpclient.HttpRecoverableException:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
20557 |
| trainingTime: |
121 |
|
1 |
missing/call |
|
|
view
|
|
|
|
444 |
success |
46 |
37.4s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
444 |
| Result: |
success |
| # of Findings: |
46 |
| Runtime: |
37.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16632 |
| detectionTime: |
206 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
22 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
23 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HttpMethod:
1
AuthState:
1
Object:
1
SetHostAuthRequested:
1 |
| numberOfViolations: |
22 |
| trainingLoadTime: |
20078 |
| trainingTime: |
32 |
|
2 |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3 |
missing/call |
|
|
view
|
|
|
|
452 |
success |
3 |
31.3s |
×
Run Details |
|
| Project: |
httpclient |
| Version: |
452 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
31.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13958 |
| detectionTime: |
84 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
7 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Locale:
1
TimeZone:
1
US:
1
Date:
1
Object:
1
String:
1
SimpleDateFormat:
1
SetLocale:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
16804 |
| trainingTime: |
90 |
|
4 |
missing/call
superfluous/call |
|
|
view
|
|
|
itext |
5091 |
success |
13 |
40.8s |
×
Run Details |
|
| Project: |
itext |
| Version: |
5091 |
| Result: |
success |
| # of Findings: |
13 |
| Runtime: |
40.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
21306 |
| detectionTime: |
1337 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
21 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
484 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
java.security.InvalidKeyException:
1
String:
1
Object:
1
Cipher:
1
X509Certificate:
1
PublicKey:
1
HandleInvalidKey:
1 |
| numberOfViolations: |
13 |
| trainingLoadTime: |
17590 |
| trainingTime: |
49 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
jackrabbit |
1601 |
success |
22 |
37.8s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1601 |
| Result: |
success |
| # of Findings: |
22 |
| Runtime: |
37.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15287 |
| detectionTime: |
189 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
21 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
53 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
InvalidItemStateException:
1
ItemId:
1
String:
1
ItemData:
1
ItemState:
1
CheckStateNotNull:
1
Object:
2 |
| numberOfViolations: |
22 |
| trainingLoadTime: |
21821 |
| trainingTime: |
90 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
|
1678 |
success |
2 |
35.3s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1678 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13333 |
| detectionTime: |
278 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckMapGetNotNull:
1
HashMap:
1
Object:
2
Integer:
1
Class:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
21143 |
| trainingTime: |
56 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
1694 |
success |
3 |
33.4s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1694 |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
33.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14035 |
| detectionTime: |
200 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
19 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ReplaceVariablesInLongAttribute:
2
Element:
1
Long:
1
String:
1
RepositoryConfigurationParser:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18529 |
| trainingTime: |
104 |
|
3a |
missing/call |
|
|
view
|
|
|
|
|
|
|
|
|
3b |
missing/call |
|
|
view
|
|
|
|
1750 |
success |
4 |
31.5s |
×
Run Details |
|
| Project: |
jackrabbit |
| Version: |
1750 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
31.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13123 |
| detectionTime: |
260 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
4 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
83 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CloseInputStream:
1
Object:
1
InputStream:
1
<ANY>:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
17687 |
| trainingTime: |
79 |
|
5 |
missing/call |
|
|
view
|
|
|
jfreechart |
1025 |
success |
4 |
34.5s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
1025 |
| Result: |
success |
| # of Findings: |
4 |
| Runtime: |
34.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14209 |
| detectionTime: |
227 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
66 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
22 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
GeneralPath:
1
PathIterator:
1
GetOnlyOnePathIterator:
1
lv2b:
1
Arrays:
1
lv2d:
1
Object:
1
<null>:
1 |
| numberOfViolations: |
4 |
| trainingLoadTime: |
19416 |
| trainingTime: |
228 |
|
1 |
missing/call |
|
|
view
|
|
|
|
103 |
success |
2 |
34.2s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
103 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
34.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13346 |
| detectionTime: |
163 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
57 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ChartRenderingInfo:
1
Object:
1
CheckForNoOwner:
1
EntityCollection:
1
AxisLabelEntity:
1
PlotRenderingInfo:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20179 |
| trainingTime: |
57 |
|
2 |
missing/condition/null_check |
|
|
view
|
|
|
|
164 |
success |
28 |
32.4s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
164 |
| Result: |
success |
| # of Findings: |
28 |
| Runtime: |
32.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13471 |
| detectionTime: |
176 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
14 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Number:
1
CheckMeanValueNull:
1
Object:
1
StatisticalCategoryDataset:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
18448 |
| trainingTime: |
36 |
|
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 |
35.3s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2183 |
| Result: |
success |
| # of Findings: |
8 |
| Runtime: |
35.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15339 |
| detectionTime: |
387 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
7 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
232 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Collection:
1
CheckRendererForNull:
1
Object:
1
XYPlot:
1
XYDataset:
1
XYItemRenderer:
1 |
| numberOfViolations: |
8 |
| trainingLoadTime: |
19089 |
| trainingTime: |
81 |
|
5 |
missing/condition/null_check |
|
|
view
|
|
|
|
2266 |
success |
0 |
36.1s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
2266 |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
36.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15171 |
| detectionTime: |
64 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
68 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CategoryPlot:
1
Object:
1
CategoryDataset:
1
CheckDatasetForNull:
1 |
| trainingLoadTime: |
20378 |
| trainingTime: |
35 |
|
6 |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
881 |
success |
38 |
37.0s |
×
Run Details |
|
| Project: |
jfreechart |
| Version: |
881 |
| Result: |
success |
| # of Findings: |
38 |
| Runtime: |
37.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15800 |
| detectionTime: |
308 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
24 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
172 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ArrayList:
1
Integer:
1
Map:
1
Marker:
1
CheckMarkersForNull:
1
Object:
2 |
| numberOfViolations: |
19 |
| trainingLoadTime: |
20315 |
| trainingTime: |
82 |
|
7a |
missing/condition/null_check |
|
|
view
|
|
|
|
|
|
|
|
|
7b |
missing/condition/null_check |
|
|
view
|
|
|
jmrtd |
51 |
success |
8 |
31.3s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
51 |
| Result: |
success |
| # of Findings: |
8 |
| Runtime: |
31.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12644 |
| detectionTime: |
274 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
12 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
11 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
DataOutputStream:
1
length:
1
CloseDataOut:
1
Util:
1
ByteArrayOutputStream:
1
Object:
1 |
| numberOfViolations: |
8 |
| trainingLoadTime: |
17852 |
| trainingTime: |
73 |
|
1 |
missing/call |
|
|
view
|
|
|
|
67 |
success |
2 |
32.8s |
×
Run Details |
|
| Project: |
jmrtd |
| Version: |
67 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12957 |
| detectionTime: |
129 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
18 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
UseDecryptForDecryption:
1
Object:
1
Cipher:
1
PublicKey:
1
Util:
1
MessageDigest:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19231 |
| trainingTime: |
73 |
|
2 |
missing/condition/value_or_state |
|
|
view
|
|
|
jodatime |
1231 |
success |
2 |
31.4s |
×
Run Details |
|
| Project: |
jodatime |
| Version: |
1231 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11865 |
| detectionTime: |
91 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
17 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
PersistentDateTime:
1
Interval:
1
ResultSet:
1
String:
1
Object:
2
CheckStartDateForNull:
1
DateTime:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18938 |
| trainingTime: |
82 |
|
1 |
missing/condition/null_check |
|
|
view
|
|
|
lucene |
1251 |
success |
5 |
34.0s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1251 |
| Result: |
success |
| # of Findings: |
5 |
| Runtime: |
34.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14898 |
| detectionTime: |
224 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
5 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
82 |
| numberOfTrainingExamples: |
4 |
| numberOfUsagesInTrainingExamples: |
BufferedIndexOutput:
2
RandomAccessFile:
1
<ANY>:
1
TryCloseAndEnsureSubsequentClose:
2
file:
1 |
| numberOfViolations: |
5 |
| trainingLoadTime: |
18354 |
| trainingTime: |
78 |
|
1 |
missing/exception handling |
|
|
view
|
|
|
|
1918 |
success |
2 |
31.2s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
1918 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13657 |
| detectionTime: |
204 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
144 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HandleNoFirstKey:
1
java.util.NoSuchElementException:
1
Object:
2
SortedMap:
1
String:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17088 |
| trainingTime: |
66 |
|
2 |
missing/exception handling |
|
|
view
|
|
|
|
207 |
success |
53 |
33.4s |
×
Run Details |
|
| Project: |
lucene |
| Version: |
207 |
| Result: |
success |
| # of Findings: |
53 |
| Runtime: |
33.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14044 |
| detectionTime: |
231 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
122 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
41 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
EnsureDirectoryExistsBeforeCreateFile:
1
Object:
1
StringBuffer:
1
File:
1
String:
1
IOException:
1 |
| numberOfViolations: |
53 |
| trainingLoadTime: |
18415 |
| trainingTime: |
51 |
|
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: |
16219 |
| detectionTime: |
222 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
33 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
UseKeyForMapRetrieve$CreationPlaceholder:
1
HashMap:
1
Object:
2
Map:
1
UseKeyForMapRetrieve:
1
<null>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
17701 |
| trainingTime: |
45 |
|
5 |
missing/condition/value_or_state |
|
|
view
|
|
|
rhino |
286251 |
success |
57 |
38.3s |
×
Run Details |
|
| Project: |
rhino |
| Version: |
286251 |
| Result: |
success |
| # of Findings: |
57 |
| Runtime: |
38.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
16565 |
| detectionTime: |
515 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
109 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
58 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
TokenStream:
1
Object:
1
Node:
1
String:
1
CallInitOnce:
1
FunctionNode:
1
IRFactory:
1 |
| numberOfViolations: |
57 |
| trainingLoadTime: |
20583 |
| trainingTime: |
74 |
|
1 |
superfluous/call/duplicate |
|
|
view
|
|
|
synthetic |
alreadyondte |
success |
2 |
32.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
alreadyondte |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12178 |
| detectionTime: |
66 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
6 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
RunDirectly$1:
1
RunDirectly:
2
JButton:
1
Object:
1
String:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19735 |
| trainingTime: |
64 |
|
alreadyondte |
superfluous/condition/environment |
|
|
view
|
|
|
|
callondte |
success |
1 |
34.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
callondte |
| Result: |
success |
| # of Findings: |
1 |
| Runtime: |
34.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
14502 |
| detectionTime: |
71 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
SwingUtilities:
1
RunOnEDT:
1
Object:
1
RunOnEDT$1:
1 |
| numberOfViolations: |
1 |
| trainingLoadTime: |
19198 |
| trainingTime: |
28 |
|
callondte |
missing/condition/environment |
|
|
view
|
|
|
|
close-1 |
success |
2 |
31.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12981 |
| detectionTime: |
96 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
PrintWriter:
1
<ANY>:
1
TryFinallyClose:
1
Writer:
1
Object:
1
OutputStream:
1
String:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18197 |
| trainingTime: |
42 |
|
close-1 |
missing/call |
|
|
view
|
|
|
|
close-2 |
success |
2 |
36.2s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
close-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
36.2s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13157 |
| detectionTime: |
42 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
PrintWriter:
1
<ANY>:
1
TryFinallyClose:
1
Writer:
1
Object:
1
OutputStream:
1
String:
1
<null>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
22481 |
| trainingTime: |
60 |
|
close-2 |
missing/exception handling |
|
|
view
|
|
|
|
cme |
success |
2 |
29.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
cme |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
29.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12225 |
| detectionTime: |
41 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Collection:
1
DoNotModify:
1
Iterator:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16767 |
| trainingTime: |
59 |
|
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: |
13652 |
| detectionTime: |
39 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Synchronized:
1
Object:
2
<ANY>:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
20207 |
| trainingTime: |
53 |
|
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: |
12502 |
| detectionTime: |
73 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
File:
1
CheckFileExists:
1
FileInputStream:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18805 |
| trainingTime: |
71 |
|
fisexists |
missing/condition/value_or_state |
|
|
view
|
|
|
|
flip-1 |
success |
2 |
32.1s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.1s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12677 |
| detectionTime: |
53 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
ByteBuffer:
1
FlipBuffer:
1
Object:
1
length:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18863 |
| trainingTime: |
65 |
|
flip-1 |
missing/call |
|
|
view
|
|
|
|
flip-2 |
success |
2 |
31.6s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flip-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.6s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12217 |
| detectionTime: |
105 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
FileChannel:
1
ByteBuffer:
1
FlipBuffer:
1
Object:
1
length:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18758 |
| trainingTime: |
52 |
|
flip-2 |
missing/call |
|
|
view
|
|
|
|
flush |
success |
3 |
31.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
flush |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
31.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11534 |
| detectionTime: |
48 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Path:
1
FileChannel:
1
<ANY>:
1
StandardOpenOption:
1
ByteBuffer:
1
WRITE:
1
CloseChannel:
1
<null>:
1
Object:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
19714 |
| trainingTime: |
74 |
|
flush |
missing/call |
|
|
view
|
|
|
|
hasnext |
success |
2 |
32.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
hasnext |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
32.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13152 |
| detectionTime: |
80 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Collection:
1
HasNext:
1
Iterator:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18726 |
| trainingTime: |
65 |
|
hasnext |
missing/condition/value_or_state |
|
|
view
|
|
|
|
latenullcheck |
success |
2 |
30.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
latenullcheck |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10962 |
| detectionTime: |
43 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
3 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
NullGuard:
1
Object:
2 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19172 |
| trainingTime: |
70 |
|
latenullcheck |
misplaced/condition/null_check |
|
|
view
|
|
|
|
listget |
success |
2 |
31.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
listget |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11898 |
| detectionTime: |
59 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
List:
1
CheckBounds:
1
<null>:
1
Object:
2 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
19033 |
| trainingTime: |
73 |
|
listget |
missing/condition/value_or_state |
|
|
view
|
|
|
|
mapkeynull |
success |
0 |
33.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapkeynull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
33.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11394 |
| detectionTime: |
33 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
HashMap:
1
CheckKeyNotNull:
1
<null>:
1
String:
1 |
| trainingLoadTime: |
21725 |
| trainingTime: |
26 |
|
mapkeynull |
missing/condition/null_check |
|
|
view
|
|
|
|
mapnull |
success |
2 |
30.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
mapnull |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11544 |
| detectionTime: |
120 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Object:
2
Contains:
1
Map:
1
String:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18109 |
| trainingTime: |
98 |
|
mapnull |
missing/condition/value_or_state |
|
|
view
|
|
|
|
maybenull |
success |
0 |
36.0s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
maybenull |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
36.0s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13346 |
| detectionTime: |
31 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CheckNotNull:
1
Object:
2 |
| trainingLoadTime: |
22226 |
| trainingTime: |
76 |
|
maybenull |
missing/condition/null_check
superfluous/condition/null_check |
|
|
view
|
|
|
|
nofile |
success |
2 |
35.3s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
nofile |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.3s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12682 |
| detectionTime: |
36 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Path:
1
Files:
1
CREATE:
1
Object:
1
StandardOpenOption:
1
FileCreate:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
22060 |
| trainingTime: |
163 |
|
nofile |
missing/condition/value_or_state |
|
|
view
|
|
|
|
pack-1 |
success |
2 |
30.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-1 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12321 |
| detectionTime: |
36 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
JFrame:
1
Object:
1
PackBeforeVisible:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18252 |
| trainingTime: |
29 |
|
pack-1 |
misplaced/call |
|
|
view
|
|
|
|
pack-2 |
success |
2 |
29.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
pack-2 |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
29.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13027 |
| detectionTime: |
42 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
JFrame:
1
Object:
1
PackBeforeVisible:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
16342 |
| trainingTime: |
64 |
|
pack-2 |
missing/call |
|
|
view
|
|
|
|
repetitive |
success |
3 |
29.5s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
repetitive |
| Result: |
success |
| # of Findings: |
3 |
| Runtime: |
29.5s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10608 |
| detectionTime: |
81 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
Collection:
1
Iterator:
1
Object:
1
OnlyOnce:
1 |
| numberOfViolations: |
3 |
| trainingLoadTime: |
18489 |
| trainingTime: |
115 |
|
repetitive |
superfluous/iteration |
|
|
view
|
|
|
|
setfirst |
success |
2 |
30.4s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
setfirst |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.4s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
11418 |
| detectionTime: |
77 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
IsNotEmpty:
1
Iterator:
1
Object:
1
Set:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
18540 |
| trainingTime: |
57 |
|
setfirst |
missing/condition/value_or_state |
|
|
view
|
|
|
|
supresserror |
success |
2 |
31.9s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
supresserror |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
31.9s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
13613 |
| detectionTime: |
39 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
CatchSpecific:
1
Target:
1
java.text.ParseException:
1
Object:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17896 |
| trainingTime: |
41 |
|
supresserror |
superfluous/exception handling |
|
|
view
|
|
|
|
toorestricitve |
success |
0 |
29.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
toorestricitve |
| Result: |
success |
| # of Findings: |
0 |
| Runtime: |
29.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
10845 |
| detectionTime: |
21 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
List:
1
Iterate:
1
Object:
1 |
| trainingLoadTime: |
18593 |
| trainingTime: |
47 |
|
toorestrictive |
superfluous/condition/value_or_state |
|
|
view
|
|
|
|
unsynchronized |
success |
2 |
30.7s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
unsynchronized |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
30.7s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
12554 |
| detectionTime: |
62 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
2 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
HashMap:
1
Object:
1
<ANY>:
1
Synchronized:
2
String:
1
map:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
17682 |
| trainingTime: |
57 |
|
unsynchronized |
missing/condition/threading |
|
|
view
|
|
|
|
wait-loop |
success |
2 |
35.8s |
×
Run Details |
|
| Project: |
synthetic |
| Version: |
wait-loop |
| Result: |
success |
| # of Findings: |
2 |
| Runtime: |
35.8s |
| dataset: |
icse16ex1 |
| detectionLoadTime: |
15253 |
| detectionTime: |
87 |
| maxPatternSupport: |
1 |
| md5: |
9e5252816faecf552464f0a6abde714f |
| numberOfExploredAlternatives: |
1 |
| numberOfPatterns: |
1 |
| numberOfTargets: |
2 |
| numberOfTrainingExamples: |
2 |
| numberOfUsagesInTrainingExamples: |
WaitLoop:
1
Target:
1
Object:
2
<ANY>:
1 |
| numberOfViolations: |
2 |
| trainingLoadTime: |
20025 |
| trainingTime: |
87 |
|
wait-loop |
missing/iteration |
|
|
view
|
|
