Static API Specification Mining: Exploiting Source Code Model Checking - Mining Software Specifications: Methodologies and Applications - page 146

6

M

g
i s

1. Packages 2. LOC 3. ErExT 5. ErCS 6. ErCV 7. MAS 8. MAV

4. ErRT

FN = - FP IP FP FP FP FP

op op

10-Redhat-9.0-pkgs 52 K 338 320 18 35 18 205 31 3 58 1 40 6 4 3

postfix-2.0.16 111 K 124 92 32 3 124 30 31 3 4 2 40 6 0 0

X11-R6.9.0 208 K 286 248 38 27 164 305 31 3 170 13 40 6 56 9

371 K 748 660 88 (12%) 65( 10%) 306(41%) 540 31 3(10%) 232 16(7%) 40 6(15%) 60 12(20%)

(a) Traces and violations

- Total
IP - Inter-Procedural
FP - False Positives
FN - False Negatives
ErExT - Error Exit-Traces
ErRT - Error Return-Traces
ErCS - Error-Check
Specifications

ErCV - Error-Check
Violations
MAS - Multiple-API
Specifications
MAV - Multiple-API
Violations

FIGURE 5.20: Evaluation results.