Templates for Fault Simulation payloads should support conditional simulation points
Opened this issue · 1 comments
euspectre commented
Original issue 22 created by euspectre on 2015-01-22T14:00:03.000Z:
There are functions in the kernel, which may not fail in some conditions.
Examples:
- mempool_alloc never fails if called in process context,
- bio_add_page always succeed, if single page is added to the empty bio.
Some drivers use such functions in fail-never scenarios, and intentionally do not check errors. Fault simulation should not break such modules.
It seems, that allowing to specify raw code for replacement function would be good way for support fault simulation payloads with conditional points.
This also helps in case when 'normal' function flaw may not be expressed in original function call(e.g., when reading function's arguments modify them).