Searched refs:oracle (Results 1 – 5 of 5) sorted by relevance
7 ; Test that we don't invoke the oracle more than necessary (e.g. check the8 ; oracle then perform some failable/redundant reduction, as opposed to check if9 ; a reduction will fail/be redundant before invoking the oracle). This prevents
77 void setGlobalValueOracle(Oracle *oracle) { in setGlobalValueOracle() argument78 globalValueOracle = oracle; in setGlobalValueOracle()
498 the raw pointer are known. Together with an ``auth`` oracle, this can make it505 feasible, even with an ``auth`` oracle. However, there are several problems
480 <https://blogs.oracle.com/linux/improving-application-security-with-undefinedbehaviorsanitizer-ubsan-and-gcc>`_
30 <http://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html>`_)