I have been lookiing at their README.md, it says that is runs queries against code, to find security vulnerabilities - but I could not find any details regarding what those vulnerabilities are.
Is anyone using this ? Can you please point me to some description of those vulnerabilities ?