熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
心智:爆炸
claude + foundry 模糊測試非常(非常)好,但 claude + foundry 不變性測試是 OP!!!
與 QT 中的相同不變性,但這次是通過不變性測試發現的 - 而不是針對性的模糊測試(當然是被 claude 一次性解決)
與其試圖猜測不變性如何破壞,claude 寫了一個通用處理器,包裝所有面向用戶的狀態改變函數,讓模糊測試器隨意發揮
添加另一個不變性是微不足道的,只需編寫不變性本身 - 不需要新的重現邏輯
這似乎是測試協議的一次階段性升級
非常感謝傳奇的 @gndizzy 和所有建造這項不可思議技術的巨人們



熱門
排行
收藏
