search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Add ModSet Analysis flag. #202

Closed kferles closed 4 years ago

kferles commented 4 years ago
kferles commented 4 years ago

Yes, I do use this recent change.

I only calculate ModSets for procedures with an implementation. So I assume that means that procedures without a body have an empty ModSet.

On Thu, Oct 3, 2019 at 2:56 PM Shuvendu Lahiri notifications@github.com wrote:

@shuvendu-lahiri commented on this pull request.

@kferles https://github.com/kferles are you relying on a recent change where I added modset to a procedure's attributes? that way it prints the modifies information in the output BPL file.

Second, what is the modset for a procedure without any body?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/microsoft/verisol/pull/202?email_source=notifications&email_token=AAOQV6HMU74NG2ANFGEDYG3QMZE6NA5CNFSM4I5G25C2YY3PNVWWK3TUL52HS4DFWFIHK3DMKJSXC5LFON2FEZLWNFSXPKTDN5WW2ZLOORPWSZGOCG2ZOTQ#pullrequestreview-297113422, or mute the thread https://github.com/notifications/unsubscribe-auth/AAOQV6BP27CM4DJGWWYODKLQMZE6NANCNFSM4I5G25CQ .