第6頁PLC靜態分析——TE1200使用方法PLC靜態分析——TE1200使用方法作者：袁英杰職務：華東區技術支持工程師郵箱：yj.yuan@日期：2024-02-08摘要：介紹TE1200的基本內容附件：序號文件名備注歷史版本：免責聲明：我們已對本文檔描述的內容做測試。但是差錯在所難免，無法保證絕對正確并完全滿足您的使用需求。本文檔的內容可能隨時更新，如有改動，恕不事先通知，也歡迎您提出改進建議。參考信息：目錄1. 軟件介紹 32. 靜態分析工具 32.1. 設置 32.2. 規則 42.2.1. SA0007-Addressoperatorsonconstants 42.2.2. SA0017-Non-regularassignments 52.2.3. SA0021-Transportingtheaddressofatemporaryvariable 52.2.4. 高重要性 52.3. 命名約定 62.3.1. 占位符{datatype} 72.3.2. 擴展功能 72.4. 指標 82.5. 禁止符號 82.6. 注釋 82.7. 運行 93. AutomationInterface 10

軟件介紹TE1200PLCStaticAnalysis提供了PLC靜態分析工具，幫助編程人員更好的分析PLC代碼。該軟件沒有7天試用版，該軟件默認集成在TwinCAT開發環境中。當沒有TE1200授權時，該軟件為輕量級分析工具，當有TE1200授權時，該軟件為完整版分析工具。其對比如下：功能輕量級完整版保存/導出以及加載/導入配置不可用可用編譯過程中執行不可配置可配置檢查未使用對象不可用可用報錯最大數500，不可配置可配置報警最大數不可配置可配置激活選項激活并報錯激活報錯及報警規則7條規則超過100條規則預編譯波浪下劃線，快速修正不可用可用命名約定不可用可用指標不可用可用禁止符號不可用可用暫時停用規則的Pragma和Attribute可用，3條可用，6條靜態分析工具設置勾選自動執行靜態分析后PLC每次編譯后會同時執行靜態分析；加載和保存可以導出或者導入已經配置好的靜態分析規則；最大報錯和警告意味著當靜態分析返回的信息超過相關值之后分析將會停止規則如上圖顯示，深色勾為報告錯誤，淺色勾為報告警告，可以通過單擊圖標顯示。除了SA0016、SA0024、SA0073、SA0101、SA0105-SA0107、SA0111-SA0125、SA0133、SA0134、SA0145、SA0147、SA0148、SA0150、SA0162-SA0167和必須要遵守的IEC規則外，所有規則都默認啟用。針對每個規則的具體含義，可以參閱infosys/TE1200/Configuration/Rules/Rules-overviewanddescription。本文舉三個例子。SA0007-Addressoperatorsonconstants指向常量變量的指針將取消該變量的constant屬性。變量可以通過指針改變，而編譯器不會報告這一點。在極少數情況下，將指向常量的指針傳遞給函數是有意義的。如果使用此選項，則必須確保函數不會更改傳遞給它的值。在這種情況下，應該使用VAR_IN_OUTCONSTANT。SA0017-Non-regularassignments如果指針包含的值不是有效地址，則在處理引用指針時將發生訪問沖突異常。SA0021-Transportingtheaddressofatemporaryvariable函數或方法的局部變量是在堆棧上創建的，只有在處理函數或方法時才存在。如果指針在處理方法或函數后指向這樣一個變量，那么這個指針可以用來訪問未定義的內存或另一個函數中不正確的變量。這種情況無論如何都要避免。高重要性以下規則在PLC編程規則中重要性較高，在不影響邏輯實現的前提下，建議作為報錯規則使用SA0001SA0004SA0006SA0007SA0015SA0017SA0020SA0021SA0028SA0034SA0040SA0044SA0019SA0047SA0048SA0053SA0054SA0055SA0056SA0059SA0061SA0065SA0072SA0080SA0081SA0095SA0106SA0039SA0046SA0145SA0140SA0150SA0161SA0171命名約定在命名約定選項卡中，可以為變量的不同數據類型以及不同的作用域、函數塊類型和數據類型聲明定義強制前綴。可以為其指定約定的所有對象的名稱在項目屬性中顯示為樹形結構。當靜態分析被使用時，會檢查PLC代碼變量、數據類型、程序以及函數的命名前綴是否符合當前的命名約定。占位符{datatype}對于別名alias來說，可以在alias（33）中定義{datatype}或者自定義符號_{datatype}，此時命名約定將遵照這個datatype來執行，比如，對于string類型的別名，可以如下定義對于method或者property來說，可以使用更加復雜的命名約定，擴展功能在Namingconventions(2)中有三個擴展功能可以使用第一個功能：啟時用，如果變量名在定義的前綴之后的第一個字符不是大寫字母，則靜態代碼分析報告變量的錯誤。禁用，則不檢查大寫/小寫拼寫。第二個功能：如果啟用，可組合數據類型(POINTER,REFERENCE,ARRAY,SUBRANGE)的變量必須有復合數據類型前綴。組合前綴由為組合數據類型的各個組件配置的單個前綴組成。禁用，則只期望最外層數據類型的前綴作為數據類型前綴。第三個功能：如果啟用，變量必須具有命名約定中定義的名稱空間前綴，然后是其數據類型前綴。如果禁用，預期的總體前綴取決于是否為變量定義了作用域前綴。如果為變量定義了關聯的作用域前綴，則該變量必須只有命名約定中定義的其名稱空間的前綴。在作用域前綴之后不需要數據類型前綴。如果沒有為變量定義關聯的作用域前綴，則該變量必須只有為其定義的數據類型前綴。

指標對于每個指標，可以通過在各自的指標行中輸入所需的數字來定義單獨的上限和下限。如果度量僅在一個方向上受限，則可以將另一個方向的配置保留為空。換句話說，可以只指定下限或上限。具體操作見2.7節。每個指標的意義見infosys/TE1200/Configuration/Metrics/Metrics-Overview禁止符號可以在該選項卡下配置禁用的符號，比如XOR，可以將其禁用。注釋可以使用pragma和各種attribute暫時禁用靜態分析的個別規則或命名約定，即從規則中排除某些代碼行或程序段。編程的實現部分使用pragma{analysis-/+<rulenumber>}，通過指定前面帶減號(“-”)的規則號來禁用規則，激活為加號(“+”)。使用逗號分隔在pragma中指定任意數量的規則。停用規則:一條規則:{analysis-<rulenumber>}若干規則:{analysis-<rulenumber>，-<rulenumber>，-<rulenumber>}激活規則:一條規則:{analysis+<rulenumber>}若干規則:{analysis+<rulenumber>、+<rulenumber>、+<rulenumber>}運行運行靜態分析在執行靜態分析期間，檢查是否符合編碼規則、命名約定和禁用符號。該命令可用于手動觸發靜態分析(顯式執行)，或者可以在代碼生成期間自動執行分析(隱式執行)。TwinCAT在消息窗口中發布靜態分析的結果，即與違反規則有關的消息。靜態分析中要考慮的規則、命名約定和禁止符號可以在P