Additionally,
we find that
current tools which verify relative NI (e.g., [1]}, [2]})
are indeed capable of verifying direct NI, but intentionally
add constraints to their respective checkers to “remove” sequential leaks
from their speculative traces. Although this is just as precise,
it is an open problem whether tools can verify relative NI for programs
without relying on a direct NI analysis.
