drlvm/vm/vmcore/src/verifier-3363/x_verifier/x_verifier.h

/*
 *  Licensed to the Apache Software Foundation (ASF) under one or more
 *  contributor license agreements.  See the NOTICE file distributed with
 *  this work for additional information regarding copyright ownership.
 *  The ASF licenses this file to You under the Apache License, Version 2.0
 *  (the "License"); you may not use this file except in compliance with
 *  the License.  You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 *  Unless required by applicable law or agreed to in writing, software
 *  distributed under the License is distributed on an "AS IS" BASIS,
 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *  See the License for the specific language governing permissions and
 *  limitations under the License.
 */
#ifndef __X_VERIFIER_H__
#define __X_VERIFIER_H__

#include "open/types.h"
#include "verifier.h"

#ifdef __cplusplus
extern "C" {
#endif

typedef struct Context_* verification_context;

/**
 * Allocates an empty verification context for a class, 
 * to be passed back to the verifier upon verification requests.
 * Memory must be disposed by calling free_verification_context 
 * (see below).
 * @param klass - class handler
 * @return a verification context for the class
 */
verification_context allocate_verification_context(Class_Handle klass);

/**
 * Initializes the verification context with method's information. 
 * This function must be called before instrumenting the method.
 * The resulting context should be passed back to the verifier 
 * upon verification requests
 * @param method - method handler
 * @param[in,out] context - verification context of the 
 * method's defining class
 * @return error code 
 */
vf_Result
init_verification_context_for_method(Method_Handle method, verification_context context);

/**
 * Recomputes the StackMapTable of a method using the verification 
 * context created and initialized prior
 * to method instrumentation
 * @param[out] attrBytes - a pointer to a newly allocated StackMapTable
 * attribute. Memory must be disposed by calling free_stackmaptable
 * (see below).
 * @param method - method handler
 * @param context - class and method verification context
 * @return error code
 */
vf_Result
recompute_stackmaptable(U_8 **attrBytes,
                        Method_Handle method,
                        verification_context context);


/**
 * Frees memory allocated for a StackMapTable attribute
 */
void free_stackmaptable(U_8* attrBytes);

/**
 * Frees memory allocated for a verification context
 */
void free_verification_context(verification_context context);

#ifdef __cplusplus
}
#endif

#endif