Tutorial 2 - Creating a C/C++ KAST checker with built-in functions

In this tutorial, we create a custom C/C++ KAST checker that searches code for assignment statements and finds instances of possible data loss through the assignment. To do this, we define a KAST expression that uses KAST built-in functions to specify the way the checker will work.

This tutorial assumes that you've become familiar with Checker Studio and the basic process of creating a checker through Tutorial 1 - Creating a C/C++ KAST checker.