On Fri, Jul 11, 2025 at 6:33 PM Jann Horn jannh@google.com wrote:
A more thorough check is done in reverse_path_check() after the new graph edge has already been created; this checks, among other things, that no paths going upwards from any non-epoll file with a length of more than 5 edges exist. However, this check does not apply to non-epoll files.
... of course directly after sending this I notice that I put one too many negations in this sentence.
s/does not apply to non-epoll files/does not apply to epoll files/