An introduction to using Klocwork Checker Studio to create a KAST expression.