Verification typing #845
Answered
by
jbevain
m-carrasco
asked this question in
Q&A
Verification typing
#845
-
|
Hi, Do you know of any verification typing algorithm for CIL that can be used as a library? I'd like to know the verification type of each stack value at every instruction. Worst-case scenario, I would implement one myself using Cecil. Have you ever tried something like this? Any piece of advice is more than welcomed! Best regards, |
Beta Was this translation helpful? Give feedback.
Answered by
jbevain
Jun 15, 2022
Replies: 1 comment
-
|
Hi, Unfortunately I'm not aware of one :) Good luck! |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
m-carrasco
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi, Unfortunately I'm not aware of one :) Good luck!