Fix mismatches between the format and sign of variables passed to printf() or scanf(), which were found in a Frama-C analysis and gcc using the -Wformat-signedness option. |
||
---|---|---|
.. | ||
compilation | ||
kernel | ||
simulation | ||
unit |
Fix mismatches between the format and sign of variables passed to printf() or scanf(), which were found in a Frama-C analysis and gcc using the -Wformat-signedness option. |
||
---|---|---|
.. | ||
compilation | ||
kernel | ||
simulation | ||
unit |