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
Some system call use structs as arguments.
For simplicity and speed, the corresponding syscall handlers will consider the whole struct as read.
However, those struct may have holes due to fields padding.
These paddings are not actually used by the struct, and is therefore highly probable that they are uninitialized when the system call is executed, thus causing MemTrace reporting uninitialized reads which must be considered false positives.
It is possible to slightly change syscall handlers to make them read only the used parts of the structs used as arguments.
This Issue will be used as a thread to report syscall handlers that caused some false positives during testing and possibly also the structure of the struct they use as a parameter.
The text was updated successfully, but these errors were encountered:
Some system call use structs as arguments.
For simplicity and speed, the corresponding syscall handlers will consider the whole struct as read.
However, those struct may have holes due to fields padding.
These paddings are not actually used by the struct, and is therefore highly probable that they are uninitialized when the system call is executed, thus causing MemTrace reporting uninitialized reads which must be considered false positives.
It is possible to slightly change syscall handlers to make them read only the used parts of the structs used as arguments.
This Issue will be used as a thread to report syscall handlers that caused some false positives during testing and possibly also the structure of the struct they use as a parameter.
The text was updated successfully, but these errors were encountered: