이 시스템이 스마트 컨트랙트에서 발생하는 모든 공격들에 대한 탐지 및 분석을 제공하는 것은 아니지만 주요 공격에서 발생하는 공통된 특징을 바탕으로 기존 취약점 분석에서 간과했던 부분들을 새롭게 파악할 수 있었다. The set of info is called the extensional database or EDB from the Datalog program. The list of tuples computed by https://datalog-521098.designertoblog.com/65120215/the-5-second-trick-for-datalog