Open access
Aug 2026
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.
Staley Ian
· International Journal of Inn... · 0 citations