This directory contains CSRG Technical Report #373 entitled Checking Consistency between Source Code and Annotations by Marsha Chechik Sai Sudha Vallurupali If you have any difficulties reproducing this report, send email to chechik@cs.toronto.edu Abstract In our previous work, we described checking of code against requirements expressed in tabular notation. This process takes user-annotated code and uses annotations and control-flow information of the program to check that all transtions specified in the requirements are implemented in the code. However, this process is only as good as the annotations. Thus, we are interested in checking annotations against source code. This report describes a prototype tool called SAC. SAC takes a list of correspondences between requirements and code variables and annotated C code, and checks that the annotations preserve these correspondences. The process consists of two passes: for each annotation, check that the source code is present, and for each source code line, check that an annotation is present. A narrow window into annotated code is sufficient to perform this type of analysis. We show performance of our tool on a case study: a Temperature Control System.