securify
securify copied to clipboard
Accurate explanation of securify output
Thank you for your help. I have read the CCS paper about securify. I found the violation RepeatedCall doesn't show in the original paper. Could you provide an example to explain the danger about RepeatedCall