[CPP-370] Minor textual tweaks.

zlaski-semmle · zlaski-semmle · commit 775861c3865a · 2019-05-21T06:18:30.000-07:00
diff --git a/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql b/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql
@@ -70,8 +70,7 @@ class ConstFlow extends DataFlow::Configuration {
   ConstFlow() { this = "ConstFlow" }
 
   override predicate isSource(DataFlow::Node source) { 
-  	none()
-    //isConst(source.asExpr())
+    isConst(source.asExpr())
   }
 
   override predicate isSink(DataFlow::Node sink) {
diff --git a/cpp/ql/test/query-tests/Likely Bugs/Format/NonConstantFormat/NonConstantFormat.c b/cpp/ql/test/query-tests/Likely Bugs/Format/NonConstantFormat/NonConstantFormat.c
@@ -2,7 +2,7 @@ extern int printf(const char *fmt, ...);
 
 // For the following `...gettext` functions, we assume that
 // all translations preserve the type and order of `%` specifiers
-// (and hence are safe to use as format strings).  This is
+// (and hence are safe to use as format strings).  This
 // assumption is hard-coded into the query.
 
 extern char *gettext (const char *__msgid);

Original file line number	Diff line number	Diff line change
`@@ -70,8 +70,7 @@ class ConstFlow extends DataFlow::Configuration {`
`70`	`70`	`ConstFlow() { this = "ConstFlow" }`
`71`	`71`
`72`	`72`	`override predicate isSource(DataFlow::Node source) {`
`73`		`- none()`
`74`		`- //isConst(source.asExpr())`
	`73`	`+ isConst(source.asExpr())`
`75`	`74`	`}`
`76`	`75`
`77`	`76`	`override predicate isSink(DataFlow::Node sink) {`