You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
My question is, how close is seer to being able to verify some pretty simplistic but long stateless code? If the effort isn't so high (more than a week or so of work), I would be interested to help get the project there.
The text was updated successfully, but these errors were encountered:
Can you tell me more about the code you're interested in analyzing? If your code mostly consists of arithmetic operations and does not have many loops, then Seer might be close to being able to handling it. If it has lots of memory manipulation and possible aliasing, then Seer might have some trouble.
The text was updated successfully, but these errors were encountered: