I want to check if the contract is using safeMaths library? Somebody please guide me.
Other than checking the verified source code and looking for SafeMath, I am not sure if there is another way to do this.
Can you please provide me an example for a Truffle project?
Please tell me through a mocha program?
Emmm, how about this one: OpenZeppelin Upgrades: Step by Step Tutorial for Truffle
You could try to get a contract to overflow and if it does, then it isn’t using SafeMath. You could fork mainnet to check a contract.