Fix style

Author: mamaria-k

configs/annotations.json

@@ -2326,5 +2326,16 @@
       []
     ],
     "properties": []
+  },
+  "printf": {
+    "name": "printf",
+    "annotation": [
+      [],
+      [
+        "TaintSink::FormatString",
+        "TaintSink::SensitiveDataLeak"
+      ]
+    ],
+    "properties": []
   }
 }

lib/Core/SpecialFunctionHandler.cpp

@@ -1346,10 +1346,6 @@ void SpecialFunctionHandler::handleGetTaintRule(
     return;
   }
 
-//  //  // TODO: now mock
-//    ref<Expr> result = ConstantExpr::create(1, Expr::Int64);
-//    executor.bindLocal(target, state, result);
-
   uint64_t taintSink = dyn_cast<ConstantExpr>(arguments[1])->getZExtValue();
   printf("klee_get_taint_rule sink: %zu\n", taintSink);
   executor.executeGetTaintRule(state, target,

lib/Expr/Expr.cpp

@@ -559,18 +559,6 @@ ref<ConstantExpr> Expr::createTaintBySource(uint64_t source) {
 
 ref<Expr> Expr::combineTaints(const ref<Expr> &taintL,
                               const ref<Expr> &taintR) {
-//  if (SelectExpr *sel = dyn_cast<SelectExpr>(taintL)) {
-//    taintL->dump();
-//  }
-//  if (PointerExpr *sel = dyn_cast<PointerExpr>(taintL)) {
-//    taintR->dump();
-//  }
-//  if (ConstantExpr *sel = dyn_cast<ConstantExpr>(taintL)) {
-//    if (ConstantExpr *ser = dyn_cast<ConstantExpr>(taintR)) {
-//      sel->getAPValue().dump();
-//      ser->getAPValue().dump();
-//    }
-//  }
   return OrExpr::create(taintL, taintR);
 }