qtil
advanced-security/qtil-ruby 0.0.2
Search

Member predicate BarrierGuard::checks

Holds if this guard validates expr upon evaluating to branch. For example, the following code validates foo when the condition foo == "foo" is true.

if foo == "foo"
  do_something
 else
  do_something_else
end
predicate checks(CfgNode expr, boolean branch)