How many integer errors can Osiris detect today?

Hello, I am a postgraduate student from Hohai University. I'm investigating the current smart contract detection tools, and I've read OSIRIS papers. Could you tell me that the types of integer errors that OSIRIS can detect are still the three mentioned in this paper?