/*
* set_type_load_exception_type
*
* Set MONO_EXCEPTION_TYPE_LOAD on the specified 'class' and provide
* a descriptive message for the exception. This message is also,
* optionally, being logged (export MONO_LOG_MASK="security") for
* debugging purposes.
*/
static void
set_type_load_exception_type (const char *format, MonoClass *klass)
{
char *type_name = mono_type_get_full_name (klass);
char *parent_name = mono_type_get_full_name (klass->parent);
char *message = g_strdup_printf (format, type_name, parent_name);
g_free (parent_name);
g_free (type_name);
mono_trace (G_LOG_LEVEL_WARNING, MONO_TRACE_SECURITY, message);
mono_class_set_failure (klass, MONO_EXCEPTION_TYPE_LOAD, message);
// note: do not free string given to mono_class_set_failure
}
/*
* set_type_load_exception_type
*
* Set MONO_EXCEPTION_TYPE_LOAD on the specified 'class' and provide
* a descriptive message for the exception. This message is also,
* optionally, being logged (export MONO_LOG_MASK="security") for
* debugging purposes.
*/
static void
set_type_load_exception_type (const char *format, MonoClass *klass)
{
char *type_name = mono_type_get_full_name (klass);
char *parent_name = mono_type_get_full_name (m_class_get_parent (klass));
char *message = mono_image_strdup_printf (m_class_get_image (klass), format, type_name, parent_name);
g_free (parent_name);
g_free (type_name);
mono_trace (G_LOG_LEVEL_WARNING, MONO_TRACE_SECURITY, "%s", message);
mono_class_set_type_load_failure (klass, "%s", message);
// note: do not free string given to mono_class_set_failure
}
/*Can fail with out-of-memory*/
MonoException*
mono_error_prepare_exception (MonoError *oerror, MonoError *error_out)
{
MonoErrorInternal *error = (MonoErrorInternal*)oerror;
MonoException* exception = NULL;
MonoString *assembly_name = NULL, *type_name = NULL, *method_name = NULL, *field_name = NULL, *msg = NULL;
MonoDomain *domain = mono_domain_get ();
mono_error_init (error_out);
switch (error->error_code) {
case MONO_ERROR_NONE:
return NULL;
case MONO_ERROR_MISSING_METHOD:
if ((error->type_name || error->exn.klass) && error->member_name) {
type_name = get_type_name_as_mono_string (error, domain, error_out);
if (!mono_error_ok (error_out))
break;
method_name = mono_string_new (domain, error->member_name);
if (!method_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate method name");
break;
}
exception = mono_exception_from_name_two_strings_checked (mono_defaults.corlib, "System", "MissingMethodException", type_name, method_name, error_out);
if (exception)
set_message_on_exception (exception, error, error_out);
} else {
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "MissingMethodException", error->full_message);
}
break;
case MONO_ERROR_MISSING_FIELD:
if ((error->type_name || error->exn.klass) && error->member_name) {
type_name = get_type_name_as_mono_string (error, domain, error_out);
if (!mono_error_ok (error_out))
break;
field_name = mono_string_new (domain, error->member_name);
if (!field_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate field name");
break;
}
exception = mono_exception_from_name_two_strings_checked (mono_defaults.corlib, "System", "MissingFieldException", type_name, field_name, error_out);
if (exception)
set_message_on_exception (exception, error, error_out);
} else {
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "MissingFieldException", error->full_message);
}
break;
case MONO_ERROR_TYPE_LOAD:
if ((error->type_name && error->assembly_name) || error->exn.klass) {
type_name = get_type_name_as_mono_string (error, domain, error_out);
if (!mono_error_ok (error_out))
break;
if (error->assembly_name) {
assembly_name = mono_string_new (domain, error->assembly_name);
if (!assembly_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate assembly name");
break;
}
}
exception = mono_exception_from_name_two_strings_checked (mono_get_corlib (), "System", "TypeLoadException", type_name, assembly_name, error_out);
if (exception)
set_message_on_exception (exception, error, error_out);
} else {
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "TypeLoadException", error->full_message);
}
break;
case MONO_ERROR_FILE_NOT_FOUND:
case MONO_ERROR_BAD_IMAGE:
if (error->assembly_name) {
msg = mono_string_new (domain, error->full_message);
if (!msg) {
mono_error_set_out_of_memory (error_out, "Could not allocate message");
break;
}
if (error->assembly_name) {
assembly_name = mono_string_new (domain, error->assembly_name);
if (!assembly_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate assembly name");
break;
}
}
if (error->error_code == MONO_ERROR_FILE_NOT_FOUND)
exception = mono_exception_from_name_two_strings_checked (mono_get_corlib (), "System.IO", "FileNotFoundException", msg, assembly_name, error_out);
else
exception = mono_exception_from_name_two_strings_checked (mono_defaults.corlib, "System", "BadImageFormatException", msg, assembly_name, error_out);
} else {
if (error->error_code == MONO_ERROR_FILE_NOT_FOUND)
exception = mono_exception_from_name_msg (mono_get_corlib (), "System.IO", "FileNotFoundException", error->full_message);
else
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "BadImageFormatException", error->full_message);
}
break;
case MONO_ERROR_OUT_OF_MEMORY:
exception = mono_get_exception_out_of_memory ();
break;
case MONO_ERROR_ARGUMENT:
exception = mono_get_exception_argument (error->first_argument, error->full_message);
break;
case MONO_ERROR_ARGUMENT_NULL:
exception = mono_get_exception_argument_null (error->first_argument);
break;
case MONO_ERROR_NOT_VERIFIABLE: {
char *type_name = NULL, *message;
if (error->exn.klass) {
type_name = mono_type_get_full_name (error->exn.klass);
if (!type_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate message");
break;
}
}
message = g_strdup_printf ("Error in %s:%s %s", type_name, error->member_name, error->full_message);
if (!message) {
g_free (type_name);
mono_error_set_out_of_memory (error_out, "Could not allocate message");
break;
}
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System.Security", "VerificationException", message);
g_free (message);
g_free (type_name);
break;
}
case MONO_ERROR_GENERIC:
if (!error->exception_name_space || !error->exception_name)
mono_error_set_execution_engine (error_out, "MonoError with generic error but no exception name was supplied");
else
exception = mono_exception_from_name_msg (mono_defaults.corlib, error->exception_name_space, error->exception_name, error->full_message);
break;
case MONO_ERROR_EXCEPTION_INSTANCE:
exception = (MonoException*) mono_gchandle_get_target (error->exn.instance_handle);
break;
case MONO_ERROR_CLEANUP_CALLED_SENTINEL:
mono_error_set_execution_engine (error_out, "MonoError reused after mono_error_cleanup");
break;
case MONO_ERROR_INVALID_PROGRAM: {
gboolean lacks_message = error->flags & MONO_ERROR_INCOMPLETE;
if (lacks_message)
return mono_exception_from_name_msg (mono_defaults.corlib, "System", "InvalidProgramException", "");
else
return mono_exception_from_name_msg (mono_defaults.corlib, "System", "InvalidProgramException", error->full_message);
}
default:
mono_error_set_execution_engine (error_out, "Invalid error-code %d", error->error_code);
}
if (!mono_error_ok (error_out))
return NULL;
if (!exception)
mono_error_set_out_of_memory (error_out, "Could not allocate exception object");
return exception;
}
/*Can fail with out-of-memory*/
MonoException*
mono_error_prepare_exception (MonoError *oerror, MonoError *error_out)
{
HANDLE_FUNCTION_ENTER ();
MonoErrorInternal *error = (MonoErrorInternal*)oerror;
MonoExceptionHandle exception = MONO_HANDLE_CAST (MonoException, mono_new_null ());
MonoDomain *domain = mono_domain_get ();
char *type_name = NULL;
char *message = NULL;
error_init (error_out);
const guint16 error_code = error->error_code;
g_assert (error_code != MONO_ERROR_CLEANUP_CALLED_SENTINEL);
switch (error_code) {
case MONO_ERROR_NONE:
goto exit;
case MONO_ERROR_MISSING_METHOD:
exception = mono_corlib_exception_new_with_args ("System", "MissingMethodException", error->full_message, error->first_argument, error_out);
break;
case MONO_ERROR_BAD_IMAGE:
exception = mono_corlib_exception_new_with_args ("System", "BadImageFormatException", error->full_message, error->first_argument, error_out);
break;
case MONO_ERROR_FILE_NOT_FOUND:
exception = mono_corlib_exception_new_with_args ("System.IO", "FileNotFoundException", error->full_message, error->first_argument, error_out);
break;
case MONO_ERROR_MISSING_FIELD:
exception = mono_corlib_exception_new_with_args ("System", "MissingFieldException", error->full_message, error->first_argument, error_out);
break;
case MONO_ERROR_MEMBER_ACCESS:
exception = mono_exception_new_by_name_msg (mono_defaults.corlib, "System", "MemberAccessException", error->full_message, error_out);
break;
case MONO_ERROR_TYPE_LOAD: {
MonoStringHandle assembly_name;
MonoStringHandle type_name;
if ((error->type_name && error->assembly_name) || error->exn.klass) {
type_name = get_type_name_as_mono_string (error, domain, error_out);
if (!mono_error_ok (error_out))
break;
if (error->assembly_name) {
assembly_name = string_new_cleanup (domain, error->assembly_name);
if (MONO_HANDLE_IS_NULL (assembly_name)) {
mono_error_set_out_of_memory (error_out, "Could not allocate assembly name");
break;
}
} else {
assembly_name = mono_string_empty_handle (domain);
}
exception = mono_exception_from_name_two_strings_checked (mono_get_corlib (), "System", "TypeLoadException", type_name, assembly_name, error_out);
if (!MONO_HANDLE_IS_NULL (exception)) {
const char *full_message = error->full_message;
if (full_message && full_message [0]) {
MonoStringHandle msg = string_new_cleanup (mono_domain_get (), full_message);
if (!MONO_HANDLE_IS_NULL (msg))
MONO_HANDLE_SET (exception, message, msg);
else
mono_error_set_out_of_memory (error_out, "Could not allocate exception object");
}
}
} else {
exception = mono_exception_new_by_name_msg (mono_defaults.corlib, "System", "TypeLoadException", error->full_message, error_out);
}
}
break;
case MONO_ERROR_OUT_OF_MEMORY:
if (domain)
exception = MONO_HANDLE_NEW (MonoException, domain->out_of_memory_ex);
if (MONO_HANDLE_IS_NULL (exception))
exception = mono_get_exception_out_of_memory_handle ();
break;
case MONO_ERROR_ARGUMENT:
exception = mono_exception_new_argument (error->first_argument, error->full_message, error_out);
break;
case MONO_ERROR_ARGUMENT_NULL:
exception = mono_exception_new_argument_null (error->first_argument, error_out);
break;
case MONO_ERROR_ARGUMENT_OUT_OF_RANGE:
exception = mono_exception_new_argument_out_of_range(error->first_argument, error->full_message, error_out);
break;
case MONO_ERROR_NOT_VERIFIABLE:
if (error->exn.klass) {
type_name = mono_type_get_full_name (error->exn.klass);
if (!type_name)
goto out_of_memory;
}
message = g_strdup_printf ("Error in %s:%s %s", type_name, error->member_name, error->full_message);
if (!message)
goto out_of_memory;
exception = mono_exception_new_by_name_msg (mono_defaults.corlib, "System.Security", "VerificationException", message, error_out);
break;
case MONO_ERROR_GENERIC:
if (!error->exception_name_space || !error->exception_name)
mono_error_set_execution_engine (error_out, "MonoError with generic error but no exception name was supplied");
else
exception = mono_exception_new_by_name_msg (mono_defaults.corlib, error->exception_name_space, error->exception_name, error->full_message, error_out);
break;
case MONO_ERROR_EXCEPTION_INSTANCE:
exception = MONO_HANDLE_CAST (MonoException, mono_gchandle_get_target_handle (error->exn.instance_handle));
break;
case MONO_ERROR_CLEANUP_CALLED_SENTINEL:
mono_error_set_execution_engine (error_out, "MonoError reused after mono_error_cleanup");
break;
case MONO_ERROR_INVALID_PROGRAM:
exception = mono_exception_new_by_name_msg (mono_defaults.corlib, "System", "InvalidProgramException",
(error->flags & MONO_ERROR_INCOMPLETE) ? "" : error->full_message, error_out);
break;
default:
mono_error_set_execution_engine (error_out, "Invalid error-code %d", error->error_code);
}
if (!mono_error_ok (error_out))
goto return_null;
if (MONO_HANDLE_IS_NULL (exception))
mono_error_set_out_of_memory (error_out, "Could not allocate exception object");
goto exit;
out_of_memory:
mono_error_set_out_of_memory (error_out, "Could not allocate message");
goto exit;
return_null:
exception = MONO_HANDLE_CAST (MonoException, mono_new_null ());
exit:
g_free (message);
g_free (type_name);
HANDLE_FUNCTION_RETURN_OBJ (exception);
}
/*Can fail with out-of-memory*/
MonoException*
mono_error_prepare_exception (MonoError *oerror, MonoError *error_out)
{
MonoErrorInternal *error = (MonoErrorInternal*)oerror;
MonoException* exception = NULL;
MonoString *assembly_name = NULL, *type_name = NULL, *method_name = NULL, *field_name = NULL, *msg = NULL;
MonoDomain *domain = mono_domain_get ();
mono_error_init (error_out);
switch (error->error_code) {
case MONO_ERROR_NONE:
return NULL;
case MONO_ERROR_MISSING_METHOD:
if ((error->type_name || error->klass) && error->member_name) {
type_name = get_type_name_as_mono_string (error, domain, error_out);
if (!mono_error_ok (error_out))
break;
method_name = mono_string_new (domain, error->member_name);
if (!method_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate method name");
break;
}
exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "MissingMethodException", type_name, method_name);
if (exception)
set_message_on_exception (exception, error, error_out);
} else {
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "MissingMethodException", mono_internal_error_get_message (error));
}
break;
case MONO_ERROR_MISSING_FIELD:
if ((error->type_name || error->klass) && error->member_name) {
type_name = get_type_name_as_mono_string (error, domain, error_out);
if (!mono_error_ok (error_out))
break;
field_name = mono_string_new (domain, error->member_name);
if (!field_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate field name");
break;
}
exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "MissingFieldException", type_name, field_name);
if (exception)
set_message_on_exception (exception, error, error_out);
} else {
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "MissingFieldException", mono_internal_error_get_message (error));
}
break;
case MONO_ERROR_TYPE_LOAD:
if (error->type_name || error->assembly_name) {
type_name = get_type_name_as_mono_string (error, domain, error_out);
if (!mono_error_ok (error_out))
break;
if (error->assembly_name) {
assembly_name = mono_string_new (domain, error->assembly_name);
if (!assembly_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate assembly name");
break;
}
}
exception = mono_exception_from_name_two_strings (mono_get_corlib (), "System", "TypeLoadException", type_name, assembly_name);
if (exception)
set_message_on_exception (exception, error, error_out);
} else {
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "TypeLoadException", mono_internal_error_get_message (error));
}
break;
case MONO_ERROR_FILE_NOT_FOUND:
case MONO_ERROR_BAD_IMAGE:
if (error->assembly_name) {
msg = mono_string_new (domain, mono_internal_error_get_message (error));
if (!msg) {
mono_error_set_out_of_memory (error_out, "Could not allocate message");
break;
}
if (error->assembly_name) {
assembly_name = mono_string_new (domain, error->assembly_name);
if (!assembly_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate assembly name");
break;
}
}
if (error->error_code == MONO_ERROR_FILE_NOT_FOUND)
exception = mono_exception_from_name_two_strings (mono_get_corlib (), "System.IO", "FileNotFoundException", msg, assembly_name);
else
exception = mono_exception_from_name_two_strings (mono_defaults.corlib, "System", "BadImageFormatException", msg, assembly_name);
} else {
if (error->error_code == MONO_ERROR_FILE_NOT_FOUND)
exception = mono_exception_from_name_msg (mono_get_corlib (), "System.IO", "FileNotFoundException", mono_internal_error_get_message (error));
else
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System", "BadImageFormatException", mono_internal_error_get_message (error));
}
break;
case MONO_ERROR_OUT_OF_MEMORY:
exception = mono_get_exception_out_of_memory ();
break;
case MONO_ERROR_ARGUMENT:
exception = mono_get_exception_argument (error->type_name, mono_internal_error_get_message (error));
break;
case MONO_ERROR_NOT_VERIFIABLE: {
char *type_name = NULL, *message;
if (error->klass) {
type_name = mono_type_get_full_name (error->klass);
if (!type_name) {
mono_error_set_out_of_memory (error_out, "Could not allocate message");
break;
}
}
message = g_strdup_printf ("Error in %s:%s %s", type_name, error->member_name, mono_internal_error_get_message (error));
if (!message) {
g_free (type_name);
mono_error_set_out_of_memory (error_out, "Could not allocate message");
break;
}
exception = mono_exception_from_name_msg (mono_defaults.corlib, "System.Security", "VerificationException", message);
g_free (message);
g_free (type_name);
break;
}
case MONO_ERROR_GENERIC:
if (!error->exception_name_space || !error->exception_name)
mono_error_set_generic_error (error_out, "System", "ExecutionEngineException", "MonoError with generic error but no exception name was supplied");
else
exception = mono_exception_from_name_msg (mono_defaults.corlib, error->exception_name_space, error->exception_name, mono_internal_error_get_message (error));
break;
default:
mono_error_set_generic_error (error_out, "System", "ExecutionEngineException", "Invalid error-code %d", error->error_code);
}
if (!mono_error_ok (error_out))
return NULL;
if (!exception)
mono_error_set_out_of_memory (error_out, "Could not allocate exception object");
return exception;
}
