ext/include/fault_mitigation.h

29  * To have something to work with we assume that a single glitch may affect
38  * Additionally are the following patterns also acknowledged with a few
64  * returns with for instance ftmn_return_res() it is checked that the
67  * @res is xored with FTMN_DEFAULT_HASH in order to retrieve the saved
78  * @res:	stored result xored with @hash
81  * caller xored with hash of called function. Before the called function
82  * updates @res it first xors @hash with its own hash, which is supposed to
102  * before updating the argument pointer with @arg.
420  * @incr:	Value to increase the checked state with
426  * state is increased with @incr. @res is checked against the saved result
444  * @incr:	Value to increase the checked state with
474  * be stored so if the value has been tampered with there is no additional
489  * be stored so if the value has been tampered with there is no additional
499  * FTMN_CALLEE_DONE_CHECK() - Record result of callee with checked state
501  * @incr:	Value to increase the checked state with
533  * FTMN_CALLEE_UPDATE_NOT_ZERO() - Update the result of a callee with a
543  * be stored so if the value has been tampered with there is no additional
555  * This macro replaces the old expected function hash with the hash of the
560  * "hash" in struct ftmn_func_arg which can be found with
563  * The FTMN_CALLE_* functions only work with the real function name so the
564  * old hash must be removed and replaced with the new for the calling
574  * @incr:	Value to increase the checked state with
578  * be stored so if the value has been tampered with there is no additional
588  * @incr:	Value to increase the checked state with
592  * be stored so if the value has been tampered with there is no additional
628  * @incr:	Value to increase the checked state with
632  * with ftmn_return_res().
651  * @incr:	Value to increase the checked state with
690 	 * return value can be tampered with.  in ftmn_return_res()