一种基于子图搜索的指针相关语义错误定位方法，(1)根据失败的测试用例的输入，对程序进行符号执行，记录源程序在这一输入下的执行轨迹，各个程序状态和指针相关的复杂结构的RDF文件；(2)根据执行轨迹，从程序中变量的值与期望值不一致的断点处，反向对程序轨迹中的每一个语句生成定位方程组和SPARQL查询文件；(3)通过二分法反向找到使得定位方程组或SPARQL查询无解的第一个语句，由断点到此语句之间的与断点变元相关的语句构成了一个极小程序片段；(4)用户可以再次输入片段中变量在某个状态下的预期值，在此程序片段中再次定位错误所在的程序片段，不断重复这一交互过程，直到得到的程序片段足够小，能够精确地定位到错误。