Package soot.jimple.internal

Class JCheckedMulExpr

  • All Implemented Interfaces:
    Serializable, EquivTo, BinopExpr, ConvertToBaf, Expr, ICheckedExpr, MulExpr, Switchable, Value
    public class JCheckedMulExpr
extends JMulExpr
implements ICheckedExpr
    This multiply expression checks for an overflow and throws an exception in case the multiplication cannot be performed without an overflow. In .NET CIL code, this corresponds to a Mul_Ovf instruction. {@link https://learn.microsoft.com/de-de/dotnet/api/system.reflection.emit.opcodes.mul_ovf} Note that since this class inherits from JMulExpr, most analysis (e.g. data flow) can treat this like a normal multiply expression without further changes.
    See Also:
    Serialized Form

    • Constructor Detail

      • JCheckedMulExpr

        public JCheckedMulExpr​(Value op1,
                       Value op2)