Return to Article Details Regression of the effectiveness of vulnerability analyzers in blockchain smart contracts Download Download PDF