 0.11.0 版本要點(diǎn)解析：Container/Folder 位置模型重構(gòu)、AdditionalCallTarget 調(diào)用圖擴(kuò)展與 C23/C++23 浮點(diǎn)類型支持)
靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量【免費(fèi)下載鏈接】codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security項(xiàng)目地址https://gitcode.com/gh_mirrors/co/codeql點(diǎn)擊查看免費(fèi)下載導(dǎo)讀本文基于 cpp/ql/lib/change-notes/released/0.11.0.md 發(fā)布說(shuō)明深入解讀 CodeQL C 分析庫(kù) 0.11.0 版本的三類變更破壞性變更Container/Folder的位置模型從Locatable遷移到ElementBase、新特性AdditionalCallTarget數(shù)據(jù)流擴(kuò)展點(diǎn)、以及兩項(xiàng)分析改進(jìn)隱式this字段訪問(wèn)識(shí)別、C23/C23 新浮點(diǎn)類型支持。讀完本文你將掌握該版本升級(jí)時(shí)查詢代碼的遷移要點(diǎn)并理解每個(gè)變更在cpp/ql/lib源碼中的具體實(shí)現(xiàn)位置與工作原理從而能夠安全升級(jí)查詢并利用新能力編寫更精確的數(shù)據(jù)流分析。版本概覽這次發(fā)布改了什么0.11.0 是 CodeQL C 查詢庫(kù)即cpp/ql/lib目錄下的 QL 庫(kù)代碼的一個(gè)中間版本發(fā)布其變更記錄同步收錄在 cpp/ql/lib/CHANGELOG.md 中。整個(gè)版本圍繞三個(gè)層面展開破壞性變更Breaking ChangesContainer與Folder兩個(gè)類的繼承關(guān)系與 API 發(fā)生變化直接影響依賴getLocation的既有查詢新特性New Features引入AdditionalCallTarget類為 IR 數(shù)據(jù)流分析提供補(bǔ)充調(diào)用目標(biāo)的擴(kuò)展接口次要分析改進(jìn)Minor Analysis Improvements擴(kuò)大ImplicitThisFieldAccess的識(shí)別范圍并新增對(duì) C23 與 C23 浮點(diǎn)類型的建模。下面分別從源碼層面逐一拆解。破壞性變更Container 與 Folder 從 Locatable 遷移到 ElementBase變更內(nèi)容發(fā)布說(shuō)明原文如下TheContainerandFolderclasses now derive fromElementBaseinstead ofLocatable, and no longer expose thegetLocationpredicate. UsegetURLinstead.也就是說(shuō)Container文件或文件夾的抽象與Folder構(gòu)建過(guò)程中在磁盤上觀察到的文件夾這兩個(gè)類基類從Locatable改為ElementBase不再暴露getLocation謂詞需要定位信息時(shí)改用getURL。源碼層面的實(shí)現(xiàn)這一變更直接體現(xiàn)在 cpp/ql/lib/semmle/code/cpp/File.qll 的類定義中// File.qll class Container extends ElementBase, Impl::Container { override string toString() { result Impl::Container.super.toString() } } class Folder extends Container, Impl::Folder { override string getAPrimaryQlClass() { result Folder } } class File extends Container, Locatable, Impl::File { ... }從源碼結(jié)構(gòu)可以看到關(guān)鍵差異Container與Folder現(xiàn)在直接派生自ElementBase不再經(jīng)過(guò)Locatable因此失去了Locatable提供的getLocation能力與此對(duì)照File類仍然同時(shí)繼承Container與Locatable并重寫了getLocationFile.qll#L65-L71所以僅針對(duì)File的查詢不受此次變更影響ElementBase在 cpp/ql/lib/semmle/code/cpp/Element.qll 中被定義為element的直接根類。該文件的注釋明確指出擴(kuò)展ElementBase而非Element是為getURL、getLocation、hasLocationInfo創(chuàng)建新的根定義rootdef。因此Container/Folder現(xiàn)在通過(guò)ElementBase的根定義獲取getURL能力而不再通過(guò)Locatable的位置體系。查詢遷移與改寫示例如果你的自定義查詢或企業(yè)級(jí)定制查詢中存在類似下面的寫法// 舊寫法0.11.0 之前 from Folder f where f.getLocation().getFile() ... select f則需要改寫為基于getURL的定位方式// 新寫法0.11.0 起 from Folder f where f.getURL() ... select f需要注意兩點(diǎn)getURL返回的是字符串形式的文件系統(tǒng)定位在 CodeQL 中即file://風(fēng)格的路徑表示而getLocation返回的是Location對(duì)象二者類型不同涉及位置比較、行號(hào)計(jì)算的邏輯需要一并調(diào)整由于Container仍然提供getAbsolutePath、getBaseName、getParentContainer等路徑分解能力見File.qll中Impl::Container的實(shí)現(xiàn)如ContainerBase.getParentContainer與toString純粹的路徑訪問(wèn)不受影響只有依賴Location對(duì)象的代碼需要遷移。新特性AdditionalCallTarget —— 為數(shù)據(jù)流補(bǔ)充調(diào)用目標(biāo)動(dòng)機(jī)調(diào)用圖不完整時(shí)的數(shù)據(jù)流缺口CodeQL 的 IR 數(shù)據(jù)流分析依賴調(diào)用圖來(lái)確定Call的可能目標(biāo)進(jìn)而沿著調(diào)用邊界傳播污點(diǎn)或數(shù)據(jù)。但在某些場(chǎng)景下例如通過(guò)函數(shù)指針、回調(diào)注冊(cè)、或框架動(dòng)態(tài)分發(fā)調(diào)用默認(rèn)的調(diào)用圖解析無(wú)法找到目標(biāo)導(dǎo)致數(shù)據(jù)流在調(diào)用點(diǎn)被切斷。AdditionalCallTarget就是為了讓查詢作者手工聲明額外調(diào)用目標(biāo)而設(shè)計(jì)的擴(kuò)展點(diǎn)。源碼實(shí)現(xiàn)該類定義在 cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll/** * A unit class for adding additional call steps. * * Extend this class to add additional call steps to the data flow graph. */ class AdditionalCallTarget extends Unit { /** * Gets a viable target for call. */ abstract Declaration viableTarget(Call call); }它是一個(gè)abstract類核心是一個(gè)抽象謂詞viableTarget(Call call)對(duì)于給定的調(diào)用表達(dá)式返回一個(gè)可行的Declaration作為目標(biāo)。與getARuntimeTargetDataFlowUtil.qll#L1002-L1008基于DataFlowDispatch::viableCallable的運(yùn)行時(shí)目標(biāo)解析不同AdditionalCallTarget完全由查詢作者在 QL 層聲明不依賴提取器或調(diào)用圖數(shù)據(jù)。使用示例DataFlowUtil.qll的注釋中給出了一個(gè)完整的實(shí)戰(zhàn)示例假設(shè)調(diào)用f(x)時(shí)實(shí)際目標(biāo)應(yīng)當(dāng)是g(x)則先聲明子類import semmle.code.cpp.ir.dataflow.DataFlow class MyAdditionalCallTarget extends DataFlow::AdditionalCallTarget { override Function viableTarget(Call call) { call.getTarget().hasName(f) and result.hasName(g) } }隨后在下面的 C 代碼中從source()到sink(x)的數(shù)據(jù)流就會(huì)被成功追蹤void sink(int); int source(); void f(int); void g(int x) { sink(x); } void test() { int x source(); f(x); }這個(gè)例子清晰地說(shuō)明了該特性的價(jià)值f與g之間本沒(méi)有直接調(diào)用關(guān)系但通過(guò)AdditionalCallTarget聲明數(shù)據(jù)流分析便能把f(x)的實(shí)參流向g(x)的形參從而連通source→sink路徑。使用注意事項(xiàng)源碼注釋特別強(qiáng)調(diào)了一個(gè)重要約束To prevent reevaluation of cached dataflow-related predicates any subclass ofAdditionalCallTargetmust be imported in all dataflow queries.也就是說(shuō)任何AdditionalCallTarget的子類都必須被所有數(shù)據(jù)流查詢導(dǎo)入否則數(shù)據(jù)流相關(guān)的緩存謂詞可能被重復(fù)求值導(dǎo)致分析結(jié)果不一致或性能退化。這意味著該擴(kuò)展點(diǎn)適合放在共享的 QLL 庫(kù)模塊中而不是散落在單個(gè)查詢里。分析改進(jìn)一更多字段訪問(wèn)被識(shí)別為 ImplicitThisFieldAccess變更內(nèi)容More field accesses are identified asImplicitThisFieldAccess.ImplicitThisFieldAccess用于表示隱式this-字段訪問(wèn)——即類成員函數(shù)中直接寫字段名、省略this-限定的訪問(wèn)形式。這類訪問(wèn)在語(yǔ)法上看起來(lái)只是裸字段名但對(duì)別名分析、SSA 與數(shù)據(jù)流來(lái)說(shuō)明確標(biāo)注其隱式通過(guò)this指針的性質(zhì)至關(guān)重要。源碼中的判定邏輯該類定義在 cpp/ql/lib/semmle/code/cpp/exprs/Access.qllclass ImplicitThisFieldAccess extends FieldAccess { override string getAPrimaryQlClass() { result ImplicitThisFieldAccess } ImplicitThisFieldAccess() { this.getQualifier().(ThisExpr).isCompilerGenerated() or not exists(this.getQualifier()) } }判定條件有二限定符是編譯器生成的ThisExpr即this-x中this由編譯器隱式補(bǔ)出或者不存在限定符即裸的x字段訪問(wèn)。此次變更擴(kuò)大了識(shí)別范圍使更多滿足上述條件的字段訪問(wèn)落入該類別。從類層次上看它同時(shí)被PointerToFieldLiteral指向非靜態(tài)數(shù)據(jù)成員的指針字面量如C::x復(fù)用——后者正是沒(méi)有限定符的字段訪問(wèn)的特例Access.qll#L327-L336這說(shuō)明ImplicitThisFieldAccess在表達(dá)式分類體系中承擔(dān)著承上啟下的作用。依賴該分類的查詢?nèi)鐒e名與成員訪問(wèn)一致性分析將在升級(jí)后自動(dòng)獲得更完整的覆蓋。分析改進(jìn)二新增 C23 與 C23 浮點(diǎn)類型支持變更內(nèi)容Added support for new floating-point types in C23 and C23.C23 與 C23 分別引入了新一代浮點(diǎn)類型如_Float16、_Float128及對(duì)應(yīng)的 C 標(biāo)準(zhǔn)類型std::float16_t等其底層表示、運(yùn)算語(yǔ)義與既有的float/double/long double并不相同。若 QL 庫(kù)無(wú)法識(shí)別這些類型涉及它們的算術(shù)運(yùn)算、類型轉(zhuǎn)換與溢出分析都會(huì)失真。源碼中的類型映射支持邏輯集中在 cpp/ql/lib/semmle/code/cpp/Type.qll 的FloatingPointType及其子類體系中。FloatingPointType通過(guò)floatingPointTypeMapping(kind, base, domain, realKind, extended)將提取器產(chǎn)生的內(nèi)置類型編號(hào)映射為 QL 類型Type.qll#L868-L879例如// _Float128 kind 49 and base 2 and domain TRealDomain() and realKind 49 and extended false // _Float16 kind 52 and base 2 and domain TRealDomain() and realKind 52 and extended false // _Complex _Float128 kind 61 and base 2 and domain TComplexDomain() and realKind 49 and extended false圍繞該映射庫(kù)中提供了完整的類型層次便于查詢按需細(xì)分RealNumberType/ComplexNumberType/ImaginaryNumberType按實(shí)數(shù)、復(fù)數(shù)、虛數(shù)域劃分Type.qll#L904-L920BinaryFloatingPointType/DecimalFloatingPointType按基數(shù) 2 與基數(shù) 10 劃分Type.qll#L925-L934。也就是說(shuō)0.11.0 之后涉及新浮點(diǎn)類型的表達(dá)式如對(duì)_Float16變量的算術(shù)運(yùn)算會(huì)被正確歸類為FloatingPointType的子類型從而被算術(shù)與類型相關(guān)的分析如溢出檢測(cè)、類型寬度比較查詢納入考慮范圍。查詢作者可以利用上述細(xì)分類型編寫針對(duì)新浮點(diǎn)語(yǔ)義的專用規(guī)則。升級(jí)與兼容性指引綜合以上變更從 0.11.0 之前的版本升級(jí)到該版本時(shí)建議按以下順序處理全局檢索getLocation在Container/Folder上的使用將針對(duì)文件、文件夾對(duì)象的getLocation()調(diào)用改寫為getURL()并同步調(diào)整依賴Location對(duì)象的比較與行號(hào)計(jì)算邏輯File類不受影響可保持原樣。如依賴跨調(diào)用的數(shù)據(jù)流評(píng)估AdditionalCallTarget若存在調(diào)用圖解析不到目標(biāo)的數(shù)據(jù)流缺口可新建子類聲明補(bǔ)充目標(biāo)并確保在所有數(shù)據(jù)流查詢中導(dǎo)入該子類所在模塊。重新校驗(yàn)算術(shù)與類型相關(guān)查詢的結(jié)果ImplicitThisFieldAccess覆蓋擴(kuò)大與 C23/C23 浮點(diǎn)類型建模都可能改變既有查詢的結(jié)果集建議結(jié)合cpp/ql/lib下的測(cè)試用例位于cpp/ql/test目錄重新運(yùn)行回歸測(cè)試確認(rèn)無(wú)意外的結(jié)果變化。小結(jié)CodeQL C 分析庫(kù) 0.11.0 是一次有取舍、有新增、有深化的版本發(fā)布破壞性變更把Container/Folder的位置模型切換到ElementBase根類File.qll換取更統(tǒng)一的getURL定位體系新特性AdditionalCallTargetDataFlowUtil.qll把補(bǔ)充調(diào)用目標(biāo)的能力開放給查詢作者填補(bǔ)了動(dòng)態(tài)分派場(chǎng)景下數(shù)據(jù)流的缺口兩項(xiàng)分析改進(jìn)分別提升了隱式this字段訪問(wèn)的識(shí)別覆蓋率Access.qll與新一代浮點(diǎn)類型的建模精度Type.qll。對(duì)于維護(hù)自定義 C 查詢的團(tuán)隊(duì)而言升級(jí)到該版本的關(guān)鍵動(dòng)作是完成getLocation→getURL的遷移并利用AdditionalCallTarget與新浮點(diǎn)類型建模提升分析的準(zhǔn)確度。贊分享靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量【免費(fèi)下載鏈接】codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security項(xiàng)目地址https://gitcode.com/gh_mirrors/co/codeql點(diǎn)擊查看免費(fèi)下載相關(guān)推薦CodeQL 1.26 C/C 分析改進(jìn)解析查詢精度調(diào)整與庫(kù)級(jí)污點(diǎn)流模型擴(kuò)展CodeQL 1.26 C/C 分析改進(jìn)解析查詢精度調(diào)整與庫(kù)級(jí)污點(diǎn)流模型擴(kuò)展 本文基于 CodeQL 倉(cāng)庫(kù)中 1.26 版本的 C/C 分析變更說(shuō)明靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量CodeQL 1.24 C/C 分析改進(jìn)全解析新查詢、污點(diǎn)追蹤庫(kù)重構(gòu)與庫(kù)建模升級(jí)CodeQL 1.24 C/C 分析改進(jìn)全解析新查詢、污點(diǎn)追蹤庫(kù)重構(gòu)與庫(kù)建模升級(jí) 本篇指南完整梳理 CodeQL 1.24 版本針對(duì) C/C 分析的所靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量CodeQL C 分析庫(kù)中的 cstdint 標(biāo)準(zhǔn)類型建模FixedWidthIntegralType 與 FixedWidthEnumType 詳解CodeQL C 分析庫(kù)中的 cstdint 標(biāo)準(zhǔn)類型建模FixedWidthIntegralType 與 FixedWidthEnumType 詳解 本靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量上一篇protobuf-net流式序列化處理大型數(shù)據(jù)集的最佳方法下一篇LeadQualifier特征工程深度解析CountVectorizer與TF-IDF為什么是線索分類的關(guān)鍵創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考 CodeQL C++ 分析庫(kù) 0.11.0 版本要點(diǎn)解析：Container/Folder 位置模型重構(gòu)、AdditionalCallTarget 調(diào)用圖擴(kuò)展與 C23/C++23 浮點(diǎn)類型支持
靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量【免費(fèi)下載鏈接】codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security項(xiàng)目地址https://gitcode.com/gh_mirrors/co/codeql點(diǎn)擊查看免費(fèi)下載導(dǎo)讀本文基于 cpp/ql/lib/change-notes/released/0.11.0.md 發(fā)布說(shuō)明深入解讀 CodeQL C 分析庫(kù) 0.11.0 版本的三類變更破壞性變更Container/Folder的位置模型從Locatable遷移到ElementBase、新特性AdditionalCallTarget數(shù)據(jù)流擴(kuò)展點(diǎn)、以及兩項(xiàng)分析改進(jìn)隱式this字段訪問(wèn)識(shí)別、C23/C23 新浮點(diǎn)類型支持。讀完本文你將掌握該版本升級(jí)時(shí)查詢代碼的遷移要點(diǎn)并理解每個(gè)變更在cpp/ql/lib源碼中的具體實(shí)現(xiàn)位置與工作原理從而能夠安全升級(jí)查詢并利用新能力編寫更精確的數(shù)據(jù)流分析。版本概覽這次發(fā)布改了什么0.11.0 是 CodeQL C 查詢庫(kù)即cpp/ql/lib目錄下的 QL 庫(kù)代碼的一個(gè)中間版本發(fā)布其變更記錄同步收錄在 cpp/ql/lib/CHANGELOG.md 中。整個(gè)版本圍繞三個(gè)層面展開破壞性變更Breaking ChangesContainer與Folder兩個(gè)類的繼承關(guān)系與 API 發(fā)生變化直接影響依賴getLocation的既有查詢新特性New Features引入AdditionalCallTarget類為 IR 數(shù)據(jù)流分析提供補(bǔ)充調(diào)用目標(biāo)的擴(kuò)展接口次要分析改進(jìn)Minor Analysis Improvements擴(kuò)大ImplicitThisFieldAccess的識(shí)別范圍并新增對(duì) C23 與 C23 浮點(diǎn)類型的建模。下面分別從源碼層面逐一拆解。破壞性變更Container 與 Folder 從 Locatable 遷移到 ElementBase變更內(nèi)容發(fā)布說(shuō)明原文如下TheContainerandFolderclasses now derive fromElementBaseinstead ofLocatable, and no longer expose thegetLocationpredicate. UsegetURLinstead.也就是說(shuō)Container文件或文件夾的抽象與Folder構(gòu)建過(guò)程中在磁盤上觀察到的文件夾這兩個(gè)類基類從Locatable改為ElementBase不再暴露getLocation謂詞需要定位信息時(shí)改用getURL。源碼層面的實(shí)現(xiàn)這一變更直接體現(xiàn)在 cpp/ql/lib/semmle/code/cpp/File.qll 的類定義中// File.qll class Container extends ElementBase, Impl::Container { override string toString() { result Impl::Container.super.toString() } } class Folder extends Container, Impl::Folder { override string getAPrimaryQlClass() { result Folder } } class File extends Container, Locatable, Impl::File { ... }從源碼結(jié)構(gòu)可以看到關(guān)鍵差異Container與Folder現(xiàn)在直接派生自ElementBase不再經(jīng)過(guò)Locatable因此失去了Locatable提供的getLocation能力與此對(duì)照File類仍然同時(shí)繼承Container與Locatable并重寫了getLocationFile.qll#L65-L71所以僅針對(duì)File的查詢不受此次變更影響ElementBase在 cpp/ql/lib/semmle/code/cpp/Element.qll 中被定義為element的直接根類。該文件的注釋明確指出擴(kuò)展ElementBase而非Element是為getURL、getLocation、hasLocationInfo創(chuàng)建新的根定義rootdef。因此Container/Folder現(xiàn)在通過(guò)ElementBase的根定義獲取getURL能力而不再通過(guò)Locatable的位置體系。查詢遷移與改寫示例如果你的自定義查詢或企業(yè)級(jí)定制查詢中存在類似下面的寫法// 舊寫法0.11.0 之前 from Folder f where f.getLocation().getFile() ... select f則需要改寫為基于getURL的定位方式// 新寫法0.11.0 起 from Folder f where f.getURL() ... select f需要注意兩點(diǎn)getURL返回的是字符串形式的文件系統(tǒng)定位在 CodeQL 中即file://風(fēng)格的路徑表示而getLocation返回的是Location對(duì)象二者類型不同涉及位置比較、行號(hào)計(jì)算的邏輯需要一并調(diào)整由于Container仍然提供getAbsolutePath、getBaseName、getParentContainer等路徑分解能力見File.qll中Impl::Container的實(shí)現(xiàn)如ContainerBase.getParentContainer與toString純粹的路徑訪問(wèn)不受影響只有依賴Location對(duì)象的代碼需要遷移。新特性AdditionalCallTarget —— 為數(shù)據(jù)流補(bǔ)充調(diào)用目標(biāo)動(dòng)機(jī)調(diào)用圖不完整時(shí)的數(shù)據(jù)流缺口CodeQL 的 IR 數(shù)據(jù)流分析依賴調(diào)用圖來(lái)確定Call的可能目標(biāo)進(jìn)而沿著調(diào)用邊界傳播污點(diǎn)或數(shù)據(jù)。但在某些場(chǎng)景下例如通過(guò)函數(shù)指針、回調(diào)注冊(cè)、或框架動(dòng)態(tài)分發(fā)調(diào)用默認(rèn)的調(diào)用圖解析無(wú)法找到目標(biāo)導(dǎo)致數(shù)據(jù)流在調(diào)用點(diǎn)被切斷。AdditionalCallTarget就是為了讓查詢作者手工聲明額外調(diào)用目標(biāo)而設(shè)計(jì)的擴(kuò)展點(diǎn)。源碼實(shí)現(xiàn)該類定義在 cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll/** * A unit class for adding additional call steps. * * Extend this class to add additional call steps to the data flow graph. */ class AdditionalCallTarget extends Unit { /** * Gets a viable target for call. */ abstract Declaration viableTarget(Call call); }它是一個(gè)abstract類核心是一個(gè)抽象謂詞viableTarget(Call call)對(duì)于給定的調(diào)用表達(dá)式返回一個(gè)可行的Declaration作為目標(biāo)。與getARuntimeTargetDataFlowUtil.qll#L1002-L1008基于DataFlowDispatch::viableCallable的運(yùn)行時(shí)目標(biāo)解析不同AdditionalCallTarget完全由查詢作者在 QL 層聲明不依賴提取器或調(diào)用圖數(shù)據(jù)。使用示例DataFlowUtil.qll的注釋中給出了一個(gè)完整的實(shí)戰(zhàn)示例假設(shè)調(diào)用f(x)時(shí)實(shí)際目標(biāo)應(yīng)當(dāng)是g(x)則先聲明子類import semmle.code.cpp.ir.dataflow.DataFlow class MyAdditionalCallTarget extends DataFlow::AdditionalCallTarget { override Function viableTarget(Call call) { call.getTarget().hasName(f) and result.hasName(g) } }隨后在下面的 C 代碼中從source()到sink(x)的數(shù)據(jù)流就會(huì)被成功追蹤void sink(int); int source(); void f(int); void g(int x) { sink(x); } void test() { int x source(); f(x); }這個(gè)例子清晰地說(shuō)明了該特性的價(jià)值f與g之間本沒(méi)有直接調(diào)用關(guān)系但通過(guò)AdditionalCallTarget聲明數(shù)據(jù)流分析便能把f(x)的實(shí)參流向g(x)的形參從而連通source→sink路徑。使用注意事項(xiàng)源碼注釋特別強(qiáng)調(diào)了一個(gè)重要約束To prevent reevaluation of cached dataflow-related predicates any subclass ofAdditionalCallTargetmust be imported in all dataflow queries.也就是說(shuō)任何AdditionalCallTarget的子類都必須被所有數(shù)據(jù)流查詢導(dǎo)入否則數(shù)據(jù)流相關(guān)的緩存謂詞可能被重復(fù)求值導(dǎo)致分析結(jié)果不一致或性能退化。這意味著該擴(kuò)展點(diǎn)適合放在共享的 QLL 庫(kù)模塊中而不是散落在單個(gè)查詢里。分析改進(jìn)一更多字段訪問(wèn)被識(shí)別為 ImplicitThisFieldAccess變更內(nèi)容More field accesses are identified asImplicitThisFieldAccess.ImplicitThisFieldAccess用于表示隱式this-字段訪問(wèn)——即類成員函數(shù)中直接寫字段名、省略this-限定的訪問(wèn)形式。這類訪問(wèn)在語(yǔ)法上看起來(lái)只是裸字段名但對(duì)別名分析、SSA 與數(shù)據(jù)流來(lái)說(shuō)明確標(biāo)注其隱式通過(guò)this指針的性質(zhì)至關(guān)重要。源碼中的判定邏輯該類定義在 cpp/ql/lib/semmle/code/cpp/exprs/Access.qllclass ImplicitThisFieldAccess extends FieldAccess { override string getAPrimaryQlClass() { result ImplicitThisFieldAccess } ImplicitThisFieldAccess() { this.getQualifier().(ThisExpr).isCompilerGenerated() or not exists(this.getQualifier()) } }判定條件有二限定符是編譯器生成的ThisExpr即this-x中this由編譯器隱式補(bǔ)出或者不存在限定符即裸的x字段訪問(wèn)。此次變更擴(kuò)大了識(shí)別范圍使更多滿足上述條件的字段訪問(wèn)落入該類別。從類層次上看它同時(shí)被PointerToFieldLiteral指向非靜態(tài)數(shù)據(jù)成員的指針字面量如C::x復(fù)用——后者正是沒(méi)有限定符的字段訪問(wèn)的特例Access.qll#L327-L336這說(shuō)明ImplicitThisFieldAccess在表達(dá)式分類體系中承擔(dān)著承上啟下的作用。依賴該分類的查詢?nèi)鐒e名與成員訪問(wèn)一致性分析將在升級(jí)后自動(dòng)獲得更完整的覆蓋。分析改進(jìn)二新增 C23 與 C23 浮點(diǎn)類型支持變更內(nèi)容Added support for new floating-point types in C23 and C23.C23 與 C23 分別引入了新一代浮點(diǎn)類型如_Float16、_Float128及對(duì)應(yīng)的 C 標(biāo)準(zhǔn)類型std::float16_t等其底層表示、運(yùn)算語(yǔ)義與既有的float/double/long double并不相同。若 QL 庫(kù)無(wú)法識(shí)別這些類型涉及它們的算術(shù)運(yùn)算、類型轉(zhuǎn)換與溢出分析都會(huì)失真。源碼中的類型映射支持邏輯集中在 cpp/ql/lib/semmle/code/cpp/Type.qll 的FloatingPointType及其子類體系中。FloatingPointType通過(guò)floatingPointTypeMapping(kind, base, domain, realKind, extended)將提取器產(chǎn)生的內(nèi)置類型編號(hào)映射為 QL 類型Type.qll#L868-L879例如// _Float128 kind 49 and base 2 and domain TRealDomain() and realKind 49 and extended false // _Float16 kind 52 and base 2 and domain TRealDomain() and realKind 52 and extended false // _Complex _Float128 kind 61 and base 2 and domain TComplexDomain() and realKind 49 and extended false圍繞該映射庫(kù)中提供了完整的類型層次便于查詢按需細(xì)分RealNumberType/ComplexNumberType/ImaginaryNumberType按實(shí)數(shù)、復(fù)數(shù)、虛數(shù)域劃分Type.qll#L904-L920BinaryFloatingPointType/DecimalFloatingPointType按基數(shù) 2 與基數(shù) 10 劃分Type.qll#L925-L934。也就是說(shuō)0.11.0 之后涉及新浮點(diǎn)類型的表達(dá)式如對(duì)_Float16變量的算術(shù)運(yùn)算會(huì)被正確歸類為FloatingPointType的子類型從而被算術(shù)與類型相關(guān)的分析如溢出檢測(cè)、類型寬度比較查詢納入考慮范圍。查詢作者可以利用上述細(xì)分類型編寫針對(duì)新浮點(diǎn)語(yǔ)義的專用規(guī)則。升級(jí)與兼容性指引綜合以上變更從 0.11.0 之前的版本升級(jí)到該版本時(shí)建議按以下順序處理全局檢索getLocation在Container/Folder上的使用將針對(duì)文件、文件夾對(duì)象的getLocation()調(diào)用改寫為getURL()并同步調(diào)整依賴Location對(duì)象的比較與行號(hào)計(jì)算邏輯File類不受影響可保持原樣。如依賴跨調(diào)用的數(shù)據(jù)流評(píng)估AdditionalCallTarget若存在調(diào)用圖解析不到目標(biāo)的數(shù)據(jù)流缺口可新建子類聲明補(bǔ)充目標(biāo)并確保在所有數(shù)據(jù)流查詢中導(dǎo)入該子類所在模塊。重新校驗(yàn)算術(shù)與類型相關(guān)查詢的結(jié)果ImplicitThisFieldAccess覆蓋擴(kuò)大與 C23/C23 浮點(diǎn)類型建模都可能改變既有查詢的結(jié)果集建議結(jié)合cpp/ql/lib下的測(cè)試用例位于cpp/ql/test目錄重新運(yùn)行回歸測(cè)試確認(rèn)無(wú)意外的結(jié)果變化。小結(jié)CodeQL C 分析庫(kù) 0.11.0 是一次有取舍、有新增、有深化的版本發(fā)布破壞性變更把Container/Folder的位置模型切換到ElementBase根類File.qll換取更統(tǒng)一的getURL定位體系新特性AdditionalCallTargetDataFlowUtil.qll把補(bǔ)充調(diào)用目標(biāo)的能力開放給查詢作者填補(bǔ)了動(dòng)態(tài)分派場(chǎng)景下數(shù)據(jù)流的缺口兩項(xiàng)分析改進(jìn)分別提升了隱式this字段訪問(wèn)的識(shí)別覆蓋率Access.qll與新一代浮點(diǎn)類型的建模精度Type.qll。對(duì)于維護(hù)自定義 C 查詢的團(tuán)隊(duì)而言升級(jí)到該版本的關(guān)鍵動(dòng)作是完成getLocation→getURL的遷移并利用AdditionalCallTarget與新浮點(diǎn)類型建模提升分析的準(zhǔn)確度。贊分享靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量【免費(fèi)下載鏈接】codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security項(xiàng)目地址https://gitcode.com/gh_mirrors/co/codeql點(diǎn)擊查看免費(fèi)下載相關(guān)推薦CodeQL 1.26 C/C 分析改進(jìn)解析查詢精度調(diào)整與庫(kù)級(jí)污點(diǎn)流模型擴(kuò)展CodeQL 1.26 C/C 分析改進(jìn)解析查詢精度調(diào)整與庫(kù)級(jí)污點(diǎn)流模型擴(kuò)展 本文基于 CodeQL 倉(cāng)庫(kù)中 1.26 版本的 C/C 分析變更說(shuō)明靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量CodeQL 1.24 C/C 分析改進(jìn)全解析新查詢、污點(diǎn)追蹤庫(kù)重構(gòu)與庫(kù)建模升級(jí)CodeQL 1.24 C/C 分析改進(jìn)全解析新查詢、污點(diǎn)追蹤庫(kù)重構(gòu)與庫(kù)建模升級(jí) 本篇指南完整梳理 CodeQL 1.24 版本針對(duì) C/C 分析的所靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量CodeQL C 分析庫(kù)中的 cstdint 標(biāo)準(zhǔn)類型建模FixedWidthIntegralType 與 FixedWidthEnumType 詳解CodeQL C 分析庫(kù)中的 cstdint 標(biāo)準(zhǔn)類型建模FixedWidthIntegralType 與 FixedWidthEnumType 詳解 本靜態(tài)分析SAST應(yīng)用安全漏洞掃描代碼質(zhì)量上一篇protobuf-net流式序列化處理大型數(shù)據(jù)集的最佳方法下一篇LeadQualifier特征工程深度解析CountVectorizer與TF-IDF為什么是線索分類的關(guān)鍵創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考