| http://www.w3.org/ns/prov#value | - ocal funcion stack: d.arg[0].u.mem.displacement <= -4 && d.arg[0].u.mem.displacement >= -(int32_t)stacksize6. the source argument can be anything (i.e. a register or an immediate value): nothing to check!Case B is very similar, except the arguments are reversed:1.
|
