CBMC
lift_clinit_calls.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Static initializer call lifting
4 
5 Author: Diffblue Ltd.
6 
7 \*******************************************************************/
8 
10 
11 #ifndef CPROVER_JAVA_BYTECODE_LIFT_CLINIT_CALLS_H
12 #define CPROVER_JAVA_BYTECODE_LIFT_CLINIT_CALLS_H
13 
14 #include <util/std_code_base.h>
15 
16 codet lift_clinit_calls(codet input);
17 
18 #endif // CPROVER_JAVA_BYTECODE_LIFT_CLINIT_CALLS_H
codet
Data structure for representing an arbitrary statement in a program.
Definition: std_code_base.h:29
lift_clinit_calls
codet lift_clinit_calls(codet input)
file Static initializer call lifting
Definition: lift_clinit_calls.cpp:21
std_code_base.h