（4）检查固定资产的增减是否按照企业制度规定正确履行审批手续

漏洞分析合约存在一个stakeOnBehalf函数使得攻击者可以为任意用户进行抵押，如下图所示：此函数中的 lastStakeTimes[stakeFor] = block.timest 语句会更新用