verifier.h File Reference

Enumerations
enum	vf_Result {   VF_OK, VF_ErrorUnknown, VF_ErrorInstruction, VF_ErrorConstantPool,   VF_ErrorLocals, VF_ErrorBranch, VF_ErrorStackOverflow, VF_ErrorStackUnderflow,   VF_ErrorStackDepth, VF_ErrorCodeEnd, VF_ErrorHandler, VF_ErrorDataFlow,   VF_ErrorIncompatibleArgument, VF_ErrorLoadClass, VF_ErrorResolve, VF_ErrorJsrRecursive,   VF_ErrorJsrMultipleRet, VF_ErrorJsrLoadRetAddr, VF_ErrorJsrOther, VF_ClassNotLoaded,   VF_ErrorInternal, VF_ErrorStackmap, VF_Continue }
	Author: Pavel Rebriy More...
Functions
vf_Result	vf_verify_class (class_handler klass, unsigned verifyAll, char **error)
	Function provides initial verification of class.
vf_Result	vf_verify_class_constraints (class_handler klass, unsigned verifyAll, char **error)
	Function provides final constraint checks for a given class.
void	vf_release_error_message (void *error)
	Function provides final constraint checks for a given class.
void	vf_release_verify_data (void *data)
	Function releases verify data in class loader.

---

Enumeration Type Documentation

enum vf_Result

Author:

Pavel Rebriy

Version:

Revision

1.1.2.1.4.3

Enumerator:

VF_OK
VF_ErrorUnknown
VF_ErrorInstruction
VF_ErrorConstantPool
VF_ErrorLocals
VF_ErrorBranch
VF_ErrorStackOverflow
VF_ErrorStackUnderflow
VF_ErrorStackDepth
VF_ErrorCodeEnd
VF_ErrorHandler
VF_ErrorDataFlow
VF_ErrorIncompatibleArgument
VF_ErrorLoadClass
VF_ErrorResolve
VF_ErrorJsrRecursive
VF_ErrorJsrMultipleRet
VF_ErrorJsrLoadRetAddr
VF_ErrorJsrOther
VF_ClassNotLoaded
VF_ErrorInternal
VF_ErrorStackmap
VF_Continue

---

Function Documentation

vf_Result vf_verify_class	(	class_handler	klass,
		unsigned	verifyAll,
		char **	error
	)

Function provides initial verification of class.

Parameters:

	klass	- class handler
	verifyAll	- if flag is set, verifier provides full verification checks
	error	- error message of verifier

Returns:

Class verification result.

Note:

Assertion is raised if klass is equal to null.

vf_Result vf_verify_class_constraints	(	class_handler	klass,
		unsigned	verifyAll,
		char **	error
	)

Function provides final constraint checks for a given class.

Parameters:

	klass	- klass handler
	verifyAll	- if flag is set, verifier provides full verification checks
	error	- error message of verifier

Returns:

Class verification result.

Note:

Assertion is raised if klass or error_message are equal to null.

void vf_release_error_message

(

void *

error

)

Function provides final constraint checks for a given class.

Parameters:

error

- error message of verifier

Note:

Assertion is raised if error_message is equal to null.

void vf_release_verify_data

(

void *

data

)

Function releases verify data in class loader.

Parameters:

data

- verify data

Note:

Assertion is raised if data is equal to null.

---