TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b3836-21a9-73fa-aaa8-9eed2a22a6d7

complete
Chain ID
1
Address
0x05c997176166bf633894e3ed24b62883b239e865
Block Number
—
Created
Fri, Dec 19, 2025 8:03 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
149 artifact.fetch complete 1 / 3 4 months ago
150 tool.cast_disasm complete 1 / 3 4 months ago
43591 analysis.bundle complete 1 / 3 2 weeks ago
43592 capability.graph complete 1 / 3 2 weeks ago
43593 detector.run complete 1 / 3 2 weeks ago
43594 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
0
Total opcodes
1540
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00cc
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x24e26241
00000034: EQ
00000035: PUSH2 0x00ce
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x38aa6b7d
0000003f: EQ
00000040: PUSH2 0x00e1
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x481c6a75
0000004a: EQ
0000004b: PUSH2 0x0108
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x4afdd0e7
00000055: EQ
00000056: PUSH2 0x013f
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x4e4f8289
00000060: EQ
00000061: PUSH2 0x0160
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x51cff8d9
0000006b: EQ
0000006c: PUSH2 0x0181
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x54fac919
00000076: EQ
00000077: PUSH2 0x0194
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xaa3f8cb7
00000081: EQ
00000082: PUSH2 0x01a1
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xbbd4e8c9
0000008c: EQ
0000008d: PUSH2 0x01c2
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xbdc68113
00000097: EQ
00000098: PUSH2 0x01e3
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc600e1dc
000000a2: EQ
000000a3: PUSH2 0x020a
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xd0e30db0
000000ad: EQ
000000ae: PUSH2 0x0231
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xd9607482
000000b8: EQ
000000b9: PUSH2 0x023e
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xf8b2cb4f
000000c3: EQ
000000c4: PUSH2 0x025f
000000c7: JUMPI
000000c8: PUSH2 0x00cc
000000cb: JUMP
000000cc: JUMPDEST
000000cd: STOP
000000ce: JUMPDEST
000000cf: PUSH2 0x00df
000000d2: PUSH1 0x04
000000d4: DUP1
000000d5: CALLDATALOAD
000000d6: SWAP1
000000d7: PUSH1 0x20
000000d9: ADD
000000da: POP
000000db: PUSH2 0x07a9
000000de: JUMP
000000df: JUMPDEST
000000e0: STOP
000000e1: JUMPDEST
000000e2: PUSH2 0x00f2
000000e5: PUSH1 0x04
000000e7: DUP1
000000e8: CALLDATALOAD
000000e9: SWAP1
000000ea: PUSH1 0x20
000000ec: ADD
000000ed: POP
000000ee: PUSH2 0x0441
000000f1: JUMP
000000f2: JUMPDEST
000000f3: PUSH1 0x40
000000f5: MLOAD
000000f6: DUP1
000000f7: DUP3
000000f8: DUP2
000000f9: MSTORE
000000fa: PUSH1 0x20
000000fc: ADD
000000fd: SWAP2
000000fe: POP
000000ff: POP
00000100: PUSH1 0x40
00000102: MLOAD
00000103: DUP1
00000104: SWAP2
00000105: SUB
00000106: SWAP1
00000107: RETURN
00000108: JUMPDEST
00000109: PUSH2 0x0113
0000010c: PUSH1 0x04
0000010e: POP
0000010f: PUSH2 0x02b3
00000112: JUMP
00000113: JUMPDEST
00000114: PUSH1 0x40
00000116: MLOAD
00000117: DUP1
00000118: DUP3
00000119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000012e: AND
0000012f: DUP2
00000130: MSTORE
00000131: PUSH1 0x20
00000133: ADD
00000134: SWAP2
00000135: POP
00000136: POP
00000137: PUSH1 0x40
00000139: MLOAD
0000013a: DUP1
0000013b: SWAP2
0000013c: SUB
0000013d: SWAP1
0000013e: RETURN
0000013f: JUMPDEST
00000140: PUSH2 0x014a
00000143: PUSH1 0x04
00000145: POP
00000146: PUSH2 0x0286
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH1 0x40
0000014d: MLOAD
0000014e: DUP1
0000014f: DUP3
00000150: DUP2
00000151: MSTORE
00000152: PUSH1 0x20
00000154: ADD
00000155: SWAP2
00000156: POP
00000157: POP
00000158: PUSH1 0x40
0000015a: MLOAD
0000015b: DUP1
0000015c: SWAP2
0000015d: SUB
0000015e: SWAP1
0000015f: RETURN
00000160: JUMPDEST
00000161: PUSH2 0x016b
00000164: PUSH1 0x04
00000166: POP
00000167: PUSH2 0x028f
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH1 0x40
0000016e: MLOAD
0000016f: DUP1
00000170: DUP3
00000171: DUP2
00000172: MSTORE
00000173: PUSH1 0x20
00000175: ADD
00000176: SWAP2
00000177: POP
00000178: POP
00000179: PUSH1 0x40
0000017b: MLOAD
0000017c: DUP1
0000017d: SWAP2
0000017e: SUB
0000017f: SWAP1
00000180: RETURN
00000181: JUMPDEST
00000182: PUSH2 0x0192
00000185: PUSH1 0x04
00000187: DUP1
00000188: CALLDATALOAD
00000189: SWAP1
0000018a: PUSH1 0x20
0000018c: ADD
0000018d: POP
0000018e: PUSH2 0x061f
00000191: JUMP
00000192: JUMPDEST
00000193: STOP
00000194: JUMPDEST
00000195: PUSH2 0x019f
00000198: PUSH1 0x04
0000019a: POP
0000019b: PUSH2 0x0a22
0000019e: JUMP
0000019f: JUMPDEST
000001a0: STOP
000001a1: JUMPDEST
000001a2: PUSH2 0x01ac
000001a5: PUSH1 0x04
000001a7: POP
000001a8: PUSH2 0x0298
000001ab: JUMP
000001ac: JUMPDEST
000001ad: PUSH1 0x40
000001af: MLOAD
000001b0: DUP1
000001b1: DUP3
000001b2: DUP2
000001b3: MSTORE
000001b4: PUSH1 0x20
000001b6: ADD
000001b7: SWAP2
000001b8: POP
000001b9: POP
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: DUP1
000001be: SWAP2
000001bf: SUB
000001c0: SWAP1
000001c1: RETURN
000001c2: JUMPDEST
000001c3: PUSH2 0x01cd
000001c6: PUSH1 0x04
000001c8: POP
000001c9: PUSH2 0x02aa
000001cc: JUMP
000001cd: JUMPDEST
000001ce: PUSH1 0x40
000001d0: MLOAD
000001d1: DUP1
000001d2: DUP3
000001d3: DUP2
000001d4: MSTORE
000001d5: PUSH1 0x20
000001d7: ADD
000001d8: SWAP2
000001d9: POP
000001da: POP
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: DUP1
000001df: SWAP2
000001e0: SUB
000001e1: SWAP1
000001e2: RETURN
000001e3: JUMPDEST
000001e4: PUSH2 0x01f4
000001e7: PUSH1 0x04
000001e9: DUP1
000001ea: CALLDATALOAD
000001eb: SWAP1
000001ec: PUSH1 0x20
000001ee: ADD
000001ef: POP
000001f0: PUSH2 0x03c9
000001f3: JUMP
000001f4: JUMPDEST
000001f5: PUSH1 0x40
000001f7: MLOAD
000001f8: DUP1
000001f9: DUP3
000001fa: DUP2
000001fb: MSTORE
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: SWAP2
00000200: POP
00000201: POP
00000202: PUSH1 0x40
00000204: MLOAD
00000205: DUP1
00000206: SWAP2
00000207: SUB
00000208: SWAP1
00000209: RETURN
0000020a: JUMPDEST
0000020b: PUSH2 0x021b
0000020e: PUSH1 0x04
00000210: DUP1
00000211: CALLDATALOAD
00000212: SWAP1
00000213: PUSH1 0x20
00000215: ADD
00000216: POP
00000217: PUSH2 0x0351
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x40
0000021e: MLOAD
0000021f: DUP1
00000220: DUP3
00000221: DUP2
00000222: MSTORE
00000223: PUSH1 0x20
00000225: ADD
00000226: SWAP2
00000227: POP
00000228: POP
00000229: PUSH1 0x40
0000022b: MLOAD
0000022c: DUP1
0000022d: SWAP2
0000022e: SUB
0000022f: SWAP1
00000230: RETURN
00000231: JUMPDEST
00000232: PUSH2 0x023c
00000235: PUSH1 0x04
00000237: POP
00000238: PUSH2 0x04bb
0000023b: JUMP
0000023c: JUMPDEST
0000023d: STOP
0000023e: JUMPDEST
0000023f: PUSH2 0x0249
00000242: PUSH1 0x04
00000244: POP
00000245: PUSH2 0x02a1
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: DUP1
0000024e: DUP3
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x20
00000253: ADD
00000254: SWAP2
00000255: POP
00000256: POP
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: DUP1
0000025b: SWAP2
0000025c: SUB
0000025d: SWAP1
0000025e: RETURN
0000025f: JUMPDEST
00000260: PUSH2 0x0270
00000263: PUSH1 0x04
00000265: DUP1
00000266: CALLDATALOAD
00000267: SWAP1
00000268: PUSH1 0x20
0000026a: ADD
0000026b: POP
0000026c: PUSH2 0x02d9
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH1 0x40
00000273: MLOAD
00000274: DUP1
00000275: DUP3
00000276: DUP2
00000277: MSTORE
00000278: PUSH1 0x20
0000027a: ADD
0000027b: SWAP2
0000027c: POP
0000027d: POP
0000027e: PUSH1 0x40
00000280: MLOAD
00000281: DUP1
00000282: SWAP2
00000283: SUB
00000284: SWAP1
00000285: RETURN
00000286: JUMPDEST
00000287: PUSH1 0x00
00000289: PUSH1 0x00
0000028b: POP
0000028c: SLOAD
0000028d: DUP2
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x01
00000292: PUSH1 0x00
00000294: POP
00000295: SLOAD
00000296: DUP2
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH1 0x02
0000029b: PUSH1 0x00
0000029d: POP
0000029e: SLOAD
0000029f: DUP2
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH1 0x03
000002a4: PUSH1 0x00
000002a6: POP
000002a7: SLOAD
000002a8: DUP2
000002a9: JUMP
000002aa: JUMPDEST
000002ab: PUSH1 0x04
000002ad: PUSH1 0x00
000002af: POP
000002b0: SLOAD
000002b1: DUP2
000002b2: JUMP
000002b3: JUMPDEST
000002b4: PUSH1 0x05
000002b6: PUSH1 0x00
000002b8: SWAP1
000002b9: SLOAD
000002ba: SWAP1
000002bb: PUSH2 0x0100
000002be: EXP
000002bf: SWAP1
000002c0: DIV
000002c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d6: AND
000002d7: DUP2
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH1 0x00
000002dc: DUP2
000002dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f2: AND
000002f3: CALLER
000002f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000309: AND
0000030a: EQ
0000030b: ISZERO
0000030c: ISZERO
0000030d: PUSH2 0x0315
00000310: JUMPI
00000311: PUSH2 0x034c
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x06
00000318: PUSH1 0x00
0000031a: POP
0000031b: PUSH1 0x00
0000031d: DUP4
0000031e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000333: AND
00000334: DUP2
00000335: MSTORE
00000336: PUSH1 0x20
00000338: ADD
00000339: SWAP1
0000033a: DUP2
0000033b: MSTORE
0000033c: PUSH1 0x20
0000033e: ADD
0000033f: PUSH1 0x00
00000341: KECCAK256
00000342: PUSH1 0x00
00000344: POP
00000345: SLOAD
00000346: SWAP1
00000347: POP
00000348: PUSH2 0x034c
0000034b: JUMP
0000034c: JUMPDEST
0000034d: SWAP2
0000034e: SWAP1
0000034f: POP
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x00
00000354: DUP2
00000355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036a: AND
0000036b: CALLER
0000036c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000381: AND
00000382: EQ
00000383: ISZERO
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH2 0x03c4
0000038c: JUMP
0000038d: JUMPDEST
0000038e: PUSH1 0x09
00000390: PUSH1 0x00
00000392: POP
00000393: PUSH1 0x00
00000395: DUP4
00000396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ab: AND
000003ac: DUP2
000003ad: MSTORE
000003ae: PUSH1 0x20
000003b0: ADD
000003b1: SWAP1
000003b2: DUP2
000003b3: MSTORE
000003b4: PUSH1 0x20
000003b6: ADD
000003b7: PUSH1 0x00
000003b9: KECCAK256
000003ba: PUSH1 0x00
000003bc: POP
000003bd: SLOAD
000003be: SWAP1
000003bf: POP
000003c0: PUSH2 0x03c4
000003c3: JUMP
000003c4: JUMPDEST
000003c5: SWAP2
000003c6: SWAP1
000003c7: POP
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH1 0x00
000003cc: DUP2
000003cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e2: AND
000003e3: CALLER
000003e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003f9: AND
000003fa: EQ
000003fb: ISZERO
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH2 0x043c
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH1 0x08
00000408: PUSH1 0x00
0000040a: POP
0000040b: PUSH1 0x00
0000040d: DUP4
0000040e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000423: AND
00000424: DUP2
00000425: MSTORE
00000426: PUSH1 0x20
00000428: ADD
00000429: SWAP1
0000042a: DUP2
0000042b: MSTORE
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: PUSH1 0x00
00000431: KECCAK256
00000432: PUSH1 0x00
00000434: POP
00000435: SLOAD
00000436: SWAP1
00000437: POP
00000438: PUSH2 0x043c
0000043b: JUMP
0000043c: JUMPDEST
0000043d: SWAP2
0000043e: SWAP1
0000043f: POP
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH1 0x00
00000444: DUP2
00000445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045a: AND
0000045b: CALLER
0000045c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000471: AND
00000472: EQ
00000473: ISZERO
00000474: ISZERO
00000475: PUSH2 0x047d
00000478: JUMPI
00000479: PUSH2 0x04b6
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH1 0x07
00000480: PUSH1 0x00
00000482: POP
00000483: PUSH1 0x00
00000485: DUP4
00000486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000049b: AND
0000049c: DUP2
0000049d: MSTORE
0000049e: PUSH1 0x20
000004a0: ADD
000004a1: SWAP1
000004a2: DUP2
000004a3: MSTORE
000004a4: PUSH1 0x20
000004a6: ADD
000004a7: PUSH1 0x00
000004a9: KECCAK256
000004aa: PUSH1 0x00
000004ac: POP
000004ad: SLOAD
000004ae: TIMESTAMP
000004af: SUB
000004b0: SWAP1
000004b1: POP
000004b2: PUSH2 0x04b6
000004b5: JUMP
000004b6: JUMPDEST
000004b7: SWAP2
000004b8: SWAP1
000004b9: POP
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH1 0x04
000004be: PUSH1 0x00
000004c0: DUP2
000004c1: DUP2
000004c2: POP
000004c3: SLOAD
000004c4: PUSH1 0x01
000004c6: ADD
000004c7: SWAP2
000004c8: SWAP1
000004c9: POP
000004ca: DUP2
000004cb: SWAP1
000004cc: SSTORE
000004cd: POP
000004ce: TIMESTAMP
000004cf: PUSH1 0x01
000004d1: PUSH1 0x00
000004d3: POP
000004d4: DUP2
000004d5: SWAP1
000004d6: SSTORE
000004d7: POP
000004d8: PUSH1 0x01
000004da: PUSH1 0x00
000004dc: POP
000004dd: SLOAD
000004de: PUSH1 0x07
000004e0: PUSH1 0x00
000004e2: POP
000004e3: PUSH1 0x00
000004e5: CALLER
000004e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004fb: AND
000004fc: DUP2
000004fd: MSTORE
000004fe: PUSH1 0x20
00000500: ADD
00000501: SWAP1
00000502: DUP2
00000503: MSTORE
00000504: PUSH1 0x20
00000506: ADD
00000507: PUSH1 0x00
00000509: KECCAK256
0000050a: PUSH1 0x00
0000050c: POP
0000050d: DUP2
0000050e: SWAP1
0000050f: SSTORE
00000510: POP
00000511: CALLER
00000512: PUSH1 0x0a
00000514: PUSH1 0x00
00000516: POP
00000517: PUSH1 0x00
00000519: PUSH1 0x04
0000051b: PUSH1 0x00
0000051d: POP
0000051e: SLOAD
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x20
00000523: ADD
00000524: SWAP1
00000525: DUP2
00000526: MSTORE
00000527: PUSH1 0x20
00000529: ADD
0000052a: PUSH1 0x00
0000052c: KECCAK256
0000052d: PUSH1 0x00
0000052f: PUSH2 0x0100
00000532: EXP
00000533: DUP2
00000534: SLOAD
00000535: DUP2
00000536: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000054b: MUL
0000054c: NOT
0000054d: AND
0000054e: SWAP1
0000054f: DUP4
00000550: MUL
00000551: OR
00000552: SWAP1
00000553: SSTORE
00000554: POP
00000555: CALLVALUE
00000556: PUSH1 0x06
00000558: PUSH1 0x00
0000055a: POP
0000055b: PUSH1 0x00
0000055d: CALLER
0000055e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000573: AND
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x20
00000578: ADD
00000579: SWAP1
0000057a: DUP2
0000057b: MSTORE
0000057c: PUSH1 0x20
0000057e: ADD
0000057f: PUSH1 0x00
00000581: KECCAK256
00000582: PUSH1 0x00
00000584: DUP3
00000585: DUP3
00000586: DUP3
00000587: POP
00000588: SLOAD
00000589: ADD
0000058a: SWAP3
0000058b: POP
0000058c: POP
0000058d: DUP2
0000058e: SWAP1
0000058f: SSTORE
00000590: POP
00000591: PUSH1 0x64
00000593: PUSH1 0x00
00000595: PUSH1 0x00
00000597: POP
00000598: SLOAD
00000599: CALLVALUE
0000059a: MUL
0000059b: DIV
0000059c: PUSH1 0x08
0000059e: PUSH1 0x00
000005a0: POP
000005a1: PUSH1 0x00
000005a3: CALLER
000005a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b9: AND
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP1
000005c0: DUP2
000005c1: MSTORE
000005c2: PUSH1 0x20
000005c4: ADD
000005c5: PUSH1 0x00
000005c7: KECCAK256
000005c8: PUSH1 0x00
000005ca: DUP3
000005cb: DUP3
000005cc: DUP3
000005cd: POP
000005ce: SLOAD
000005cf: ADD
000005d0: SWAP3
000005d1: POP
000005d2: POP
000005d3: DUP2
000005d4: SWAP1
000005d5: SSTORE
000005d6: POP
000005d7: PUSH1 0x64
000005d9: PUSH1 0x00
000005db: PUSH1 0x00
000005dd: POP
000005de: SLOAD
000005df: CALLVALUE
000005e0: MUL
000005e1: DIV
000005e2: PUSH1 0x09
000005e4: PUSH1 0x00
000005e6: POP
000005e7: PUSH1 0x00
000005e9: CALLER
000005ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ff: AND
00000600: DUP2
00000601: MSTORE
00000602: PUSH1 0x20
00000604: ADD
00000605: SWAP1
00000606: DUP2
00000607: MSTORE
00000608: PUSH1 0x20
0000060a: ADD
0000060b: PUSH1 0x00
0000060d: KECCAK256
0000060e: PUSH1 0x00
00000610: DUP3
00000611: DUP3
00000612: DUP3
00000613: POP
00000614: SLOAD
00000615: ADD
00000616: SWAP3
00000617: POP
00000618: POP
00000619: DUP2
0000061a: SWAP1
0000061b: SSTORE
0000061c: POP
0000061d: JUMPDEST
0000061e: JUMP
0000061f: JUMPDEST
00000620: DUP1
00000621: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000636: AND
00000637: CALLER
00000638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000064d: AND
0000064e: EQ
0000064f: ISZERO
00000650: ISZERO
00000651: PUSH2 0x0659
00000654: JUMPI
00000655: PUSH2 0x07a6
00000658: JUMP
00000659: JUMPDEST
0000065a: PUSH1 0x03
0000065c: PUSH1 0x00
0000065e: POP
0000065f: SLOAD
00000660: PUSH1 0x07
00000662: PUSH1 0x00
00000664: POP
00000665: PUSH1 0x00
00000667: DUP4
00000668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000067d: AND
0000067e: DUP2
0000067f: MSTORE
00000680: PUSH1 0x20
00000682: ADD
00000683: SWAP1
00000684: DUP2
00000685: MSTORE
00000686: PUSH1 0x20
00000688: ADD
00000689: PUSH1 0x00
0000068b: KECCAK256
0000068c: PUSH1 0x00
0000068e: POP
0000068f: SLOAD
00000690: TIMESTAMP
00000691: SUB
00000692: LT
00000693: ISZERO
00000694: ISZERO
00000695: PUSH2 0x079a
00000698: JUMPI
00000699: CALLER
0000069a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006af: AND
000006b0: PUSH1 0x00
000006b2: PUSH1 0x09
000006b4: PUSH1 0x00
000006b6: POP
000006b7: PUSH1 0x00
000006b9: DUP5
000006ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006cf: AND
000006d0: DUP2
000006d1: MSTORE
000006d2: PUSH1 0x20
000006d4: ADD
000006d5: SWAP1
000006d6: DUP2
000006d7: MSTORE
000006d8: PUSH1 0x20
000006da: ADD
000006db: PUSH1 0x00
000006dd: KECCAK256
000006de: PUSH1 0x00
000006e0: POP
000006e1: SLOAD
000006e2: PUSH1 0x06
000006e4: PUSH1 0x00
000006e6: POP
000006e7: PUSH1 0x00
000006e9: DUP6
000006ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ff: AND
00000700: DUP2
00000701: MSTORE
00000702: PUSH1 0x20
00000704: ADD
00000705: SWAP1
00000706: DUP2
00000707: MSTORE
00000708: PUSH1 0x20
0000070a: ADD
0000070b: PUSH1 0x00
0000070d: KECCAK256
0000070e: PUSH1 0x00
00000710: POP
00000711: SLOAD
00000712: ADD
00000713: PUSH1 0x40
00000715: MLOAD
00000716: DUP1
00000717: SWAP1
00000718: POP
00000719: PUSH1 0x00
0000071b: PUSH1 0x40
0000071d: MLOAD
0000071e: DUP1
0000071f: DUP4
00000720: SUB
00000721: DUP2
00000722: DUP6
00000723: DUP9
00000724: DUP9
00000725: CALL
00000726: SWAP4
00000727: POP
00000728: POP
00000729: POP
0000072a: POP
0000072b: POP
0000072c: PUSH1 0x00
0000072e: PUSH1 0x09
00000730: PUSH1 0x00
00000732: POP
00000733: PUSH1 0x00
00000735: DUP4
00000736: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000074b: AND
0000074c: DUP2
0000074d: MSTORE
0000074e: PUSH1 0x20
00000750: ADD
00000751: SWAP1
00000752: DUP2
00000753: MSTORE
00000754: PUSH1 0x20
00000756: ADD
00000757: PUSH1 0x00
00000759: KECCAK256
0000075a: PUSH1 0x00
0000075c: POP
0000075d: DUP2
0000075e: SWAP1
0000075f: SSTORE
00000760: POP
00000761: PUSH1 0x00
00000763: PUSH1 0x06
00000765: PUSH1 0x00
00000767: POP
00000768: PUSH1 0x00
0000076a: DUP4
0000076b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000780: AND
00000781: DUP2
00000782: MSTORE
00000783: PUSH1 0x20
00000785: ADD
00000786: SWAP1
00000787: DUP2
00000788: MSTORE
00000789: PUSH1 0x20
0000078b: ADD
0000078c: PUSH1 0x00
0000078e: KECCAK256
0000078f: PUSH1 0x00
00000791: POP
00000792: DUP2
00000793: SWAP1
00000794: SSTORE
00000795: POP
00000796: PUSH2 0x07a5
00000799: JUMP
0000079a: JUMPDEST
0000079b: TIMESTAMP
0000079c: PUSH1 0x02
0000079e: PUSH1 0x00
000007a0: POP
000007a1: DUP2
000007a2: SWAP1
000007a3: SSTORE
000007a4: POP
000007a5: JUMPDEST
000007a6: JUMPDEST
000007a7: POP
000007a8: JUMP
000007a9: JUMPDEST
000007aa: DUP1
000007ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c0: AND
000007c1: CALLER
000007c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d7: AND
000007d8: EQ
000007d9: ISZERO
000007da: ISZERO
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH2 0x0a1f
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH1 0x03
000007e6: PUSH1 0x00
000007e8: POP
000007e9: SLOAD
000007ea: PUSH1 0x07
000007ec: PUSH1 0x00
000007ee: POP
000007ef: PUSH1 0x00
000007f1: DUP4
000007f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000807: AND
00000808: DUP2
00000809: MSTORE
0000080a: PUSH1 0x20
0000080c: ADD
0000080d: SWAP1
0000080e: DUP2
0000080f: MSTORE
00000810: PUSH1 0x20
00000812: ADD
00000813: PUSH1 0x00
00000815: KECCAK256
00000816: PUSH1 0x00
00000818: POP
00000819: SLOAD
0000081a: TIMESTAMP
0000081b: SUB
0000081c: LT
0000081d: ISZERO
0000081e: ISZERO
0000081f: PUSH2 0x0a13
00000822: JUMPI
00000823: CALLER
00000824: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000839: AND
0000083a: PUSH1 0x00
0000083c: PUSH1 0x09
0000083e: PUSH1 0x00
00000840: POP
00000841: PUSH1 0x00
00000843: DUP5
00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000859: AND
0000085a: DUP2
0000085b: MSTORE
0000085c: PUSH1 0x20
0000085e: ADD
0000085f: SWAP1
00000860: DUP2
00000861: MSTORE
00000862: PUSH1 0x20
00000864: ADD
00000865: PUSH1 0x00
00000867: KECCAK256
00000868: PUSH1 0x00
0000086a: POP
0000086b: SLOAD
0000086c: PUSH1 0x40
0000086e: MLOAD
0000086f: DUP1
00000870: SWAP1
00000871: POP
00000872: PUSH1 0x00
00000874: PUSH1 0x40
00000876: MLOAD
00000877: DUP1
00000878: DUP4
00000879: SUB
0000087a: DUP2
0000087b: DUP6
0000087c: DUP9
0000087d: DUP9
0000087e: CALL
0000087f: SWAP4
00000880: POP
00000881: POP
00000882: POP
00000883: POP
00000884: POP
00000885: PUSH1 0x00
00000887: PUSH1 0x07
00000889: PUSH1 0x00
0000088b: POP
0000088c: PUSH1 0x00
0000088e: CALLER
0000088f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a4: AND
000008a5: DUP2
000008a6: MSTORE
000008a7: PUSH1 0x20
000008a9: ADD
000008aa: SWAP1
000008ab: DUP2
000008ac: MSTORE
000008ad: PUSH1 0x20
000008af: ADD
000008b0: PUSH1 0x00
000008b2: KECCAK256
000008b3: PUSH1 0x00
000008b5: POP
000008b6: DUP2
000008b7: SWAP1
000008b8: SSTORE
000008b9: POP
000008ba: PUSH1 0x09
000008bc: PUSH1 0x00
000008be: POP
000008bf: PUSH1 0x00
000008c1: DUP3
000008c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d7: AND
000008d8: DUP2
000008d9: MSTORE
000008da: PUSH1 0x20
000008dc: ADD
000008dd: SWAP1
000008de: DUP2
000008df: MSTORE
000008e0: PUSH1 0x20
000008e2: ADD
000008e3: PUSH1 0x00
000008e5: KECCAK256
000008e6: PUSH1 0x00
000008e8: POP
000008e9: SLOAD
000008ea: PUSH1 0x09
000008ec: PUSH1 0x00
000008ee: POP
000008ef: PUSH1 0x00
000008f1: CALLER
000008f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000907: AND
00000908: DUP2
00000909: MSTORE
0000090a: PUSH1 0x20
0000090c: ADD
0000090d: SWAP1
0000090e: DUP2
0000090f: MSTORE
00000910: PUSH1 0x20
00000912: ADD
00000913: PUSH1 0x00
00000915: KECCAK256
00000916: PUSH1 0x00
00000918: DUP3
00000919: DUP3
0000091a: DUP3
0000091b: POP
0000091c: SLOAD
0000091d: SUB
0000091e: SWAP3
0000091f: POP
00000920: POP
00000921: DUP2
00000922: SWAP1
00000923: SSTORE
00000924: POP
00000925: PUSH1 0x64
00000927: PUSH1 0x00
00000929: PUSH1 0x00
0000092b: POP
0000092c: SLOAD
0000092d: PUSH1 0x06
0000092f: PUSH1 0x00
00000931: POP
00000932: PUSH1 0x00
00000934: CALLER
00000935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094a: AND
0000094b: DUP2
0000094c: MSTORE
0000094d: PUSH1 0x20
0000094f: ADD
00000950: SWAP1
00000951: DUP2
00000952: MSTORE
00000953: PUSH1 0x20
00000955: ADD
00000956: PUSH1 0x00
00000958: KECCAK256
00000959: PUSH1 0x00
0000095b: POP
0000095c: SLOAD
0000095d: MUL
0000095e: DIV
0000095f: PUSH1 0x09
00000961: PUSH1 0x00
00000963: POP
00000964: PUSH1 0x00
00000966: CALLER
00000967: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097c: AND
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x20
00000981: ADD
00000982: SWAP1
00000983: DUP2
00000984: MSTORE
00000985: PUSH1 0x20
00000987: ADD
00000988: PUSH1 0x00
0000098a: KECCAK256
0000098b: PUSH1 0x00
0000098d: DUP3
0000098e: DUP3
0000098f: DUP3
00000990: POP
00000991: SLOAD
00000992: ADD
00000993: SWAP3
00000994: POP
00000995: POP
00000996: DUP2
00000997: SWAP1
00000998: SSTORE
00000999: POP
0000099a: PUSH1 0x64
0000099c: PUSH1 0x00
0000099e: PUSH1 0x00
000009a0: POP
000009a1: SLOAD
000009a2: PUSH1 0x06
000009a4: PUSH1 0x00
000009a6: POP
000009a7: PUSH1 0x00
000009a9: CALLER
000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bf: AND
000009c0: DUP2
000009c1: MSTORE
000009c2: PUSH1 0x20
000009c4: ADD
000009c5: SWAP1
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x20
000009ca: ADD
000009cb: PUSH1 0x00
000009cd: KECCAK256
000009ce: PUSH1 0x00
000009d0: POP
000009d1: SLOAD
000009d2: MUL
000009d3: DIV
000009d4: PUSH1 0x08
000009d6: PUSH1 0x00
000009d8: POP
000009d9: PUSH1 0x00
000009db: CALLER
000009dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f1: AND
000009f2: DUP2
000009f3: MSTORE
000009f4: PUSH1 0x20
000009f6: ADD
000009f7: SWAP1
000009f8: DUP2
000009f9: MSTORE
000009fa: PUSH1 0x20
000009fc: ADD
000009fd: PUSH1 0x00
000009ff: KECCAK256
00000a00: PUSH1 0x00
00000a02: DUP3
00000a03: DUP3
00000a04: DUP3
00000a05: POP
00000a06: SLOAD
00000a07: ADD
00000a08: SWAP3
00000a09: POP
00000a0a: POP
00000a0b: DUP2
00000a0c: SWAP1
00000a0d: SSTORE
00000a0e: POP
00000a0f: PUSH2 0x0a1e
00000a12: JUMP
00000a13: JUMPDEST
00000a14: TIMESTAMP
00000a15: PUSH1 0x02
00000a17: PUSH1 0x00
00000a19: POP
00000a1a: DUP2
00000a1b: SWAP1
00000a1c: SSTORE
00000a1d: POP
00000a1e: JUMPDEST
00000a1f: JUMPDEST
00000a20: POP
00000a21: JUMP
00000a22: JUMPDEST
00000a23: PUSH1 0x00
00000a25: PUSH1 0x05
00000a27: PUSH1 0x00
00000a29: SWAP1
00000a2a: SLOAD
00000a2b: SWAP1
00000a2c: PUSH2 0x0100
00000a2f: EXP
00000a30: SWAP1
00000a31: DIV
00000a32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a47: AND
00000a48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a5d: AND
00000a5e: CALLER
00000a5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a74: AND
00000a75: EQ
00000a76: ISZERO
00000a77: ISZERO
00000a78: PUSH2 0x0a80
00000a7b: JUMPI
00000a7c: PUSH2 0x0bed
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: PUSH2 0x01f4
00000a84: PUSH1 0x01
00000a86: PUSH1 0x00
00000a88: POP
00000a89: SLOAD
00000a8a: TIMESTAMP
00000a8b: SUB
00000a8c: LT
00000a8d: ISZERO
00000a8e: ISZERO
00000a8f: PUSH2 0x0bec
00000a92: JUMPI
00000a93: PUSH1 0x00
00000a95: SWAP1
00000a96: POP
00000a97: JUMPDEST
00000a98: PUSH1 0x04
00000a9a: PUSH1 0x00
00000a9c: POP
00000a9d: SLOAD
00000a9e: DUP2
00000a9f: LT
00000aa0: ISZERO
00000aa1: PUSH2 0x0beb
00000aa4: JUMPI
00000aa5: PUSH1 0x0a
00000aa7: PUSH1 0x00
00000aa9: POP
00000aaa: PUSH1 0x00
00000aac: DUP3
00000aad: DUP2
00000aae: MSTORE
00000aaf: PUSH1 0x20
00000ab1: ADD
00000ab2: SWAP1
00000ab3: DUP2
00000ab4: MSTORE
00000ab5: PUSH1 0x20
00000ab7: ADD
00000ab8: PUSH1 0x00
00000aba: KECCAK256
00000abb: PUSH1 0x00
00000abd: SWAP1
00000abe: SLOAD
00000abf: SWAP1
00000ac0: PUSH2 0x0100
00000ac3: EXP
00000ac4: SWAP1
00000ac5: DIV
00000ac6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000adb: AND
00000adc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af1: AND
00000af2: PUSH1 0x00
00000af4: PUSH1 0x06
00000af6: PUSH1 0x00
00000af8: POP
00000af9: PUSH1 0x00
00000afb: PUSH1 0x0a
00000afd: PUSH1 0x00
00000aff: POP
00000b00: PUSH1 0x00
00000b02: DUP7
00000b03: DUP2
00000b04: MSTORE
00000b05: PUSH1 0x20
00000b07: ADD
00000b08: SWAP1
00000b09: DUP2
00000b0a: MSTORE
00000b0b: PUSH1 0x20
00000b0d: ADD
00000b0e: PUSH1 0x00
00000b10: KECCAK256
00000b11: PUSH1 0x00
00000b13: SWAP1
00000b14: SLOAD
00000b15: SWAP1
00000b16: PUSH2 0x0100
00000b19: EXP
00000b1a: SWAP1
00000b1b: DIV
00000b1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b31: AND
00000b32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b47: AND
00000b48: DUP2
00000b49: MSTORE
00000b4a: PUSH1 0x20
00000b4c: ADD
00000b4d: SWAP1
00000b4e: DUP2
00000b4f: MSTORE
00000b50: PUSH1 0x20
00000b52: ADD
00000b53: PUSH1 0x00
00000b55: KECCAK256
00000b56: PUSH1 0x00
00000b58: POP
00000b59: SLOAD
00000b5a: PUSH1 0x40
00000b5c: MLOAD
00000b5d: DUP1
00000b5e: SWAP1
00000b5f: POP
00000b60: PUSH1 0x00
00000b62: PUSH1 0x40
00000b64: MLOAD
00000b65: DUP1
00000b66: DUP4
00000b67: SUB
00000b68: DUP2
00000b69: DUP6
00000b6a: DUP9
00000b6b: DUP9
00000b6c: CALL
00000b6d: SWAP4
00000b6e: POP
00000b6f: POP
00000b70: POP
00000b71: POP
00000b72: POP
00000b73: PUSH1 0x00
00000b75: PUSH1 0x06
00000b77: PUSH1 0x00
00000b79: POP
00000b7a: PUSH1 0x00
00000b7c: PUSH1 0x0a
00000b7e: PUSH1 0x00
00000b80: POP
00000b81: PUSH1 0x00
00000b83: DUP6
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH1 0x20
00000b88: ADD
00000b89: SWAP1
00000b8a: DUP2
00000b8b: MSTORE
00000b8c: PUSH1 0x20
00000b8e: ADD
00000b8f: PUSH1 0x00
00000b91: KECCAK256
00000b92: PUSH1 0x00
00000b94: SWAP1
00000b95: SLOAD
00000b96: SWAP1
00000b97: PUSH2 0x0100
00000b9a: EXP
00000b9b: SWAP1
00000b9c: DIV
00000b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb2: AND
00000bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc8: AND
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x20
00000bcd: ADD
00000bce: SWAP1
00000bcf: DUP2
00000bd0: MSTORE
00000bd1: PUSH1 0x20
00000bd3: ADD
00000bd4: PUSH1 0x00
00000bd6: KECCAK256
00000bd7: PUSH1 0x00
00000bd9: POP
00000bda: DUP2
00000bdb: SWAP1
00000bdc: SSTORE
00000bdd: POP
00000bde: JUMPDEST
00000bdf: DUP1
00000be0: PUSH1 0x01
00000be2: ADD
00000be3: SWAP1
00000be4: POP
00000be5: DUP1
00000be6: POP
00000be7: PUSH2 0x0a97
00000bea: JUMP
00000beb: JUMPDEST
00000bec: JUMPDEST
00000bed: JUMPDEST
00000bee: POP
00000bef: JUMP
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xb83e7ddf98a15e0df2fa1ed6f47df213e3a0b63715623c677762121e349432e1
call_targets: 0x05c997176166bf633894e3ed24b62883b239e865
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb83e7ddf98a15e0df2fa1ed6f47df213e3a0b63715623c677762121e349432e1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x05c997176166bf633894e3ed24b62883b239e865"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x24e26241",
            "selector": "0x24e26241",
            "calldata_variants": [
                "0x24e26241",
                "0x24e262410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38aa6b7d",
            "selector": "0x38aa6b7d",
            "calldata_variants": [
                "0x38aa6b7d",
                "0x38aa6b7d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x481c6a75",
            "selector": "0x481c6a75",
            "calldata_variants": [
                "0x481c6a75",
                "0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4afdd0e7",
            "selector": "0x4afdd0e7",
            "calldata_variants": [
                "0x4afdd0e7",
                "0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e4f8289",
            "selector": "0x4e4f8289",
            "calldata_variants": [
                "0x4e4f8289",
                "0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fac919",
            "selector": "0x54fac919",
            "calldata_variants": [
                "0x54fac919",
                "0x54fac9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa3f8cb7",
            "selector": "0xaa3f8cb7",
            "calldata_variants": [
                "0xaa3f8cb7",
                "0xaa3f8cb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1829,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2174,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2924,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 755,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 875,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1115,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1591,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1985,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2654,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xb83e7ddf98a15e0df2fa1ed6f47df213e3a0b63715623c677762121e349432e1
call_targets: 0x05c997176166bf633894e3ed24b62883b239e865
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb83e7ddf98a15e0df2fa1ed6f47df213e3a0b63715623c677762121e349432e1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x05c997176166bf633894e3ed24b62883b239e865"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x24e26241",
            "selector": "0x24e26241",
            "calldata_variants": [
                "0x24e26241",
                "0x24e262410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38aa6b7d",
            "selector": "0x38aa6b7d",
            "calldata_variants": [
                "0x38aa6b7d",
                "0x38aa6b7d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x481c6a75",
            "selector": "0x481c6a75",
            "calldata_variants": [
                "0x481c6a75",
                "0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4afdd0e7",
            "selector": "0x4afdd0e7",
            "calldata_variants": [
                "0x4afdd0e7",
                "0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e4f8289",
            "selector": "0x4e4f8289",
            "calldata_variants": [
                "0x4e4f8289",
                "0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fac919",
            "selector": "0x54fac919",
            "calldata_variants": [
                "0x54fac919",
                "0x54fac9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa3f8cb7",
            "selector": "0xaa3f8cb7",
            "calldata_variants": [
                "0xaa3f8cb7",
                "0xaa3f8cb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1829,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2174,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2924,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 755,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 875,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1115,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1591,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1985,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2654,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}