Smart Contract Security: Based on Control Flow Integrity