Package soot.jimple.internal

Class JCheckedCastExpr

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