nitturis-linux / kedr

Automatically exported from code.google.com/p/kedr
0 stars 1 forks source link

Templates for Fault Simulation payloads should support conditional simulation points #22

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
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).

Original issue reported on code.google.com by tsy...@gmail.com on 22 Jan 2015 at 2:00

GoogleCodeExporter commented 9 years ago

Original comment by tsy...@gmail.com on 22 Jan 2015 at 2:01