The idea is to explore the technologies and the various components to realize some AI to predict pitfalls in source code which can potentially generate run-time misbehaviours.
The potential area where this idea could have positive implications are:
embedded area (e.g. autonomous driving cars, mission critical application, etc.)
general purpose software
integration into software development IDEs
integration into compilers
The goal is to reduce to a bear minimum the false positives during the static code analysis and make sure that hard to identify issues can be highlighted to the developer.
This project is part of:
Hack Week 18