https://dacian.me/find-highs-before-external-auditors-using-invariant-fuzz-testing
invariant #fuzz 测试寻找漏洞案例