[Smart Contract] How to use Octopus

https://github.com/quoscient/octopusOctopus는 EVM 및 WASM을 지원하는 블록체인 스마트 컨트랙트의 보안을 분석하는 도구이다.이 도구의 목적은 스마트 컨트랙트 보안을 분석하고 블록체인에 실제로 저장된 내용을 이해하기 쉽게 해주는 것이다.EVM과 WASM 이 외에도 BTC Script, NEO 스마트 컨트랙트를 지원한다.* 특징Explorer : 블록체인 플랫폼과 통신하기 위한 Octopus JSON-RPC 클라이언트를 구현한다.Disassembler : 바이트코드를 어셈블리 표현으로 변환할 수 있다.Control Flow Analysis : 제어 흐름 그래프(CFG)를 생성할 수 있다.IR Converson (SSA) : SSA 표현으로 어셈블리를 단순화 할 수 있다.Symbolic Execution : 이 도..........

원문링크 : [Smart Contract] How to use Octopus