1 #ifndef __MONO_METADATA_VERIFY_H__
2 #define __MONO_METADATA_VERIFY_H__
4 #include <mono/metadata/metadata.h>
5 #include <mono/metadata/image.h>
6 #include <mono/metadata/loader.h>
7 #include <glib.h> /* GSList dep */
18 /* Status signaling code that is not verifiable.*/
19 MONO_VERIFY_NOT_VERIFIABLE = 8,
21 /*OR it with other flags*/
23 /* Abort the verification if the code is not verifiable.
24 * The standard behavior is to abort if the code is not valid.
26 MONO_VERIFY_FAIL_FAST = 16,
29 /* Perform less verification of the code. This flag should be used
30 * if one wants the verifier to be more compatible to the MS runtime.
31 * Mind that this is not to be more compatible with MS peverify, but
32 * with the runtime itself, that has a less strict verifier.
34 MONO_VERIFY_NON_STRICT = 32,
36 /*Skip all visibility related checks*/
37 MONO_VERIFY_SKIP_VISIBILITY = 64,
39 /*Skip all visibility related checks*/
40 MONO_VERIFY_REPORT_ALL_ERRORS = 128
46 MonoVerifyStatus status;
51 int8_t exception_type; /*should be one of MONO_EXCEPTION_* */
52 } MonoVerifyInfoExtended;
55 MONO_API GSList* mono_method_verify (MonoMethod *method, int level);
56 MONO_API void mono_free_verify_list (GSList *list);
57 MONO_API char* mono_verify_corlib (void);
61 #endif /* __MONO_METADATA_VERIFY_H__ */