News for hackers. Stuff that matters.

A comment on Tis-interpreter – find subtle bugs in programs written in standard C. Parent comment

Re:Tis-interpreter – find subtle bugs in programs written in... by vrfcodf on Saturday April 09, 2016 @03:43AM (#11460391)
That is not correct. The type used to write to the memory is int, not void or char. If the object, whose address is passed to the function is not compatible with int, the behavior is undefined.

You should read about strict aliasing, you will be surprised.

[ Parent | on HN ]
Re:Tis-interpreter – find subtle bugs in programs written in... by PeCaN on Saturday April 09, 2016 @03:48AM (#11460400)
You're right, I misread and misinterpreted that! Thanks.

Somehow I wasn't thinking and didn't realize that `t` aliases whatever was passed as `p`, and dereferencing a non int or char pointer would be undefined there.

[ Parent | on HN ]