in source/Model.cpp [39:62]
std::string model_mode_to_string(Model::Mode mode) {
switch (mode) {
case Model::Mode::Normal:
return "normal";
case Model::Mode::OverrideDefault:
return "override-default";
case Model::Mode::SkipAnalysis:
return "skip-analysis";
case Model::Mode::AddViaObscureFeature:
return "add-via-obscure-feature";
case Model::Mode::TaintInTaintOut:
return "taint-in-taint-out";
case Model::Mode::TaintInTaintThis:
return "taint-in-taint-this";
case Model::Mode::NoJoinVirtualOverrides:
return "no-join-virtual-overrides";
case Model::Mode::NoCollapseOnPropagation:
return "no-collapse-on-propagation";
case Model::Mode::AliasMemoryLocationOnInvoke:
return "alias-memory-location-on-invoke";
default:
mt_unreachable();
}
}