Move編程語言代表了智能合約語言的新一代，通過其安全性和高效性重新塑造了DApp開發(fā)的認(rèn)知。Move的架構(gòu)強調(diào)資源安全性和所有權(quán)，防止諸如使用后釋放錯誤或資源泄漏等導(dǎo)致漏洞的問題。

概覽

由于Move具有強大的語言特性，分析和開發(fā)Move變得復(fù)雜。原始的Move-Analyzer主要設(shè)計為在Visual Studio Code上為開發(fā)者提供IDE插件，用于分析和改進(jìn)代碼。其結(jié)合了靜態(tài)分析和LSP技術(shù)，實現(xiàn)了諸如高亮顯示、診斷、懸停等功能，滿足了Move開發(fā)者的常見需求。然而，它還沒有達(dá)到作為不可或缺工具的標(biāo)準(zhǔn)。其中一些功能存在缺陷，包括代碼片段，自動完成和定義/依賴導(dǎo)航。

從根本上說，Move Analyzer仍然不完善的主要原因是缺乏對Move語義分析的支持，這是高質(zhì)量IDE的基石。然而，這個特定方面的分析被證明是最困難和具有挑戰(zhàn)性的工作。2023年1月24日，MoveBit獲得了Sui基金會開發(fā)者資助計劃中首輪Grant資助，并協(xié)助Sui Move生態(tài)開始了對Sui Move Analyzer的改進(jìn)研發(fā)。經(jīng)過長期的密集開發(fā)和測試，這是一次對于Sui Move Analyzer全面的升級，包括對原始功能、框架集成、性能優(yōu)化等方面的改進(jìn)！現(xiàn)在讓我們深入了解新的分析器，揭示其秘密。

總體而言，我們的升級主要包括改進(jìn)現(xiàn)有功能，并構(gòu)建了Sui-Move的開發(fā)環(huán)境。您可以通過觀看點擊視頻鏈接來了解如何在您的工作環(huán)境中安裝和應(yīng)用它，并大致的了解所有新功能：https://www.youtube.com/watch?v=79L0CrjLBUg

主要改進(jìn)

修復(fù)和增強

通過對語義插件進(jìn)行重構(gòu)，我們重新設(shè)計了一些關(guān)鍵功能。我們不但進(jìn)行了使用上的完善，并且還對其性能進(jìn)行了優(yōu)化。我們結(jié)合了語言服務(wù)器協(xié)議（Language Server Protocol）和TextMate兩種底層工具，能夠處理幾乎所有語法結(jié)構(gòu)。到目前為止，我們已經(jīng)實現(xiàn)了以下功能：

[Go to definition]
導(dǎo)航功能是插件最常用也是最核心的部分。我們?yōu)樗械摹緐se】和【friend】語句添加了支持。

[Hover]
原始的插件忽略了內(nèi)建函數(shù)和規(guī)范函數(shù)，我們針對這個缺失添加了支持，并在會懸停時提供了詳細(xì)的描述。

[Auto Completion]
我們在原有基礎(chǔ)上進(jìn)行了足夠的擴展，現(xiàn)在它幾乎支持所有的項，包括模塊、變量、字段、類型等。

除了這些功能性的改進(jìn)外，我們還對語義插件的代碼進(jìn)行了優(yōu)化，提升了它的工作效率，同時還能更合理地分配內(nèi)存，這對于插件的使用體驗也是非常有幫助的。

Sui開發(fā)集成

對于開發(fā)者來說，只有語言特性上的功能并不足以建立一個高效的開發(fā)環(huán)境。為了提高生產(chǎn)力，對主流框架的支持也是必不可少的。我們也充分考慮了這個問題，并且將Sui 框架進(jìn)行了集成，實現(xiàn)了許多常用而且至關(guān)重要的功能，包括：

【項目支持】
從零開始創(chuàng)建一個新項目并設(shè)置所有必需的文件和配置非常浪費時間。我們添加了一些功能，以便開發(fā)者從模板創(chuàng)建一個新的SUI框架項目。此外，我們還支持多項目開發(fā)功能。

【代碼片段】
目前，我們在Sui框架中添加了一些常用的代碼片段支持。例如，開發(fā)人員可以使用【init】快速生成初始函數(shù)。

【 集成Sui客戶端 】
測試/構(gòu)建是智能合約開發(fā)中極為重要的一環(huán)。我們的插件集成了Sui單元測試和Sui命令行工具。

除了這些功能性的改進(jìn)外，我們還對語義插件的代碼進(jìn)行了優(yōu)化，提升了它的工作效率，同時還能更合理地分配內(nèi)存，這對于插件的使用體驗也是非常有幫助的。

Move規(guī)范語言修改

Move規(guī)范語言（MSL）是Move Prover的核心，是 Move生態(tài)系統(tǒng)中的另一個重要角色。然而，在Move Analyzer中，它的功能相對來說不太完善。我們非常重視MSL，因此在這次更新中，重點添加了諸多對MSL 的必要支持，包括：

[Highlight]
MSL具有高度靈活的語法，我們根據(jù)不同情況為其外觀設(shè)置了不同的高亮顯示設(shè)置。

[Go to]
與Move語言中的操作類似，現(xiàn)在MSL也支持[go to definition]和[go to type definition]功能。

[Auto Completion]

我們已經(jīng)在規(guī)范中為變量、語句等項目添加了常用的自動完成功能，并計劃在將來進(jìn)一步支持更多字段。

[Spec Template]
從零開始編寫規(guī)范式會很繁瑣，因此我們?yōu)樘囟ê瘮?shù)和.move文件添加了一些實用的快速生成選項。

路線圖

總的來說，我們的更新具備許多功能上的添加和優(yōu)化，我們強烈建議開發(fā)者們進(jìn)行下載和體驗。我們真誠地希望這些更新能夠讓Move智能合約的開發(fā)更加高效、便捷和舒適。當(dāng)然，我們的插件還有許多可以改進(jìn)的空間。我們初步的制定了未來更新的路線圖，并計劃持續(xù)改進(jìn)平臺。這些改進(jìn)包括：

[Move & MSL Formatting]
格式化功能對于任何語言都至關(guān)重要，但目前的插件并沒有支持這個功能。我們計劃在后續(xù)的開發(fā)中加入它。

[Move Prover Linter]
目前，插件對于Move Prover的支持仍處于初期階段。我們計劃重新設(shè)計linter，并增強MSL的錯誤報告和檢測。

[Support More Framework]
我們認(rèn)為Move是一個極具潛力的語言，顯然其IDE和開發(fā)工具應(yīng)該不斷的支持更多主流框架，以便促進(jìn)智能合約的開發(fā)。

結(jié)論

總的來說，在本文中，我們介紹了即將推出的Sui-Move-Analyzer并詳細(xì)介紹了其中包含的許多令人興奮的新功能。我們強烈建議開發(fā)者盡早嘗試使用。借助它，您的開發(fā)體驗將從根本上得到提升。然而，當(dāng)然，盡管這些新功能經(jīng)過了精心測試，但可能仍然存在一些問題。我們期待開發(fā)者對這些改進(jìn)提供反饋，并將繼續(xù)努力推動Move生態(tài)系統(tǒng)的發(fā)展！

?? Sui Move Analyzer下載鏈接：https://movebit.xyz/analyzer

關(guān)于MoveBit

MoveBit （莫比安全） 是一家專注于Move生態(tài)的區(qū)塊鏈安全公司，通過率先使用形式化驗證使Move生態(tài)成為最安全的Web3生態(tài)系統(tǒng)。MoveBit已經(jīng)陸續(xù)與全球多家知名項目合作，并為合作伙伴提供了全方位的安全審計服務(wù)。MoveBit團(tuán)隊由學(xué)術(shù)界安全大牛和企業(yè)界安全領(lǐng)軍人物組成，具有10年的安全經(jīng)驗，在NDSS、CCS等頂級國際安全學(xué)術(shù)會議上發(fā)表安全研究成果。并且他們是Move生態(tài)最早期的貢獻(xiàn)者，與Move開發(fā)者共同制定安全Move 用的標(biāo)準(zhǔn)。

MoveBit社交媒體平臺：

官方網(wǎng)址：https://www.movebit.xyz/

Twitter：https://twitter.com/MoveBit_

Medium：https://movebit.medium.com/

關(guān)于 Sui Network

Sui是基于第一原理重新設(shè)計和構(gòu)建而成的L1公有鏈，旨在為創(chuàng)作者和開發(fā)者提供能夠承載Web3中下一個十億用戶的開發(fā)平臺。Sui上的應(yīng)用基于Move智能合約語言，并具有水平可擴展性，讓開發(fā)者能夠快速且低成本支持廣泛的應(yīng)用開發(fā)。

官網(wǎng)：https://sui.io/

Twitter：https://twitter.com/SuiNetwork

Discord：https://discord.com/invite/sui

中文Medium：https://medium.com/sui-network-cn

中文電報群：https://t.me/Sui_Blockchain_Chinese?