re-triton

请使用 re-triton 对这个二进制函数做符号执行，找出哪些输入条件会通过校验，并列出对应的路径约束。

返回可通过校验的输入条件、关键分支路径与约束表达式。

请用 re-triton 将用户输入标记为污点，分析它在二进制程序中的传播过程，并指出是否影响敏感函数参数。

给出污点传播链路、受影响寄存器或内存位置，以及潜在风险点。

请使用 re-triton 对该二进制中的目标分支进行约束求解，生成一组可以触发该分支的示例输入。

输出满足目标分支条件的示例输入及其求解依据。