Connect Audix MCP to your coding agent
243c: CALL 243d: ISZERO 2441: JUMPI ⋮ 2471: ADD 2473: SSTORE
0000 cbf0b0c0 |sel 0004 0000000000000000 |pad 000c 00000000ae7168de |_to 0014 b525862f4fee37d9 |_to 001c 87a971b385b96952 |_to _to = self (devops199)
243a: GAS 243b: SUB 243c: CALL 243d: ISZERO 243e: PUSH2 0x0002 2441: JUMPI ⋮ 2464: PUSH1 0x09 246c: KECCAK256 246e: SLOAD 2471: ADD 2473: SSTORE
// tx 0x47f7cff7..f690 block 4501969 // selector cbf0b0c0 = kill(address) 0000 cbf0b0c0 | sel 0004 000000000000000000000000ae7168de | _to 0014 b525862f4fee37d987a971b385b96952 | _to _to = 0xae7168..b96952 = msg.sender value 0 - nonce 89 - 2017-11-06 "I accidentally killed it."
ENGINE MEDUSA WORKERS 16 SEQ LEN 100 COVERAGE GUIDED PHASE TARGET_FUNCTIONS
00: 04ff ff00 1d01 0445 5468 6520 5469 6d65 .......EThe Time 10: 7320 3033 2f4a 616e 2f32 3030 3920 4368 s 03/Jan/2009 Ch 20: 616e 6365 6c6c 6f72 206f 6e20 6272 696e ancellor on brin 30: 6b20 6f66 2073 6563 6f6e 6420 6261 696c k of second bail 40: 6f75 7420 666f 7220 6261 6e6b 73 out for banks
◎△○⬡✛
[PASS] calls = runs x depth(15)
PROPERTIES 3 WRAPPERS 6 TOKENS 5,760,711 / 25,000,000 FORK k2.6:cloud · 0.146.0 REWARD 1
│ ├─ [24779] Vault::withdraw()
│ │ ├─ [17047] Attacker::receive{value: 1}()
│ │ │ ├─ [16403] Vault::withdraw()
│ │ │ │ ├─ [8671] Attacker::receive{value: 1}()
│ │ │ │ │ ├─ [8027] Vault::withdraw()
│ │ │ │ │ │ │ └─ ← [Stop]
│ │ │ │ │ │ └─ ← [Stop]
│ │ │ │ │ └─ ← [Stop]
│ │ │ │ └─ ← [Stop]
│ │ │ └─ ← [Stop]
│ │ └─ ← [Stop]
│ └─ ← [Stop]
└─ ← [Stop]
