Ra+ – 类风湿关节炎+区块链毕设代写

区块链毕设代写本文提供国外最新区块链项目源码下载,包括solidity,eth,fabric等blockchain区块链,Ra+ – 类风湿关节炎+区块链毕设代写 是一篇很好的国外资料

Ra+

dynamically determine EVM exploits

Requirements

  • Python3 (confirmed 3.6)
  • Python modules
    • z3-solver
    • pysha3 (used for convenience to represent sha3 output)
  • Graphviz (required to draw the execution path)

Usage

  1. Run ra.py.
    python3 ra.py

  2. Give some EVM bytecode to standard input.
    606060405260043610610041576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680633ccfd60b14610046575b600080fd5b341561005157600080fd5b61005961005b565b005b3373ffffffffffffffffffffffffffffffffffffffff166000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460405180602001905060006040518083038185875af192505050156101155760008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b5600a165627a7a72305820e598d1a576b5047521cba20260ee9579fee29311bfbb5623191a49ca74a1e4380029

  3. If the given code has re-entrancy, RA teach you the combination of functions which may cause re-entrancy as tuple of function IDs.
    ('0x3ccfd60b', '0x3ccfd60b', True, 6.267011556017678)
    In this case, '0x3ccfd60b' is function ID of the first called function, and '0x3ccfd60b' is function ID of the second called (called by malicious contract) function.

Limitations

  • RA cannnot create new contract whose code will be determine dynamically(such part will be symbol variable). It is due to the data type which represents contract. Ra just uses a string as EVM bytecode. Thus, if it is replaced with python list, or temporally fixes such dynamic code, you can analyse such contracts.
  • Some EVM opcodes are not implemented in RA’s VM.

License

This program is released under the MIT license.

v1.1.0


Ra+

动态确定EVM漏洞。
运行ra.py。
python3 ra.py

要求

  • Python模块z3解算器PYSA3(用于方便表示sha3输出)
  • 图形(需要绘制执行路径)
  • RA无法创建代码将动态确定的新合同(该部分将是符号变量)。这是由于表示合同的数据类型造成的。Ra只使用字符串作为EVM字节码。因此,如果将其替换为python列表,或者临时修复此类动态代码,则可以分析此类契约

使用

  1. 一些EVM操作码未在RA的VM中实现
  2. 此程序是根据MIT许可证发布的

  3. If the given code has re-entrancy, RA teach you the combination of functions which may cause re-entrancy as tuple of function IDs.
    ('0x3ccfd60b', '0x3ccfd60b', True, 6.267011556017678)
    In this case, '0x3ccfd60b' is function ID of the first called function, and '0x3ccfd60b' is function ID of the second called (called by malicious contract) function.

限制

  • RA cannnot create new contract whose code will be determine dynamically(such part will be symbol variable). It is due to the data type which represents contract. Ra just uses a string as EVM bytecode. Thus, if it is replaced with python list, or temporally fixes such dynamic code, you can analyse such contracts.
  • Some EVM opcodes are not implemented in RA’s VM.

许可证

This program is released under the MIT license.

v1.1.0

部分转自网络,侵权联系删除区块链源码网

www.interchains.cc

https://www.interchains.cc/23500.html

区块链毕设网(www.interchains.cc)全网最靠谱的原创区块链毕设代做网站 部分资料来自网络,侵权联系删除! 最全最大的区块链源码站 ! QQ3039046426
区块链知识分享网, 以太坊dapp资源网, 区块链教程, fabric教程下载, 区块链书籍下载, 区块链资料下载, 区块链视频教程下载, 区块链基础教程, 区块链入门教程, 区块链资源 » Ra+ – 类风湿关节炎+区块链毕设代写

提供最优质的资源集合

立即查看 了解详情