Experiment 1: Provided Patterns

Detector: MuDetectOPAL_180330

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

aclang

587

success

28

19.1

s

1

  • missing/condition/null_check
view

2

  • missing/condition/null_check
view

acmath

998

success

12

18.7

s

1

  • missing/condition/null_check
view

2

  • missing/condition/null_check
view

adempiere

1312

success

0

18.9

s

1

  • missing/call
  • superfluous/call
view

2

  • missing/call
  • superfluous/call
view

alibaba-druid

e10f28

success

3

19.0

s

1

  • missing/call
view

2

  • missing/exception_handling
view

closure

114

success

11

18.4

s

1

  • superfluous/condition/null_check
view

319

success

2

19.2

s

2

  • missing/exception_handling
view

884

success

26

21.6

s

3

  • missing/condition/null_check
view

httpclient

302

success

4

20.9

s

1

  • missing/call
view

444

success

24

19.5

s

2

  • missing/call
view

3

  • missing/call
view

452

success

3

17.6

s

4

  • missing/call
  • superfluous/call
view

itext

5091

success

4

17.4

s

1

  • missing/exception_handling
view

jackrabbit

1601

success

22

18.5

s

1

  • missing/condition/null_check
view

1678

success

2

17.6

s

2

  • missing/condition/null_check
view

1694

success

1

18.5

s

3a

  • missing/call
view

3b

  • missing/call
view

1750

success

4

17.3

s

5

  • missing/call
view

jfreechart

1025

success

4

18.0

s

1

  • missing/call
view

103

success

2

17.8

s

2

  • missing/condition/null_check
view

164

success

9

17.4

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

8

19.4

s

5

  • missing/condition/null_check
view

2266

success

0

17.4

s

6

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

881

success

19

18.9

s

7a

  • missing/condition/null_check
view

7b

  • missing/condition/null_check
view

jmrtd

51

success

8

18.1

s

1

  • missing/call
view

67

success

2

17.8

s

2

  • missing/condition/value_or_state
view

jodatime

1231

success

2

17.3

s

1

  • missing/condition/null_check
view

lucene

1251

success

5

18.6

s

1

  • missing/exception_handling
view

1918

success

2

18.1

s

2

  • missing/exception_handling
view

207

success

38

18.1

s

3

  • missing/condition/value_or_state
view

754

success

3

17.3

s

5

  • missing/condition/value_or_state
view

rhino

286251

success

57

20.0

s

1

  • superfluous/call/duplicate
view

synthetic_directives

jsl

success

2

17.5

s

alreadyondte

  • superfluous/condition/context
view

callondte

  • missing/condition/context
view

deadlock

  • superfluous/condition/synchronization
view

latenullcheck

  • misplaced/condition/null_check
view

maybenull

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

repetitive

  • superfluous/iteration
view

supresserror

  • superfluous/exception handling
view

toorestrictive

  • superfluous/condition/value_or_state
view

unsynchronized

  • missing/condition/synchronization
view

wait-loop

  • missing/iteration
view

synthetic_survey

jsl

success

2

17.0

s

arrayaccess

  • missing/condition/value_or_state
view

close-1

  • missing/call
view

close-2

  • missing/exception_handling
view

cme

  • superfluous/call
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

listget

  • missing/condition/value_or_state
view

mapkeynull

  • missing/condition/null_check
view

mapnull

  • missing/condition/value_or_state
view

nofile

  • missing/condition/value_or_state
view

pack-1

  • misplaced/call
view

pack-2

  • missing/call
view

setfirst

  • missing/condition/value_or_state
view