Skip to content
This repository has been archived by the owner on Jun 18, 2024. It is now read-only.

Check for NULL for @to field in ops.yield() #222

Merged
merged 2 commits into from
Jun 14, 2024
Merged

Check for NULL for @to field in ops.yield() #222

merged 2 commits into from
Jun 14, 2024

Commits on Jun 14, 2024

  1. scx: Check for NULLity for ops.yield() @to arg 

    The @to field in ops.yield() can be NULL (when the callback is invoked)
on the yield_task_scx() path). Right now we're not communicating to the
verifier that the arg can be NULL, so if callers don't check for NULL it
can crash the host. Let's update ext.c to check. A subsequent patch will
add tests.

Signed-off-by: David Vernet <[email protected]>
    @Byte-Lab
    Byte-Lab committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    3f4e662 View commit details
    Browse the repository at this point in the history

  2. scx: Test ops.yield() @to NULLity 

    Now that we've told the verifier about the second argument to
ops.yield(), let's add a test to verify the behavior.

Signed-off-by: David Vernet <[email protected]>
    @Byte-Lab
    Byte-Lab committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    bc5f49c View commit details
    Browse the repository at this point in the history