Fix possible integer overflow #555
Conversation
sjaeckel
force-pushed
the
port-546-to-develop
branch
from
7eadb47 to
4ca2f5d
Compare
|
Wat?
Do I understand this correctly that |
Yes, it is a good boy^WPRNG. Found it at three places in test.c , so it isn't that bad. |
|
I just thought whether it'd be good to add runtime checks&fixups to the |
Changing the output of a PRNG is always *hng* for me but is probably the easiest. How about offering |
absolutely! |
Alhaalta ylös! ;-) Copy&paste a check into every single |
(cherry picked from commit beba892)
sjaeckel
force-pushed
the
port-546-to-develop
branch
from
4ca2f5d to
be78ab9
Compare
`abs()` can only convert `INT_MIN-1 .. -1` to a positive `int`. Nothing prevents the PRNG to create `INT_MIN` which then leads to a failure of the call to `abs()` as seen in [0]. Instead add an unsigned version of the function reading from the PRNG, so we also don't need to make an absolute value from it. [0] #555 (comment) ``` demo/test.c:1112:13: runtime error: negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself ``` Signed-off-by: Steffen Jaeckel <[email protected]>
`abs()` can only convert `INT_MIN-1 .. -1` to a positive `int`. Nothing prevents the PRNG to create `INT_MIN` which then leads to a failure of the call to `abs()` as seen in [0]. Instead add an unsigned version of the function reading from the PRNG, so we also don't need to make an absolute value from it. [0] #555 (comment) ``` demo/test.c:1112:13: runtime error: negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself ``` Signed-off-by: Steffen Jaeckel <[email protected]>
sjaeckel
force-pushed
the
port-546-to-develop
branch
from
69b30b1 to
11f1acd
Compare
`abs()` can only convert `INT_MIN-1 .. -1` to a positive `int`. Nothing prevents the PRNG to create `INT_MIN` which then leads to a failure of the call to `abs()` as seen in [0]. Instead add an unsigned version of the function reading from the PRNG, so we also don't need to make an absolute value from it. [0] #555 (comment) ``` demo/test.c:1112:13: runtime error: negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself ``` Signed-off-by: Steffen Jaeckel <[email protected]>
sjaeckel
force-pushed
the
port-546-to-develop
branch
from
11f1acd to
6175cca
Compare
|
In a next step we should follow up on #430 ff. |
2 participants
This is #546 but on develop.