analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Add cast kinds to integer overflow messages

Open sim642 opened this issue 2 weeks ago • 0 comments

This is currently on top of #1895. It combines that with #1894.

TODO

  • [ ] Add non-Unknown cast kinds.

sim642 avatar Dec 10 '25 13:12 sim642