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

2.4

s

1
  • missing/condition/null_check
 () view

2
  • missing/condition/null_check
 view

acmath

998

success

52

1.7

s

1
  • missing/condition/null_check
view

2
  • missing/condition/null_check
 view

adempiere

1312

success

40

1.9

s

1
  • missing/call
  • superfluous/call
 () view

2
  • missing/call
  • superfluous/call
 () view

alibaba-druid

e10f28

success

2

1.7

s

1
  • missing/call
view

2
  • missing/exception handling
view

closure

114

success

30

1.8

s

1
  • superfluous/condition/null_check
 view

319

success

257

3.1

s

2
  • missing/exception handling
view

884

success

196

2.6

s

3
  • missing/condition/null_check
 view

httpclient

302

success

58

2.1

s

1
  • missing/call
 view

444

success

190

2.3

s

2
  • missing/call
 view

3
  • missing/call
 view

452

success

3

1.7

s

4
  • missing/call
  • superfluous/call
 view

itext

5091

success

992

7.5

s

1
  • missing/exception handling
 view

jackrabbit

1601

success

112

2.2

s

1
  • missing/condition/null_check
 view

1678

success

2

1.6

s

2
  • missing/condition/null_check
 view

1694

success

48

1.8

s

3a
  • missing/call
 view

3b
  • missing/call
 view

1750

success

28

2.1

s

5
  • missing/call
 view

jfreechart

1025

success

8

1.9

s

1
  • missing/call
 view

103

success

35

2.1

s

2
  • missing/condition/null_check
 view

164

success

24

1.9

s

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

305

3.6

s

5
  • missing/condition/null_check
 view

2266

success

76

2.4

s

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

881

success

454

3.1

s

7a
  • missing/condition/null_check
 view

7b
  • missing/condition/null_check
 view

jmrtd

51

success

10

1.7

s

1
  • missing/call
 view

67

success

4

1.7

s

2
  • missing/condition/value_or_state
 () view

jodatime

1231

success

1

1.6

s

1
  • missing/condition/null_check
 view

lucene

1251

success

117

2.3

s

1
  • missing/exception handling
 view

1918

success

117

2.5

s

2
  • missing/exception handling
 view

207

success

53

2.0

s

3
  • missing/condition/value_or_state
 view

754

success

20

2.0

s

5
  • missing/condition/value_or_state
view

rhino

286251

success

50

2.7

s

1
  • superfluous/call/duplicate
 view

synthetic

alreadyondte

success

0

0.1

s

alreadyondte
  • superfluous/condition/environment
view

androidactivity-1

not run

0

0.0

s

androidactivity-1
  • missing/call
view

androidactivity-2

not run

0

0.0

s

androidactivity-2
  • misplaced/call
view

callondte

success

0

2.0

s

callondte
  • missing/condition/environment
view

close-1

success

1

1.5

s

close-1
  • missing/call
 view

close-2

success

0

1.6

s

close-2
  • missing/exception handling
view

cme

success

0

1.5

s

cme
  • superfluous/call
view

deadlock

success

0

1.4

s

deadlock
  • superfluous/condition/threading
view

fisexists

success

0

1.4

s

fisexists
  • missing/condition/value_or_state
view

flip-1

success

1

1.4

s

flip-1
  • missing/call
 view

flip-2

success

1

1.5

s

flip-2
  • missing/call
 view

flush

success

2

1.6

s

flush
  • missing/call
 view

hasnext

success

1

1.3

s

hasnext
  • missing/condition/value_or_state
 view

latenullcheck

success

0

1.4

s

latenullcheck
  • misplaced/condition/null_check
view

listget

success

1

1.4

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.4

s

nofile
  • missing/condition/value_or_state
view

pack-1

success

0

1.8

s

pack-1
  • misplaced/call
view

pack-2

success

1

1.8

s

pack-2
  • missing/call
 view

repetitive

success

2

1.5

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.4

s

unsynchronized
  • missing/condition/threading
view

wait-loop

success

0

1.4

s

wait-loop
  • missing/iteration
view