[Smart Contract] How to use Oyente

https://github.com/melonproject/oyenteOyente는 스마트 컨트랙트의 안전성을 분석하고 평가할 수 있는 자동화된 도구이다.Solidty, Serpent 언어와 같은 고 수준 표현에 액세스 하는 것 없이 EVM과 직접 작동하는 symbolic execution 도구이다.스마트 컨트랙트에 존재하는 TOD(Transaction Ordering Dependence), Timestamp dependency, Reentrancy, Mishandling exceptions 등 일반적인 취약점들을 탐지한다.2016년 5월까지 19366개의 스마트 계약들 중 8836개의 게약을 취약한 것으로 탐지 할 만큼 효과적인 도구이다.2017년 10월에 최신 버전 v0.2.7이 릴리스 된 이후로 추가적인 버전 업그레이드나 새롭게 릴리즈 된 내용은 없다.Insta..........

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