On Fri, Jul 11, 2025 at 6:33 PM Jann Horn <jannh@xxxxxxxxxx> 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/
