VeriHarm框架通过对编程任务进行最小扰动来诱发智能体产生非预期有害行为，同时保持任务良性属性和原始目标不变。