{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["cpp_dynamic_cast"],"properties":{"cpp_dynamic_cast":{"type":"object","additionalProperties":false,"required":["claim","classes","most_derived","queries"],"properties":{"claim":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"classes":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["bases"],"properties":{"bases":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["class","virtual"],"properties":{"class":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"virtual":{"type":"boolean"}}}}}}},"most_derived":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"queries":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["source_class","source_occurrence","target_class"],"properties":{"source_class":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"source_occurrence":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"target_class":{"type":"number","minimum":-1000000000000,"maximum":1000000000000}}}}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-A-NIGHT-OS-CPP-CAST/cpp-polymorphic-subobject-dynamic-cast"}