On Sat, Sep 23, 2017 at 01:37:45AM -0400, Andrew Zhu Aday wrote:
> Syscall A is an "implicit dependency" of syscall B if A can affect the
> control flow/coverage of B, but B doesn't use A's return value. For example,
> `mlockall` and `msync`; calling `mlockall` before `msync` will cause
> the latter to
> fail with -EBUSY, and thus influences its control flow.
I'm trying to follow along but SYSC_mlockall never returns -EBUSY (16).
$ smdb return_states SYSC_mlockall
file | function | return_id | return_value | type | param | key | value |
mm/mlock.c | SYSC_mlockall | 583 | (-22) | INTERNAL | -1 | | long(*)(int) |
mm/mlock.c | SYSC_mlockall | 584 | (-1) | INTERNAL | -1 | | long(*)(int) |
mm/mlock.c | SYSC_mlockall | 584 | (-1) | CULL_PATH | -1 | | |
mm/mlock.c | SYSC_mlockall | 584 | (-1) | PARAM_LIMIT | 0 | $ | 1-6 |
mm/mlock.c | SYSC_mlockall | 587 | (-4) | INTERNAL | -1 | | long(*)(int) |
mm/mlock.c | SYSC_mlockall | 587 | (-4) | PARAM_LIMIT | 0 | $ | 1-6 |
mm/mlock.c | SYSC_mlockall | 615 | 0 | INTERNAL | -1 | | long(*)(int) |
mm/mlock.c | SYSC_mlockall | 615 | 0 | PARAM_LIMIT | 0 | $ | 1-6 |
mm/mlock.c | SYSC_mlockall | 616 | (-12) | INTERNAL | -1 | | long(*)(int) |
mm/mlock.c | SYSC_mlockall | 616 | (-12) | PARAM_LIMIT | 0 | $ | 1-6 |
mm/mlock.c | SYSC_mlockall | 616 | (-12) | CAPABLE | 0 | 14 | |
================================================
file | function | type | param | key | value |
mm/mlock.c | SYSC_mlockall | PARAM_USED | 0 | $ | 1 |
$
regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
