Experiment 1: Provided Patterns

Detector: Jadet

Project Version Result # of Findings Runtime Misuse Violation Types Decision Reviews Your Review Tags

aclang

587

success

0

1.3

s

acmath

998

success

1

0.8

s

1
  • missing/condition/null_check
 view

adempiere

1312

success

0

0.87

s

alibaba-druid

e10f28

success

0

0.81

s

closure

114

success

0

0.93

s

319

success

0

1.02

s

884

success

2

1.5

s

3
  • missing/condition/null_check
 view

httpclient

302

success

0

1.21

s

444

success

7

1.1

s

2
  • missing/call
 view

3
  • missing/call
 view

452

success

4

0.8

s

4
  • missing/call
  • superfluous/call
 view

itext

5091

success

2

0.9

s

1
  • missing/exception_handling
 view

jackrabbit

1601

success

1

1.2

s

1
  • missing/condition/null_check
 view

1678

success

0

0.8

s

1694

success

0

1.06

s

1750

success

2

1.1

s

5
  • missing/call
 view

jfreechart

1025

success

0

0.86

s

103

success

0

1.11

s

164

success

0

0.98

s

2183

success

0

1.8

s

2266

success

0

1.27

s

881

success

1

1.38

s

jmrtd

51

success

1

0.9

s

1
  • missing/call
 view

67

success

0

0.84

s

jodatime

1231

success

0

0.71

s

lucene

1251

success

0

0.98

s

1918

success

0

1.11

s

207

success

0

0.84

s

754

success

1

1.2

s

5
  • missing/condition/value_or_state
 view

rhino

286251

success

1

1.4

s

1
  • superfluous/call/duplicate
 view

synthetic_directives

jsl

success

1

0.7

s

alreadyondte
  • superfluous/condition/context
 view

repetitive
  • superfluous/iteration
 view

wait-loop
  • missing/iteration
 view

synthetic_survey

jsl

success

1

0.6

s

close-1
  • missing/call
 view

close-2
  • missing/exception_handling
 view

fisexists
  • missing/condition/value_or_state
 view

flip-1
  • missing/call
 view

flip-2
  • missing/call
 view

flush
  • missing/call
 view

hasnext
  • missing/condition/value_or_state
 view

setfirst
  • missing/condition/value_or_state
 view