基于分段函数的不透明谓词. - 陈沈杰; 王智昊; 吴彪 (Electronic Science & Technology, 2026)