Experiment 1: Provided Patterns

Detector: DMMC

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

apache-gora

bb09d89

success

2

1.3

s

56_1

  • missing/call
view

56_2

  • missing/call
view

argouml

026

success

81

1.9

s

tikanga11-1

  • missing/condition/value_or_state
view

tikanga11-2

  • missing/call
view

tikanga11-3

  • missing/condition/value_or_state
view

tikanga11-4

  • missing/condition/value_or_state
view

asterisk-java

304421c

success

4

1.3

s

81

  • missing/condition/value_or_state
view

41461b4

success

2

1.5

s

194

  • missing/exception_handling
view

battleforge

878

success

14

1.7

s

1

  • missing/call
  • superfluous/call
view

2

  • missing/call
  • superfluous/call
view

3

  • missing/call
  • superfluous/call
view

4

  • missing/call
  • superfluous/call
view

bcel

24014e5

success

158

1.9

s

101

  • missing/call
view

chensun

cf23b99

success

3

1.4

s

1

  • missing/condition/value_or_state
view

2

  • missing/condition/value_or_state
view

corona-old

0d0d18b

success

4

1.5

s

1

  • missing/condition/value_or_state
view

2

  • missing/condition/value_or_state
view

3

  • missing/condition/value_or_state
view

4

  • missing/condition/value_or_state
view

hoverruan-weiboclient4j

6ca0c73

success

0

1.4

s

128

  • missing/exception_handling
view

129

  • missing/exception_handling
view

130

  • missing/exception_handling
view

131

  • missing/exception_handling
view

132

  • missing/exception_handling
view

133

  • missing/exception_handling
view

134

  • missing/exception_handling
view

ivantrendafilov-confucius

2c30287

success

33

1.7

s

93

  • missing/exception_handling
view

94

  • missing/exception_handling
view

95

  • missing/exception_handling
view

96

  • missing/exception_handling
view

97

  • missing/exception_handling
view

98

  • missing/exception_handling
view

99

  • missing/exception_handling
view

100

  • missing/exception_handling
view

101

  • missing/exception_handling
view

jodatime

cc35fb2

success

161

2.2

s

269

  • misplaced/call
view

270

  • misplaced/call
view

271

  • misplaced/call
view

272

  • misplaced/call
view

273

  • misplaced/call
view

274

  • misplaced/call
view

275

  • misplaced/call
view

276

  • misplaced/call
view

277

  • misplaced/call
view

278

  • misplaced/call
view

279

  • misplaced/call
view

280

  • misplaced/call
view

281

  • misplaced/call
view

282

  • misplaced/call
view

283

  • misplaced/call
view

284

  • misplaced/call
view

285

  • misplaced/call
view

286

  • misplaced/call
view

287

  • misplaced/call
view

288

  • misplaced/call
view

289

  • misplaced/call
view

290

  • misplaced/call
view

291

  • misplaced/call
view

292

  • misplaced/call
view

293

  • misplaced/call
view

294

  • misplaced/call
view

295

  • misplaced/call
view

296

  • misplaced/call
view

297

  • misplaced/call
view

298

  • misplaced/call
view

299

  • misplaced/call
view

300

  • misplaced/call
view

301

  • misplaced/call
view

302

  • misplaced/call
view

303

  • misplaced/call
view

304

  • misplaced/call
view

339

  • missing/call
view

361

  • missing/condition/value_or_state
view

362

  • missing/condition/value_or_state
view

363

  • missing/condition/value_or_state
view

jriecken-gae-java-mini-profiler

80f3a59

success

4

1.5

s

39

  • missing/exception_handling
view

logblock-logblock-2

40548aa

success

2

1.3

s

15

  • missing/call
view

minecraft-launcher

e62d1bb

success

16

2.0

s

1

  • missing/condition/value_or_state
view

mqtt

f438425

success

7

1.5

s

389

  • missing/call
view

390

  • missing/call
view

progin5

3c01e7a

success

10

1.6

s

1

  • missing/condition/value_or_state
view

saavn

e576758

error

0

1.0

s

1

  • missing/condition/value_or_state
view

2

  • missing/condition/value_or_state
view

secure-tcp

aeba19a

success

0

1.6

s

1

  • missing/condition/value_or_state
view

synthetic_java8-misuses

96d0ccb

success

0

1.0

s

optional-map-unchecked-get

  • missing/call
  • superfluous/call
view

stream-closed

  • superfluous/call
view

stream-infinite

  • missing/call
view

stream-infinite2

  • missing/call
view

stream-without-terminal

  • missing/call
  • superfluous/call
view

synthetic_jca

jsl

success

0

1.3

s

aes-ecb-mode

  • missing/condition/value_or_state
view

loop-init

  • superfluous/iteration
view

static-key

  • missing/condition/value_or_state
view

synthetic_survey

jsl

success

0

1.2

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

tbuktu-ntru

8126929

success

0

1.3

s

473

  • missing/call
view

474

  • missing/call
view

475

  • missing/call
view

476

  • missing/call
view

technic-launcher-sp

7809682

success

35

2.4

s

1

  • missing/condition/value_or_state
view

testng

677302c

success

27

1.7

s

22

  • missing/condition/synchronization
view

92e7da1

success

33

1.8

s

17

  • missing/condition/synchronization
view

18

  • missing/condition/synchronization
view

cd80791

success

30

1.6

s

21

  • missing/condition/synchronization
view

d6dfce3

success

7

1.5

s

16

  • missing/condition/synchronization
view

thomas-s-b-visualee

410a80f

success

41

1.7

s

29

  • missing/condition/value_or_state
view

30

  • missing/condition/value_or_state
view

32

  • missing/condition/value_or_state
view

yapps

1ae52b0

success

1

1.5

s

1

  • missing/condition/value_or_state
view