You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
106 lines
2.8 KiB
106 lines
2.8 KiB
/*
|
|
* Copyright (c) 2017 - present Facebook, Inc.
|
|
* All rights reserved.
|
|
*
|
|
* This source code is licensed under the BSD style license found in the
|
|
* LICENSE file in the root directory of this source tree. An additional grant
|
|
* of patent rights can be found in the PATENTS file in the same directory.
|
|
*/
|
|
|
|
#include <stdlib.h>
|
|
#include <string>
|
|
|
|
extern std::string __infer_taint_source();
|
|
|
|
extern void __infer_taint_sink(std::string);
|
|
extern void __infer_sql_sink(std::string);
|
|
|
|
extern std::string __infer_all_sanitizer(std::string);
|
|
extern std::string __infer_string_sanitizer(std::string);
|
|
|
|
namespace sanitizers {
|
|
|
|
void escape_string_to_sql_ok() {
|
|
auto source = __infer_taint_source();
|
|
auto sanitized = __infer_string_sanitizer(source);
|
|
__infer_sql_sink(sanitized);
|
|
}
|
|
|
|
void escape_string_to_shell_ok() {
|
|
auto source = __infer_taint_source();
|
|
auto sanitized = __infer_string_sanitizer(source);
|
|
system(sanitized.c_str());
|
|
}
|
|
|
|
void escape_string_to_all_bad() {
|
|
auto source = __infer_taint_source();
|
|
auto sanitized = __infer_string_sanitizer(source);
|
|
__infer_taint_sink(sanitized); // wrong kind of sanitizer; report
|
|
}
|
|
|
|
void all_to_all_ok() {
|
|
auto source = __infer_taint_source();
|
|
auto sanitized = __infer_all_sanitizer(source);
|
|
__infer_taint_sink(sanitized);
|
|
}
|
|
|
|
void dead_sanitizer_bad() {
|
|
auto source = __infer_taint_source();
|
|
auto sanitized = __infer_all_sanitizer(source);
|
|
__infer_taint_sink(
|
|
source); // the sink does not use the sanitized value; report
|
|
}
|
|
|
|
void kill_sanitizer_bad() {
|
|
auto source = __infer_taint_source();
|
|
auto x = __infer_all_sanitizer(source);
|
|
x = __infer_taint_source();
|
|
__infer_taint_sink(x);
|
|
}
|
|
|
|
void double_sanitize_ok() {
|
|
auto source = __infer_taint_source();
|
|
auto x = __infer_all_sanitizer(source);
|
|
auto y = __infer_string_sanitizer(x);
|
|
__infer_taint_sink(y);
|
|
}
|
|
|
|
void FN_sanitize_one_branch_bad(bool b) {
|
|
auto source = __infer_taint_source();
|
|
std::string x;
|
|
if (b) {
|
|
x = source;
|
|
} else {
|
|
x = __infer_all_sanitizer(source);
|
|
}
|
|
// we'll fail to report here because sanitizers are a powerset domain
|
|
// ideally they would be an inverted powerset domain, but this is
|
|
// difficult to pull off because our handling of unknown code implicitly
|
|
// relies on the assumption that join should be union
|
|
__infer_taint_sink(x); // should report
|
|
}
|
|
|
|
void sanitize_both_branches_ok(bool b) {
|
|
auto source = __infer_taint_source();
|
|
std::string x;
|
|
if (b) {
|
|
x = __infer_all_sanitizer(source);
|
|
} else {
|
|
x = __infer_all_sanitizer(source);
|
|
}
|
|
__infer_taint_sink(x); // does not report
|
|
}
|
|
|
|
void different_sanitizer_branches_ok(bool b) {
|
|
auto source = __infer_taint_source();
|
|
std::string x;
|
|
if (b) {
|
|
x = __infer_all_sanitizer(source);
|
|
} else {
|
|
x = __infer_string_sanitizer(source);
|
|
}
|
|
__infer_sql_sink(x);
|
|
}
|
|
|
|
} // namespace sanitizers
|