Implement better semantics for unverifiable code.
[mono.git] / mono / metadata / verify-internals.h
1 #ifndef __MONO_METADATA_VERIFY_INTERNAL_H__
2 #define __MONO_METADATA_VERIFY_INTERNAL_H__
3
4 #include <mono/metadata/metadata.h>
5
6 G_BEGIN_DECLS
7
8 typedef enum {
9         MONO_VERIFIER_MODE_OFF,
10         MONO_VERIFIER_MODE_VALID,
11         MONO_VERIFIER_MODE_VERIFIABLE,
12         MONO_VERIFIER_MODE_STRICT
13 } MiniVerifierMode;
14
15 void mono_verifier_set_mode (MiniVerifierMode mode) MONO_INTERNAL;
16 void mono_verifier_enable_verify_all (void) MONO_INTERNAL;
17
18 gboolean mono_verifier_is_enabled_for_image (MonoImage *image) MONO_INTERNAL;
19 gboolean mono_verifier_is_enabled_for_method (MonoMethod *method) MONO_INTERNAL;
20 gboolean mono_verifier_is_enabled_for_class (MonoClass *klass) MONO_INTERNAL;
21
22 gboolean mono_verifier_is_method_full_trust (MonoMethod *method) MONO_INTERNAL;
23 gboolean mono_verifier_is_class_full_trust (MonoClass *klass) MONO_INTERNAL;
24 gboolean mono_verifier_class_is_valid_generic_instantiation (MonoClass *class) MONO_INTERNAL;
25 gboolean mono_verifier_is_method_valid_generic_instantiation (MonoMethod *method) MONO_INTERNAL;
26
27 gboolean mono_verifier_verify_class (MonoClass *klass) MONO_INTERNAL;
28
29 GSList* mono_method_verify_with_current_settings (MonoMethod *method, gboolean skip_visibility, gboolean is_fulltrust) MONO_INTERNAL;
30
31 gboolean mono_verifier_verify_pe_data (MonoImage *image, GSList **error_list) MONO_INTERNAL;
32 gboolean mono_verifier_verify_cli_data (MonoImage *image, GSList **error_list) MONO_INTERNAL;
33 gboolean mono_verifier_verify_table_data (MonoImage *image, GSList **error_list) MONO_INTERNAL;
34
35 gboolean mono_verifier_verify_full_table_data (MonoImage *image, GSList **error_list) MONO_INTERNAL;
36
37 gboolean mono_verifier_verify_field_signature (MonoImage *image, guint32 offset, GSList **error_list) MONO_INTERNAL;
38 gboolean mono_verifier_verify_method_header (MonoImage *image, guint32 offset, GSList **error_list) MONO_INTERNAL;
39 gboolean mono_verifier_verify_method_signature (MonoImage *image, guint32 offset, MonoError *error) MONO_INTERNAL;
40 gboolean mono_verifier_verify_standalone_signature (MonoImage *image, guint32 offset, GSList **error_list) MONO_INTERNAL;
41 gboolean mono_verifier_verify_typespec_signature (MonoImage *image, guint32 offset, guint32 token, GSList **error_list) MONO_INTERNAL;
42 gboolean mono_verifier_verify_methodspec_signature (MonoImage *image, guint32 offset, GSList **error_list) MONO_INTERNAL;
43 gboolean mono_verifier_verify_string_signature (MonoImage *image, guint32 offset, GSList **error_list) MONO_INTERNAL;
44 gboolean mono_verifier_verify_cattr_blob (MonoImage *image, guint32 offset, GSList **error_list) MONO_INTERNAL;
45 gboolean mono_verifier_verify_cattr_content (MonoImage *image, MonoMethod *ctor, const guchar *data, guint32 size, GSList **error_list) MONO_INTERNAL;
46 gboolean mono_verifier_is_sig_compatible (MonoImage *image, MonoMethod *method, MonoMethodSignature *signature) MONO_INTERNAL;
47 gboolean mono_verifier_verify_memberref_method_signature (MonoImage *image, guint32 offset, GSList **error_list) MONO_INTERNAL;
48 gboolean mono_verifier_verify_memberref_field_signature (MonoImage *image, guint32 offset, GSList **error_list) MONO_INTERNAL;
49
50 gboolean mono_verifier_verify_typeref_row (MonoImage *image, guint32 row, MonoError *error) MONO_INTERNAL;
51 gboolean mono_verifier_verify_methodimpl_row (MonoImage *image, guint32 row, MonoError *error) MONO_INTERNAL;
52 gboolean mono_verifier_is_signature_compatible (MonoMethodSignature *target, MonoMethodSignature *candidate) MONO_INTERNAL;
53 G_END_DECLS
54
55 #endif  /* __MONO_METADATA_VERIFY_INTERNAL_H__ */
56