In this talk, we want to show how AI - namely symbolic in combination with sub-symbolic - is used in code analysis. In this demo-loaded presentation, we will start by talking about the problem of software quality and how AI is useful. We will show then how in practice symbolic and sub-symbolic AI in combination with access to large amounts of open-source can help solve major issues in software quality. The technology provided by DeepCode will serve as an example.