{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["jvmVerifier"],"properties":{"jvmVerifier":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["arguments","frames","instructions","max_locals","max_stack","return_type"],"properties":{"arguments":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},"frames":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},"instructions":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},"max_locals":{"type":"number"},"max_stack":{"type":"number"},"return_type":{"type":"string","maxLength":20000}}},"claim":{"$ref":"#/properties/artifact/%24defs/json"}}}},"$defs":{"json":{"anyOf":[{"type":"null"},{"type":"boolean"},{"type":"number"},{"type":"string","maxLength":6000},{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},{"type":"object","maxProperties":128,"additionalProperties":{"$ref":"#/properties/artifact/%24defs/json"}}]}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/jvms21-typed-control-flow-stackmap-uninitialized-verification"}