Open fshahinfar1 opened 5 months ago
When the tool is processing a write syscall in the "transform_after_verifier" pass, it is not applying transformations to the arguments of this invocation.
When the tool is processing a write syscall in the "transform_after_verifier" pass, it is not applying transformations to the arguments of this invocation.