Tutorial 1 - Creating a C/C++ KAST checker

This tutorial describes how to create a simple C/C++ KAST checker.