Mike Brasher

Results 29 issues of Mike Brasher

Recently PR #355 was merged to support glibc static mutex initializers (in the case where the program was compiled with glibc headers). An review of the pthread-related initializers reveals that...

status/triaged
severity/low
area/libc

Currently only solicitation of inotify events is supported but no such events are ever generated.

status/triaged
area/kernel
severity/low

status/triaged
area/target
severity/low

It would be helpful to have a test to verify that the verity module (Merkle tree checks on block devices) correctly rejects tampering attacks. The verity module: - load the...

status/triaged
area/kernel
severity/low

Currently pid's and tid's are assigned using a simple increasing integer that wraps at some point (plus 100). This could cause conflicts when more than 4 billion threads have been...

status/triaged
area/kernel
severity/low

Review uncovered an incompatibility with the memory manager: munmap() fails if any part of the given region is not already mapped (that is it has gaps).

status/triaged
area/kernel
severity/low

The itimer cancellation feature was implemented as part of an earlier PR but then conditionally commented out because it was unrelated to that PR. Create a new PR by removing...

status/triaged
area/kernel
severity/moderate

Playing with different optimization levels exposed a potential use of an uninitialized pointer.

Some tools balk when ``myst`` checks for the WRFSBASE instruction (gdb and valgrind). Consider adding a simple ``--nofsgsbase`` option to ``myst``.