@@ -86,7 +86,7 @@ class MyTestClass
 
 	void test7()
 	{
-		Lock<Mutex>(memberMutex); // BAD (creates an uninitialized variable called `memberMutex`, probably not intended) [NOT DETECTED]
+		Lock<Mutex>(memberMutex); // $ MISSING: Alert // BAD (creates an uninitialized variable called `memberMutex`, probably not intended) [NOT DETECTED]
 
 		// ...
 	}
 
@@ -19,7 +19,7 @@ void test1(int p)
 {
 	sys_somesystemcall(&p);
 
-	unsafe_put_user(123, &p); // BAD [NOT DETECTED]
+	unsafe_put_user(123, &p); // $ MISSING: Alert // $ MISSING: Alert // BAD [NOT DETECTED]
 }
 
 void test2(int p)
@@ -40,7 +40,7 @@ void test3()
 
 	sys_somesystemcall(&v);
 
-	unsafe_put_user(123, &v); // BAD [NOT DETECTED]
+	unsafe_put_user(123, &v); // $ MISSING: Alert // $ MISSING: Alert // BAD [NOT DETECTED]
 }
 
 void test4()
@@ -68,7 +68,7 @@ void test5()
 
 	sys_somesystemcall(&myData);
 
-	unsafe_put_user(123, &(myData.x)); // BAD [NOT DETECTED]
+	unsafe_put_user(123, &(myData.x)); // $ MISSING: Alert // $ MISSING: Alert // BAD [NOT DETECTED]
 }
 
 void test6()
 
@@ -24,7 +24,7 @@ void test()
 
 	size_t size2 = x;
 	size2 *= y;
-	char *buffer6 = (char *)malloc(size2); // BAD [NOT DETECTED]
+	char *buffer6 = (char *)malloc(size2); // $ MISSING: Alert // $ MISSING: Alert // BAD [NOT DETECTED]
 
 	char *buffer7 = new char[x * 10]; // GOOD
 	char *buffer8 = new char[x * y]; // $ Alert // BAD
 
@@ -105,6 +105,6 @@ void test7(int size) {
     }
 
     for (char *p = arr; p <= arr + size; p++) {
-        *p = 0; // BAD [NOT DETECTED]
+        *p = 0; // $ MISSING: Alert // BAD [NOT DETECTED]
     }
 }
@@ -10,8 +10,8 @@ int main(int argc, char *argv[])
 {
   FILE *fp;
   char buf[128];
-  fp = fopen("myFile.txt","r+"); // BAD [NOT DETECTED]
-  fgets(buf,128,fp); 
+  fp = fopen("myFile.txt","r+"); // $ MISSING: Alert // BAD [NOT DETECTED]
+  fgets(buf,128,fp);
   fprintf(fp,"%s\n","data to file");
   fclose(fp);
   return 0;
 
@@ -58,9 +58,9 @@ int badTestf3(int type, int met) {
   is = getSize(type);
   switch (met) {
   case 1:
-    if (is >= 0) return 123 / is; // BAD [NOT DETECTED]
+    if (is >= 0) return 123 / is; // $ MISSING: Alert // BAD [NOT DETECTED]
   case 2:
-    if (0 == is) return 123 / is; // BAD [NOT DETECTED]
+    if (0 == is) return 123 / is; // $ MISSING: Alert // BAD [NOT DETECTED]
   case 3:
     if (!is & 123 / is) // $ Alert // BAD
       return 123;
@@ -82,7 +82,7 @@ int badTestf3(int type, int met) {
   }
   if (is != 0) return -1;
   if (is == 0) type += 1;
-  return 123 / is; // BAD [NOT DETECTED]
+  return 123 / is; // $ MISSING: Alert // BAD [NOT DETECTED]
 }
 
 int goodTestf3(int type, int met) {
@@ -223,7 +223,7 @@ int badTestf12(FILE * f) {
   int a;
   int ret = -1;
   a = getc(f);
-  if (a == 0) ret = 123 / a; // BAD [NOT DETECTED]
+  if (a == 0) ret = 123 / a; // $ MISSING: Alert // BAD [NOT DETECTED]
   return ret;
 }
 
@@ -262,7 +262,7 @@ void badTestf13(int type) {
   if (is < 5)
     badMySubDiv(type, is); // $ Alert // BAD
   if (is < 0)
-    badMySubDiv(type, is); // BAD [NOT DETECTED]
+    badMySubDiv(type, is); // $ MISSING: Alert // BAD [NOT DETECTED]
   if (is > 5)
     badMySubDiv(type, is); // GOOD
   if (is == 0)
 
@@ -39,7 +39,7 @@ int funcTest3()
   FILE *fp;
   char filename[80];
   strcat(filename, "/tmp/tmp.name");
-  fp = fopen(filename,"w"); // BAD [NOT DETECTED]
+  fp = fopen(filename,"w"); // $ MISSING: Alert // BAD [NOT DETECTED]
   fprintf(fp,"%s\n","data to file");
   fclose(fp);
   return 0;
 
@@ -60,7 +60,7 @@ int functionWork1b(int retIndex) {
 }
 int functionWork1_() {
   int i;
-  scanf("%i",&i); // BAD [NOT DETECTED]
+  scanf("%i",&i); // $ MISSING: Alert // BAD [NOT DETECTED]
   if(i<10)
     return -1;
   return i;
 
@@ -52,7 +52,7 @@ void test6(char *x) {
 }
 
 void test7(char *x) {
-  if (x || x) { // BAD [NOT DETECTED]
+  if (x || x) { // $ MISSING: Alert // BAD [NOT DETECTED]
     free(x);
   }
 }
@@ -91,7 +91,7 @@ void test10(char *x) {
   if (x) free(x);
 
 void test11(char *x) {
-  TRY_FREE(x) // BAD [NOT DETECTED]
+  TRY_FREE(x) // $ MISSING: Alert // BAD [NOT DETECTED]
 }
 
 bool test12(char *x) {
 
@@ -15,24 +15,24 @@ void test(char *buffer, int bufferSize)
 	if ((buffer[i] == 'x') && (i < bufferSize)) {} // $ Alert // BAD
 
 	if ((bufferSize > i) && (buffer[i] == 'x')) {} // GOOD
-	if ((buffer[i] == 'x') && (bufferSize > i)) {} // BAD [NOT DETECTED]
+	if ((buffer[i] == 'x') && (bufferSize > i)) {} // $ MISSING: Alert // BAD [NOT DETECTED]
 
 	if ((i <= bufferSize - 1) && (buffer[i] == 'x')) {} // GOOD
-	if ((buffer[i] == 'x') && (i <= bufferSize - 1)) {} // BAD [NOT DETECTED]
+	if ((buffer[i] == 'x') && (i <= bufferSize - 1)) {} // $ MISSING: Alert // BAD [NOT DETECTED]
 
 	if ((bufferSize >= i + 1) && (buffer[i] == 'x')) {} // GOOD
-	if ((buffer[i] == 'x') && (bufferSize >= i + 1)) {} // BAD [NOT DETECTED]
+	if ((buffer[i] == 'x') && (bufferSize >= i + 1)) {} // $ MISSING: Alert // BAD [NOT DETECTED]
 
 	if ((i < bufferSize) && (true) && (buffer[i] == 'x')) {} // GOOD
 	if ((buffer[i] == 'x') && (true) && (i < bufferSize)) {} // $ Alert // BAD
 
 	if ((i < bufferSize - 1) && (buffer[i + 1] == 'x')) {} // GOOD
-	if ((buffer[i + 1] == 'x') && (i < bufferSize - 1)) {} // BAD [NOT DETECTED]
+	if ((buffer[i + 1] == 'x') && (i < bufferSize - 1)) {} // $ MISSING: Alert // BAD [NOT DETECTED]
 
 	if ((i < bufferSize) && (buffer[i] == 'x') && (i < bufferSize - 1)) {} // GOOD
 	if ((i < bufferSize) && ((buffer[i] == 'x') && (i < bufferSize - 1))) {} // GOOD
-	if ((i < bufferSize + 1) && (buffer[i] == 'x') && (i < bufferSize)) {} // BAD [NOT DETECTED]
-	if ((i < bufferSize + 1) && ((buffer[i] == 'x') && (i < bufferSize))) {} // BAD [NOT DETECTED]
+	if ((i < bufferSize + 1) && (buffer[i] == 'x') && (i < bufferSize)) {} // $ MISSING: Alert // BAD [NOT DETECTED]
+	if ((i < bufferSize + 1) && ((buffer[i] == 'x') && (i < bufferSize))) {} // $ MISSING: Alert // BAD [NOT DETECTED]
 
 	// look for 'ab'
 	for (i = 0; i < bufferSize; i++) {
Original file line number	Diff line number	Diff line change
`@@ -86,7 +86,7 @@ class MyTestClass`
`86`	`86`
`87`	`87`	`void test7()`
`88`	`88`	`{`
`89`		- Lock<Mutex>(memberMutex); // BAD (creates an uninitialized variable called `memberMutex`, probably not intended) [NOT DETECTED]
	`89`	+ Lock<Mutex>(memberMutex); // $ MISSING: Alert // BAD (creates an uninitialized variable called `memberMutex`, probably not intended) [NOT DETECTED]
`90`	`90`
`91`	`91`	`// ...`
`92`	`92`	`}`
Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ void test1(int p)`
`19`	`19`	`{`
`20`	`20`	`sys_somesystemcall(&p);`
`21`	`21`
`22`		`- unsafe_put_user(123, &p); // BAD [NOT DETECTED]`
	`22`	`+ unsafe_put_user(123, &p); // $ MISSING: Alert // $ MISSING: Alert // BAD [NOT DETECTED]`
`23`	`23`	`}`
`24`	`24`
`25`	`25`	`void test2(int p)`
`@@ -40,7 +40,7 @@ void test3()`
`40`	`40`
`41`	`41`	`sys_somesystemcall(&v);`
`42`	`42`
`43`		`- unsafe_put_user(123, &v); // BAD [NOT DETECTED]`
	`43`	`+ unsafe_put_user(123, &v); // $ MISSING: Alert // $ MISSING: Alert // BAD [NOT DETECTED]`
`44`	`44`	`}`
`45`	`45`
`46`	`46`	`void test4()`
`@@ -68,7 +68,7 @@ void test5()`
`68`	`68`
`69`	`69`	`sys_somesystemcall(&myData);`
`70`	`70`
`71`		`- unsafe_put_user(123, &(myData.x)); // BAD [NOT DETECTED]`
	`71`	`+ unsafe_put_user(123, &(myData.x)); // $ MISSING: Alert // $ MISSING: Alert // BAD [NOT DETECTED]`
`72`	`72`	`}`
`73`	`73`
`74`	`74`	`void test6()`
Original file line number	Diff line number	Diff line change
`@@ -105,6 +105,6 @@ void test7(int size) {`
`105`	`105`	`}`
`106`	`106`
`107`	`107`	`for (char *p = arr; p <= arr + size; p++) {`
`108`		`- *p = 0; // BAD [NOT DETECTED]`
	`108`	`+ *p = 0; // $ MISSING: Alert // BAD [NOT DETECTED]`
`109`	`109`	`}`
`110`	`110`	`}`
Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ int functionWork1b(int retIndex) {`
`60`	`60`	`}`
`61`	`61`	`int functionWork1_() {`
`62`	`62`	`int i;`
`63`		`- scanf("%i",&i); // BAD [NOT DETECTED]`
	`63`	`+ scanf("%i",&i); // $ MISSING: Alert // BAD [NOT DETECTED]`
`64`	`64`	`if(i<10)`
`65`	`65`	`return -1;`
`66`	`66`	`return i;`
Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,7 @@ void test6(char *x) {`
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`void test7(char *x) {`
`55`		`- if (x \|\| x) { // BAD [NOT DETECTED]`
	`55`	`+ if (x \|\| x) { // $ MISSING: Alert // BAD [NOT DETECTED]`
`56`	`56`	`free(x);`
`57`	`57`	`}`
`58`	`58`	`}`
`@@ -91,7 +91,7 @@ void test10(char *x) {`
`91`	`91`	`if (x) free(x);`
`92`	`92`
`93`	`93`	`void test11(char *x) {`
`94`		`- TRY_FREE(x) // BAD [NOT DETECTED]`
	`94`	`+ TRY_FREE(x) // $ MISSING: Alert // BAD [NOT DETECTED]`
`95`	`95`	`}`
`96`	`96`
`97`	`97`	`bool test12(char *x) {`