How many kinds of Ethereum smart contract problems can be detected by OCTOPUS？

[xf97]

Hello, I am a postgraduate from Hohai University. Because I'm investigating related fields, I would like to know how many kinds of Etehereum smart contract problems OCTOPUS can detect. I haven't found relevant description documents or papers. If they exist, please tell me that I will read the relevant documents. I'm sorry to disturb your life and look forward to your reply.

[pventuzelo]

Hi, If you want to detect vulnerabilities with octopus you need to create your detection rules matching the SSA representation. I'm not working on this subject at the time so you should take a look to other project like slither.