在反序列化过程中，由于 readObject() 充当构造函数，因此到此函数终止时，对象初始化才会完成。因此，如果 Serializable 类的 readObject() 函数调用了可覆盖的函数，则在对象尚未完成初始化之前，可能会提供对象状态的覆盖方法访问权限。

示例 1：以下 readObject() 函数调用了可覆盖的方法。

  ...
  private void readObject(final ObjectInputStream ois) throws IOException, ClassNotFoundException {
    checkStream(ois);
    ois.defaultReadObject();
  }

  public void checkStream(ObjectInputStream stream){
    ...
  }

如果函数 checkStream() 和其封装类并非 final 和公共字段，则意味着该函数是可覆盖的，这意味着攻击者可以覆盖 checkStream() 函数，以便在反序列化过程中访问对象。

通过从 getter-only 属性返回 private readonly 列表变量，您可以调用代码来修改该列表的内容，这样，可有效提供列表的写访问权限，并阻止程序员将其设置为 private readonly 的计划。

示例 1：下面的代码包含被声明为 private readonly 的列表 _item。

       class Order
      {
          private readonly List<string> _item = new List<string>();
          public IEnumerable<string> Item { get { return _item; } }
          
          public Order()
          {
              /*class initialize            */
          }

          /*some important function......*/
      }
    

当恶意合约在第一次调用完成之前回调调用合约时，便发生了重入攻击。当存在漏洞的合约在本地执行当前调用的效果之前公开一个与外部合约交互的函数时，便会发生这种情况。这可能导致外部合约接管交互的控制流。

如果恶意合约调用受害者的公开函数与调用合约进行不安全的交互，则攻击合约将接收并处理该交互（例如通过回退函数），并立即再次回调受害者的公开函数，以便进入调用-交互-调用的循环。这种递归状态会阻止受害者进一步执行任何代码，并且可能导致资产或价值的部分或全部耗尽，具体取决于交互的性质。

检查-效果-交互模式通常在智能合约中用于防止发生逻辑错误。该模式指定代码首先检查要求的任何条件，然后执行相关状态更改（效果），最后与该效果的相关外部合约进行交互。

示例 1：以下示例允许通过执行检查、交互，然后执行效果来进行重入攻击，而不遵循检查-效果-交互模式。

代码：

1.检查发送者的余额（检查）。
2.通过 msg.sender.call.value 向调用者发送以太币（交互）。
3.通过减少发送者的余额来执行状态更改（效果）。

function withdraw(uint amount) public{
    if (credit[msg.sender] >= amount) {
        require(msg.sender.call.value(amount)());
        credit[msg.sender]-=amount;
    }
}

Example 1 中的代码通过执行检查-交互-效果来破坏检查-效果-交互模式。如果攻击性智能合约在回退函数中收到以太币并立即回调 withdraw，则可能导致重入，从而造成以太币被耗尽的递归情况，因为永远不会执行减少余额（即效果）的代码行。

使用递归是创建和管理链接数据结构的主要方式。如果数据包含循环链接，则递归也存在无限期处理的风险，这反过来会耗尽堆栈并使程序崩溃。

示例 1：以下代码片段使用 Apache Log4j2 演示了此漏洞。

Marker child = MarkerManager.getMarker("child");
Marker parent = MarkerManager.getMarker("parent");

child.addParents(parent);
parent.addParents(child); 
        
String toInfinity = child.toString();

当 child 调用包含递归处理方法的 toString() 时，会触发堆栈溢出异常（堆栈耗尽）。此异常是由于 child 和 parent 之间存在循环链接而导致的。

如果要将浮点值与 String 对象进行比较，则必须先将该值更改为 String 对象，通常是通过如 Double.toString() 等函数来实现。在将浮点变量转换为 String 对象后，其可能为 "NaN"、"Infinity" 或 "-Infinity"，或者带有几位小数点（其中包含 0），或者可能包含指数字段，具体取决于浮点变量的类型和数值。如果转换为十六进制字符串，则其形式也会有很大差异。

示例 1：以下示例将浮点值与 String 进行了比较。

  ...
  int initialNum = 1;
  ...
  String resultString = Double.valueOf(initialNum/10000.0).toString();
  if (s.equals("0.0001")){
    //do something
    ...
  }
  ...

Windows Azure SQL 数据库仅支持 SQL Server 身份验证。不支持 Windows 身份验证（集成安全性）。用户每次连接 Windows Azure SQL 数据库时必须提供凭据（登录名和密码）。根据 Microsoft Windows Azure SQL 数据库常规指导原则和限制，以下帐户名不可用：admin、管理员、来宾、超级用户、sa。

周围的代码使该指令永远不会被执行。

示例：第二个 if 指令的条件不可能得到满足。这需要变量 s 为非 null 变量，且仅在可以将 s 指定为非 null 值的路径时，存在 return 指令。

String s = null;

if (b) {
   s = "Yes";
   return;
}

if (s != null) {
   Dead();
}