Category-Based Analysis Of Smart Contracts