https://blog.qife122.com/tags/%E8%AF%AD%E6%B3%95%E6%90%9C%E7%B4%A2/ Recent content in 语法搜索 on 办公AI智能小助手 Hugo zh-cn qife Thu, 18 Sep 2025 14:14:45 +0800 https://blog.qife122.com/p/%E5%BF%AB%E9%80%9F%E7%B2%BE%E5%87%86%E7%9A%84c/c-%E8%AF%AD%E6%B3%95%E6%90%9C%E7%B4%A2syntex%E5%B7%A5%E5%85%B7%E7%9A%84%E6%8A%80%E6%9C%AF%E8%A7%A3%E6%9E%90/ Thu, 18 Sep 2025 14:14:45 +0800 https://blog.qife122.com/p/%E5%BF%AB%E9%80%9F%E7%B2%BE%E5%87%86%E7%9A%84c/c-%E8%AF%AD%E6%B3%95%E6%90%9C%E7%B4%A2syntex%E5%B7%A5%E5%85%B7%E7%9A%84%E6%8A%80%E6%9C%AF%E8%A7%A3%E6%9E%90/ <h1 id="快速精准的cc语法搜索">快速精准的C/C++语法搜索</h1> <p>传统在源代码中搜索模式的方法通常使用正则表达式，或者使用自定义解析器解析代码，但这两种方法都存在局限性。在实习期间，我开发了一个名为Syntex的内部工具原型，该工具通过对Clang AST进行搜索来避免这些限制。本文将讨论Syntex在语法模式匹配方面的独特方法。</p> https://blog.qife122.com/p/%E5%BF%AB%E9%80%9F%E7%B2%BE%E5%87%86%E7%9A%84c/c-%E8%AF%AD%E6%B3%95%E6%90%9C%E7%B4%A2%E5%B7%A5%E5%85%B7syntex/ Tue, 09 Sep 2025 17:15:27 +0800 https://blog.qife122.com/p/%E5%BF%AB%E9%80%9F%E7%B2%BE%E5%87%86%E7%9A%84c/c-%E8%AF%AD%E6%B3%95%E6%90%9C%E7%B4%A2%E5%B7%A5%E5%85%B7syntex/ <h1 id="快速准确的cc语法搜索---trail-of-bits博客">快速准确的C/C++语法搜索 - Trail of Bits博客</h1> <h2 id="搜索但带有上下文">搜索，但带有上下文</h2> <p>Syntex解决了传统模式搜索工具的两个主要问题。</p> <p>首先，现有工具容易产生假阴性。这些工具通常包含自己的解析器，根据搜索的代码库语言使用。对于C和C++代码库，这些工具通常在未执行宏扩展的情况下解析源代码，搜索非宏扩展代码而不是像Clang这样的真实编译器产生的宏扩展代码。这意味着这些工具无法确保准确的结果。这类工具的客户端无法自信地说&quot;这里是这种模式的所有出现&quot;或&quot;这种模式从未出现&quot;。理论上，这些工具可以匹配非宏扩展代码中宏的使用，但实际上，它们只能匹配顶层的宏使用，这意味着很可能出现假阴性。</p>