Experiment 1: Provided Patterns

Detector: Tikanga

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

aclang

587

success

0

1.31

s

acmath

998

success

3

1.04

s

adempiere

1312

success

0

0.99

s

alibaba-druid

e10f28

success

0

0.96

s

closure

114

success

0

1.15

s

319

success

0

1.14

s

884

success

5

1.71

s

httpclient

302

success

4

1.5

s

1
  • missing/call
 view

444

success

5

1.43

s

452

success

2

1.0

s

4
  • missing/call
  • superfluous/call
 view

itext

5091

success

2

1.2

s

1
  • missing/exception_handling
 view

jackrabbit

1601

success

2

1.31

s

1678

success

0

0.98

s

1694

success

0

1.1

s

3a
  • missing/call
 view

1750

success

1

1.22

s

jfreechart

1025

success

0

1.31

s

103

success

0

1.22

s

164

success

1

1.1

s

3a
  • missing/condition/null_check
 view

4b
  • missing/condition/null_check
 view

2183

success

1

2.07

s

2266

success

1

1.41

s

881

success

1

1.72

s

jmrtd

51

success

0

1.18

s

67

success

1

1.0

s

2
  • missing/condition/value_or_state
 view

jodatime

1231

success

0

0.95

s

lucene

1251

success

1

1.3

s

1
  • missing/exception_handling
 view

1918

success

0

1.15

s

207

success

4

1.2

s

3
  • missing/condition/value_or_state
 view

754

success

3

1.3

s

5
  • missing/condition/value_or_state
 view

rhino

286251

success

4

1.8

s

1
  • superfluous/call/duplicate
 view

synthetic_directives

jsl

success

2

0.8

s

alreadyondte
  • superfluous/condition/context
 view

latenullcheck
  • misplaced/condition/null_check
 view

repetitive
  • superfluous/iteration
 view

unsynchronized
  • missing/condition/synchronization
 view

wait-loop
  • missing/iteration
 view

synthetic_survey

jsl

success

1

0.8

s

close-2
  • missing/exception_handling
 view

fisexists
  • missing/condition/value_or_state
 view

flip-1
  • missing/call
 view

flip-2
  • missing/call
 view

hasnext
  • missing/condition/value_or_state
 view

listget
  • missing/condition/value_or_state
 view

mapnull
  • missing/condition/value_or_state
 view

pack-1
  • misplaced/call
 view

setfirst
  • missing/condition/value_or_state
 view