**從 Haxe 3.3.0 起：** Haxe 3.3.0 為代碼優化引入了一個新的靜態分析儀。通過使用 -D analyzer 編譯器標記（第7.1節）來啟用，由多個模塊（第8.6節）組成，可以被用編譯器標記（第7.1節）進行全局配置，以及在 類型級別和字段級別被用一個編譯器元數據（第8.1節）進行全局配置。 **全局配置：** 要全局啟動一個分析儀模塊，使用 -D analyzer-module 。要全局禁用一個模塊，使用 -D analyzer-no-module。兩種情況，“module”表示被禁用或啟用的模塊的名字： ~~~ # Global enable from command line haxe -D analyzer-module # Global disable from command line haxe -D analyzer-no-module ~~~ **本地配置：** 要對一個給定的類型或者字段啟動一個分析儀模塊，使用 @:analyzer(module)。要禁用一個模塊，使用 @:analyzer(no_module) 。兩種情況，“module”表示要禁用或者啟用的模塊的名字： ~~~ @:analyzer(module) class C { @:analyzer(module) function f() { } // Field-level enable @:analyzer(no_module) function f() { } // Field-level disable } @:analyzer(no_module) class D { } // Type-level disable ~~~ **Modules** 靜態分析儀當前帶有如下的模塊。如果 -D analyzer 被使用，除非注明否則它們是被啟用的。 const_propagation : 實現稀少條件的常量傳播來促進編譯時知道的值到使用的地方。也偵測無效的分支。 copy_propagation : 偵測別名化其它局部變量的局部變量并相應的進行替換。 local dce : 偵測并移除無用的局部變量。 fusion : 在單一事件情況下移動變量表達式到它的使用中。在Flash和 Java目標語言中是禁用的。 purity_inference : 推斷是否字段為 “純粹的”，即，沒有任何的副作用。這可以改善 fusion 模塊的影響。 unreachable_code : 報告無法達到的代碼。