Post navigation Auditing smart contracts for composability and unexpected on-chain interactionsOn-Chain Analysis Techniques For Detecting Systemic Risks In Derivatives Borrowing Markets