Á¤º¸°úÇÐȸ ÄÄÇ»ÆÃÀÇ ½ÇÁ¦ ³í¹®Áö (KIISE Transactions on Computing Practices)
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
¿ä¾àµÈ ÁÖ¼Ò°ª ±â¹Ý ¸Þ¸ð¸® ºÐ¼® ±â¹ý ¹× À̸¦ ÀÌ¿ëÇÑ EVM ¹ÙÀÌÆ®ÄÚµå ºÐ¼® |
¿µ¹®Á¦¸ñ(English Title) |
EVM Bytecode Analysis Using an Abstract-Index-Based Memory Analysis Technique |
ÀúÀÚ(Author) |
¹ÚÁöÈñ
·ù¼®¿µ
Jihee Park
Sukyoung Ryu
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 26 NO. 04 PP. 0217 ~ 0222 (2020. 04) |
Çѱ۳»¿ë (Korean Abstract) |
¾ÏÈ£ÈÆó¿Í ½º¸¶Æ® ÄÁÆ®·¢Æ®¿¡ ´ëÇÑ °ü½ÉÀÌ Ä¿Áö¸é¼ ½º¸¶Æ® ÄÁÆ®·¢Æ®ÀÇ ºÐ¼®ÀÌ È°¹ßÈ÷ ÀÌ·ç¾îÁö°í ÀÖ´Ù. ƯÈ÷ ÀÌ´õ¸®¿òÀ» ±â¹ÝÀ¸·Î ÇÑ ÀÌ´õ¸®¿ò °¡»ó¸Ó½Å(EVM) À§¿¡¼ ½ÇÇàµÇ´Â ÇÁ·Î±×·¥ÀÇ ¾ÈÀü¼ºÀ» Áõ¸íÇÏ°íÀÚ ÇÏ´Â ¿¬±¸µéÀÌ ÁøÇàµÇ°í Àִµ¥, EVM ¹ÙÀÌÆ®ÄÚµå·Î ÄÄÆÄÀϵǴ °í±Þ ¾ð¾îµéÀÇ µ¶Æ¯ÇÑ ¸Þ¸ð¸® ÇÒ´ç ±¸Á¶´Â Æ÷ÀÎÅÍ ºÐ¼®À» ¾î·Æ°Ô ¸¸µå´Â ¿äÀÎ Áß ÇϳªÀÌ´Ù. ÀÌ ¿¬±¸¿¡¼´Â °í±Þ ¾ð¾îµéÀÇ ¸Þ¸ð¸® ¸ðµ¨ÀÌ ¾î¶»°Ô EVM ¹ÙÀÌÆ®ÄÚµå·Î ÄÄÆÄÀϵǴÂÁö¿¡ ´ëÇؼ ¾Ë¾Æº¸°í, ¹®¹ýÀûÀ¸·Î ¸Þ¸ð¸® ÇÒ´çÀ» Áö¿øÇÏÁö ¾Ê¾Æ ¼±Çü ¸Þ¸ð¸® ¸ðµ¨¿¡ Æ÷ÀÎÅÍ·Î Á¢±ÙÇÏ´Â ÇÁ·Î±×·¥À» ºÐ¼®Çϱâ À§ÇØ ¿ä¾àµÈ ÁÖ¼Ò°ªÀ» ±â¹ÝÀ¸·Î ÇÏ´Â ºÐ¼®À» Á¤ÀÇÇÏ¿´´Ù. º» ¿¬±¸¸¦ ÅëÇØ EVM ¹ÙÀÌÆ®Äڵ忡¼ ¿¬±¸µÇ¾î¿Â ºÐ¼®º¸´Ù ´õ Á¤¹ÐÇÑ ¸Þ¸ð¸® ºÐ¼®À» ¼öÇàÇÒ ¼ö ÀÖÀ½À» º¸ÀδÙ.
|
¿µ¹®³»¿ë (English Abstract) |
As interest in cryptocurrency and smart contracts grow, many studies are actively analyzing smart contracts. Especially, there are many studies about validating the safety of programs based on the Ethereum virtual machine, is one of the famous cryptocurrency frameworks. However, it is challenging to analyze memory contents of the Ethereum bytecode because of the complex behavior of memory allocation. In this study, we provide a summary of how memory models in high-level programming languages are compiled into EVM bytecodes, and propose a memory abstraction technique that uses abstract values as indices of abstract memory. It enables analyses of linear memory models with pointers which is difficult to analyze because they do not support memory allocation primitive. Through this study, we show that we can perform a more precise memory analysis than the analysis studied in the EVM bytecode.
|
Å°¿öµå(Keyword) |
½º¸¶Æ® ÄÁÆ®·¢Æ®
ºí·ÏüÀÎ
EVM ¹ÙÀÌÆ®ÄÚµå ºÐ¼®
¿ä¾à Çؼ®
¸Þ¸ð¸® ºÐ¼®
º°Äª ºÐ¼®
smart contract
blockchain
EVM bytecode analysis
abstract interpretation
memory analysis
alias analysis
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|