Three Measurement Hazards in Analyzer-in-the-Loop Repair of Smart Contracts
An executed exploit is reported showing a specification-level authorization defect that produced no high or medium impact finding, its consequence for repair metrics, where it biases both transition counts upward and can confound comparison between methods producing differently sized .patches.