Statistics: Tags

Experiment 1

Detector representation-para-value representation-sync bug-no-missing-calls self-usage analysis-interprocedural uncommon implicit dependency true positive cross-method usage analysis-control-flow analysis-implicit analysis-data-flow
Jadet 4 3 0 0 0 0 0 0 0 0 0 0
total 4 3 0 0 0 0 0 0 0 0 0 0

Experiment 2

Detector representation-para-value representation-sync bug-no-missing-calls self-usage analysis-interprocedural uncommon implicit dependency true positive cross-method usage analysis-control-flow analysis-implicit analysis-data-flow
DMMC 0 0 5 13 4 0 0 0 0 0 0 0
MuDetect 0 0 0 0 6 76 6 32 1 8 1 1
total 0 0 5 13 10 76 6 32 1 8 1 1

Experiment 3

Detector representation-para-value representation-sync bug-no-missing-calls self-usage analysis-interprocedural uncommon implicit dependency true positive cross-method usage analysis-control-flow analysis-implicit analysis-data-flow
total 0 0 0 0 0 0 0 0 0 0 0 0