CPAChecker is a framework which can be used as a software verification tool for C programs. We can use CPAchecker locally by command line interface or in cloud by web interface. Even Though CPAchecker is good for software verification and program analysis, one developer cannot use this CPAchecker inside an IDE. This massively decreases the usability of CPAchecker. The solution for this problem is creating a plugin that can make use of CPAchecker inside the IDE.


Tharsanan Kurukulasingam


  • Thomas Lemberger