Experiment 1: Provided Patterns

Detector: DMMC

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

aclang

587

success

268

3.4

s

1

  • missing/condition/null_check
view

2

  • missing/condition/null_check
view

acmath

998

success

52

2.3

s

1

  • missing/condition/null_check
view

2

  • missing/condition/null_check
view

adempiere

1312

success

40

2.5

s

1

  • missing/call
  • superfluous/call
view

2

  • missing/call
  • superfluous/call
view

alibaba-druid

e10f28

success

2

2.3

s

1

  • missing/call
view

2

  • missing/exception handling
view

closure

114

success

30

2.6

s

1

  • superfluous/condition/null_check
view

319

success

257

4.2

s

2

  • missing/exception handling
view

884

success

196

3.2

s

3

  • missing/condition/null_check
view

itext

5091

success

992

9.8

s

1

  • missing/exception handling
view

jmrtd

51

success

10

2.4

s

1

  • missing/call
view

67

success

4

2.7

s

2

  • missing/condition/value_or_state
view

jodatime

1231

success

1

1.9

s

1

  • missing/condition/null_check
view

lucene

1251

success

105

3.2

s

1

  • missing/exception handling
view

1918

success

117

3.4

s

2

  • missing/exception handling
view

207

success

53

2.3

s

3

  • missing/condition/value_or_state
view

754

success

20

2.6

s

5

  • missing/condition/value_or_state
view

rhino

286251

success

50

2.9

s

1

  • superfluous/call/duplicate
view

synthetic

callondte

success

0

2.4

s

callondte

  • missing/condition/environment
view

close-1

success

1

1.5

s

close-1

  • missing/call
view

close-2

success

0

1.5

s

close-2

  • missing/exception handling
view

cme

success

0

1.7

s

cme

  • superfluous/call
view

covariantequals

success

1

1.5

s

covariantequals

  • superfluous/condition/value_or_state
view

deadlock

success

0

1.5

s

deadlock

  • superfluous/condition/threading
view

fisexists

success

0

1.6

s

fisexists

  • missing/condition/value_or_state
view

flip-1

success

1

1.6

s

flip-1

  • missing/call
view

flip-2

success

1

1.8

s

flip-2

  • missing/call
view

flush

success

2

1.7

s

flush

  • missing/call
view

hasnext

success

1

1.7

s

hasnext

  • missing/condition/value_or_state
view

hasnext-copy

success

1

1.9

s

hasnext-copy

  • missing/condition/value_or_state
view

latecondition

success

0

1.8

s

latecondition

  • misplaced/condition/value_or_state
view

latenullcheck

success

0

1.4

s

latenullcheck

  • misplaced/condition/null_check
view

listget

success

1

1.6

s

listget

  • missing/condition/value_or_state
view

mapkeynull

success

0

1.4

s

mapkeynull

  • missing/condition/null_check
view

mapnull

success

1

1.5

s

mapnull

  • missing/condition/value_or_state
view

maybenull

success

0

1.4

s

maybenull

  • missing/condition/null_check
  • superfluous/condition/null_check
view

nofile

success

0

1.3

s

nofile

  • missing/condition/value_or_state
view

pack-1

success

0

2.1

s

pack-1

  • misplaced/call
view

pack-2

success

1

2.1

s

pack-2

  • missing/call
view

repetitive

success

2

1.6

s

repetitive

  • superfluous/iteration
view

setfirst

success

1

1.5

s

setfirst

  • missing/condition/value_or_state
view

supresserror

success

0

1.4

s

supresserror

  • superfluous/exception handling
view

toorestricitve

success

0

1.5

s

toorestrictive

  • superfluous/condition/value_or_state
view

unsynchronized

success

0

1.6

s

unsynchronized

  • missing/condition/threading
view

wait-loop

success

0

1.4

s

wait-loop

  • missing/iteration
view