Manipulate linear mask properties, linear characteristics, linear models of bit-vector operations and linear characteristic models (in the context of linear cryptanalysis).