This inspection reports the cases when an expression of the signed type A is used in the context of unsigned type B (assigned, casted, used in a parameter, returned from a method, function or a block, etc.).