C++ (Cpp) __infer_taint_sinkの例

コード例 #1

ファイル: basics.cpp プロジェクト: zmyer/infer

void template_source_bad() {
  void* source = template_source<void*>();
  __infer_taint_sink(source);
}

コード例 #2

ファイル: basics.cpp プロジェクト: HKingz/infer

void callSink(void* param) { __infer_taint_sink(param); }

コード例 #3

ファイル: basics.cpp プロジェクト: zmyer/infer

void returnSourceToSinkBad() {
  void* source = returnSource();
  __infer_taint_sink(source);
}

コード例 #4

ファイル: basics.cpp プロジェクト: zmyer/infer

void sourceToSinkDirectBad() {
  void* source = __infer_taint_source();
  __infer_taint_sink(source);
}

コード例 #5

ファイル: basics.cpp プロジェクト: zmyer/infer

 void endpoint(std::string source1, void* source2) {
   this->string_sink(source1);
   __infer_taint_sink(source2);
 }

コード例 #6

ファイル: basics.cpp プロジェクト: zmyer/infer

void taint_arg_source_ok() {
  int source;
  int ret = Obj::taint_arg_source(&source);
  __infer_taint_sink((void*)ret); // return value is not a source
}

コード例 #7

ファイル: basics.cpp プロジェクト: zmyer/infer

void taint_arg_source_bad() {
  int source;
  Obj::taint_arg_source(&source);
  __infer_taint_sink((void*)source);
}