比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

USH:智能合約安全系列文章反匯編·上篇_CHARGE幣

Author:

Time:1900/1/1 0:00:00

智能合約安全系列文章反匯編·上篇

前言

通過上一篇反編譯文章的學習,我們對智能合于opcode的反編譯有了基礎的學習,對于初學者來說,要想熟練運用還得多加練習。本篇我們來一塊學習智能合約反匯編,同樣使用的是OnlineSolidityDecompiler在線網站,智能合約反匯編對于初學者來說,較難理解,但對于智能合約代碼來說,只要能讀懂智能合約反匯編,就可以非常清晰的了解到合約的代碼邏輯,對審計合約和CTF智能合約都有非常大的幫助

反匯編內容

由于solidity智能合約的opcode經過反匯編后,指令較多,我們本篇分析簡明要義,以一段簡單合約代碼來分析其反匯編后的指令內容

合約源碼如下:

?pragma?solidity?^0.4.24;

?contract?Tee?{

?????

?????uint256?private?c;

?????function?a()?public?returns?(uint256)?{?self(2);?}

?????

?????function?b()?public?{?c++;?}

?????function?self(uint?n)?internal?returns?(uint256)?{

?????????

研究:比特大陸的 S19 比特幣礦機占網絡哈希率的76%:金色財經報道,根據Coinmetrics周二發布的最新研究,三種型號的比特大陸礦機占比特幣網絡算力的 76%。

Coinmetrics 發現,Antminer S19j Pro 占網絡哈希率的 34.3%,S19 占 28.1%,自 2021 年 3 月以來,它們一直是網絡上使用最多的機器。報告稱,Antminer S19 XP 占網絡哈希率的另外 13.7%。同時,研究人員表示,MicroBT 的 M50 低于可檢測性閾值。

該報告還發現,比特幣網絡消耗 13.4 吉瓦 (GW) 的電力,比劍橋大學另類金融中心發布的常用指數低 13% 。[2023/6/14 21:35:06]

?????????if?(n?<=?1)?{?return?1;?}

?????????return?n?*?self(n?-?1);

?????}

?}

合約部署后生成的opcode:

?0x6080604052600436106049576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680630dbe671f14604e5780634df7e3d0146076575b600080fd5b348015605957600080fd5b506060608a565b6040518082815260200191505060405180910390f35b348015608157600080fd5b5060886098565b005b60006094600260ab565b5090565b6000808154809291906001019190505550565b600060018211151560be576001905060cd565b60c86001830360ab565b820290505b9190505600a165627a7a7230582003f585ad588850fbfba4e8d96684e2c3fa427daf013d4a0f8e78188d4d475ee80029

過去一周Optimism上Perpetual Protocol交互量近14萬,排名第一:2月24日,據Orbiter.finance頁面信息,過去一周Optimism上去中心化永續合約協議Perpetual Protocol交互量達139,433,排名第一,遠高于排名第二的AMM協議Velodrome。此外,DEX Uniswap、合成資產發行協議Synthetix以及以太坊無損彩票平臺PoolTogether分列3至5位。[2023/2/24 12:27:04]

通過在線網站OnlineSolidityDecompiler反匯編后結果如下:

反匯編分析

我們從第一部分指令label_0000開始

??0000????60??PUSH1?0x80

??0002????60??PUSH1?0x40

??0004????52??MSTORE

??0005????60??PUSH1?0x04

??0007????36??CALLDATASIZE

??0008????10??LT

??0009????60??PUSH1?0x49

??000B????57??*JUMPI

分析:Genesis Trading的6個地址共持有3.64億美元資產,Alameda和3AC是其最大交易對手:1月6日消息,Lookonchain分析了Genesis Trading的6個地址后發現,Genesis目前持有3.64億美元的資產,包括219,749枚ETH(約合2.74億美元)、3500萬枚USDC、26,667枚BNB(680萬美元)、126,989枚COMP(400萬美元)、100萬枚APE(400萬美元)、814萬枚SAND(340萬美元)、290萬枚USDT、265萬枚USDP、40,448枚AAVE(220萬美元)、676萬枚MANA(210萬美元)和200萬枚BUSD等。

另外,Alameda Research和Three Arrows Capital(3AC)是Genesis最大的交易對手。Genesis Trading與Alameda Research和Three Arrows Capital的ETH、USDC、USDT、BUSD交易量接近70億美元。[2023/1/6 10:58:32]

push指令是將字節壓入棧頂,push1-push32依次代表將1字節-32字節推壓入棧頂,這里PUSH10x80和PUSH10x40表示將0x80和0x40壓入棧頂,故目前棧的布局如下:

?1:?0x40

?0:?0x80

MSTORE指令表示從棧中依次出棧兩個值arg0和arg1,并把arg1存放在內存的arg0處。目前來說棧中已無數據,這里將0x80存放在內存0x40處。

歐盟委員會在法律草案中提議實時歐元支付:金色財經報道,歐盟委員會周三提出了一項法律草案,要求歐盟成員國內的銀行以與現有信用轉賬相同(或更低)的費用提供即時歐元支付。?該提案旨在規范和增加公眾對這些類型的轉移的信任,并提高制裁篩選的效率。[2022/10/28 11:52:09]

PUSH10x04將0x04壓入棧中,CALLDATASIZE指令表示獲取msg.data調用數據,目前棧的布局如下:

?1:?calldata

?0:?0x04

LT指令表示將兩個棧頂的值取出,如果先出棧的值小于后出棧的值則把1入棧,反之把0入棧。這里如果calldata調用數據小于0x04字節,就將1入棧;如果calldata調用數據大于等于0x04字節,就將0入棧。目前棧的布局為:0:0或0:1。

繼續分析,PUSH10x49指令將0x49壓入棧頂,目前棧的布局為:

?1:0x49

?0:?0?或者?1

下面一條指令JUMPI指令表示從棧中依次出棧兩個值arg0和arg1,如果arg1的值為真則跳轉到arg0處,否則不跳轉。如果arg1值為1,則指令會跳轉到0x49處;如果arg1值為0,則會順序執行下一條指令。具體執行過程如下:

這里我們先來分析順序執行的內容label_000C,指令如下

孫宇晨:波場聯合儲備將向Poloniex等交易所存入1.4億枚USDT以購買更多TRX和BTC作為儲備:金色財經報道,波場創始人孫宇晨發推表示,為了保護整個區塊鏈行業和加密市場,波場聯合儲備(TRON DAO Reserve)將向波場Poloniex等交易所存入 1.4 億枚USDT,以購買更多TRX和BTC作為儲備,以及交換其他穩定幣。[2022/9/5 13:08:46]

??000C????60??PUSH1?0x00

??000E????35??CALLDATALOAD

??000F????7C??PUSH29?0x0100000000000000000000000000000000000000000000000000000000

??002D????90??SWAP1

??002E????04??DIV

??002F????63??PUSH4?0xffffffff

??0034????16??AND

??0035????80??DUP1

??0036????63??PUSH4?0x0dbe671f

??003B????14??EQ

??003C????60??PUSH1?0x4e

??003E????57??*JUMPI

目前經過上一步運算棧中布局為空,PUSH10x00指令將0壓入棧中。CALLDATALOAD指令接受一個參數,該參數可以作為發往智能合約的calldata數據的索引,然后從該索引處再讀取32字節數,由于前一個指令傳入的索引值為0,所以這一步指令會彈出棧中的0,將calldata32字節壓入棧中。PUSH29指令將29個字節壓入棧中。目前棧的布局如下:

?1:0x0100000000000000000000000000000000000000000000000000000000

?0:calldata值

SWAP1指令表示將堆棧頂部元素與之后的第一個元素進行交換,也就是0x0100000000000000000000000000000000000000000000000000000000和calldata值進行交換。接下來DIV指令表示取a//b的值,這里也就是calldata的32字節除29字節,由于除法的運算關系,這里進行除法運算后的字節為4位,估計大家也可以想到,這就是函數標識符4字節。那么目前棧的布局如下:

0:函數標識符4字節

PUSH4指令將0xffffffff壓入棧中。AND指令表示將取棧中前兩個參數進行AND運算,也就是函數標識符前四位0xffffffff進行AND操作,最終得到前四位的函數標識符及后28位為空補0的數值。下一條指令DUP1表示復制當前棧中第一個值到棧頂,目前棧中布局如下:

1:調用參數中的函數標識符?0:調用參數中的函數標識符

下一個指令PUSH4指令繼續將函數標識符0x0dbe671f壓入棧中,這里的標識符為a()函數,函數標識符我們可以在https://www.4byte.directory/在線網站查看。目前棧中布局如下:

2:0x0dbe671f?1:調用參數中的函數標識符?0:調用參數中的函數標識符

EQ指令表示取兩個棧頂值,如果兩值相等就將1入棧,反之將0入棧。下一步PUSH1將0x4e壓入棧頂。之后JUMPI指令從棧中依次出棧兩個值arg0和arg1,如果arg1的值為真則跳轉到arg0處,否則不跳轉。目前棧中布局如下:

2:0x4e?1:1?或?0??0:調用參數中的函數標識符

從前面三個指令可看出,EQ對函數標識符進行判斷后,下一步壓入0x4e是為了JUMPI進行判斷并跳轉。也就是說如果EQ判斷a()函數標識符相等,JUMPI執行后就會跳轉到0x4e的偏移位置;反之如果EQ判斷a()函數標識符不相等,JUMPI執行后就會順序執行下一條語句。目前棧中布局如下:

0:調用參數中的函數標識符

具體執行過程如下:

目前我們對label_0000和label_000C已進行分析,從上圖來看,該流程中除了順序執行外,label_0000處0x49,label_003F處0x76和label_000C處0x4e都有相應的跳轉條件。本篇我們繼續分析順序執行部分指令。首先來看第一部分label_003F:

?003F????80??DUP1?0040????63??PUSH4?0x4df7e3d0?0045????14??EQ?0046????60??PUSH1?0x76?0048????57??*JUMPI

由于目前棧中只有一條數據

DUP1指令表示復制棧中第一個值到棧頂。PUSH4指令將0x4df7e3d0函數標識符壓入棧頂,這里函數標識符代表b()函數,故目前棧中布局如下:

2:0x4df7e3d0?1:調用參數中的函數標識符?0:調用參數中的函數標識符

接下來三個指令會進行棧中值進行運算和偏移量跳轉設置,EQ指令把棧頂的兩個值出棧,如果0x4df7e3d0和調用參數中的函數標識符相等則把1入棧,否則把0入棧。PUSH1指令將偏移量0x76壓入棧中。JUMPI指令從棧中依次出棧兩個值:0x76和EQ指令判斷的值,如果EQ指令判斷的值為真則跳轉到0x76處,否則按順序執行不跳轉。故目前棧中布局如下:

2:0x76?1:1?或?0??0:調用參數中的函數標識符

我們假設EQ指令判斷的值為0,那么通過JUMPI指令條件判斷后,會按照順序繼續執行下一條指令。執行后,棧中依然只有一條指令。

我們繼續進行順序執行,label_0049:

?0049????5B??JUMPDEST?004A????60??PUSH1?0x00?004C????80??DUP1?004D????FD??*REVERT

JUMPDEST指令在該上下文中表示跳轉回來,也就是label_0000處0x49的跳轉。之后的兩條指令PUSH1和DUP1總體意思為將0壓入棧頂并復制,沒有實際意義。REVERT指令則表示并未有函數簽名匹配,從而停止執行,回滾狀態。

總結

由于反匯編內容過多,我們分為兩篇分享給大家,本篇我們對反匯編的內容進行了詳細講解,下篇我們將會繼續分析并串聯所有指令,梳理代碼邏輯。

來源:金色財經

Tags:USHPUSH0X0ARGTARUSHPUSH幣0x0.ai: AI Smart ContractCHARGE幣

歐易okex官網
UNI:曲速未來 發布 您的網絡安全策略是否安全合理?_Universal Gold

區塊鏈安全咨詢公司曲速未來?表示:PonemonInstitute曾對未來三年的全球網絡安全趨勢進行了調研,67%的受訪者認為他們企業的信息安全將迎來更大的挑戰。例如勒索軟件.

1900/1/1 0:00:00
WEB:大牛證券股票開戶:市場繼續向好趨勢的邏輯不變_SEM

近期市場短暫刷新年內新高后大盤延續調整勢頭,雖然出現反彈,但力度依舊不大。Web3藝術平臺Ensemble完成100萬美元種子輪融資:3月31日消息,Web3藝術平臺Ensemble完成100萬.

1900/1/1 0:00:00
加密貨幣:昨天 全球最大不可描述網站P站做了這樣一件事_Aave SUSD

昨日,全球最大成人網站P站對外宣布默認加密貨幣作為唯一的支付方式。根據P站官網顯示,目前已支持BTC、ETH、BCH、DASH、ETC、LTC、XMR、XEM、USDT、TRX、XVG、ZEC以.

1900/1/1 0:00:00
STARK:程雪談幣:晚間策略驗證 呈現多空雙殺_STAR

程雪:策略驗證,呈現多空雙殺!       ????????日內行情走勢基本于晚間程雪給出的策略操作區間達到一致,于19200附近布局空單目前持續下看19100破位,最低至少獲利100點.

1900/1/1 0:00:00
MAKE:幣圈老股:12.16比特幣多頭反彈走高有延續 高位區間震蕩整理_Moon Maker Protocol

對于當前行情BTC與ETH行情解讀分析看點:近2天走勢,BTC行情是玩了一把高空式的落下再走蕩上行的走勢,本次先說下應該是突破19000關口企穩迎來了一波拉伸漲幅.

1900/1/1 0:00:00
BLUR:解套大手:12.15比特幣多頭情緒逐漸增強 不過并未打破震蕩下行的趨勢_blur幣初始價格

比特幣行情分析: 日線圖中,昨日K線收陰,收盤價為19198低于開盤價20點左右,行情總體以震蕩運行為主,與筆者所預期的正好相吻合;今日多方量能強勢.

1900/1/1 0:00:00
ads