1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
# _*_ coding=utf-8 _*_
class text():
header_list = """#include <fcntl.h>\n#include <inttypes.h>\n#include <stdio.h>\n#include <stdlib.h>\n#include <unistd.h>\n#include <string.h>\n"""
header_inttype = "#include <inttypes.h>\n"
main_sig = 'int main(int argc, char** argv)'
pragma_weak_main = '#pragma weak main'
pre_header_guard = "\n// first line intentionally left blank\n"
header_guard_begin = "#ifndef _AUTO_XXX_H\n#define _AUTO_XXX_H\n"
pragma_endif = "#endif\n"
autogen_warning = "// automatically generated by faultreiber\n"
last_comment = "// last line intentionally left blank\n\n"
read_func_sig = "int read_structured_file(char* path)"
c_read_elem_sig = "void* ft_read_YYY(int _fd, XXX** dummy, void*** void_train, uint64_t* current_void_size, uint64_t* current_void_count ZZZ) {\n"
c_read_elem_sig_h = "void* ft_read_YYY(int _fd, XXX** dummy, void*** void_train, uint64_t* current_void_size, uint64_t* current_void_count ZZZ);\n"
c_read_elem_sig_c = "void* ft_read_YYY_c(int _fd, XXX** dummy, void*** void_train, uint64_t* current_void_size, uint64_t* current_void_count, uint64_t* agg_b_count ZZZ) {\n"
c_read_elem_sig_h_c = "void* ft_read_YYY_c(int _fd, XXX** dummy, void*** void_train, uint64_t* current_void_size, uint64_t* current_void_count, uint64_t* agg_b_count ZZZ);\n"
#c_read_elem_sig_1 = "ft_read_XXX(_fd)"
c_read_elem_sig_2 = "ft_read_XXX(_fd, YYY, ZZZ, current_void_size, current_void_count WWW)"
c_read_elem_sig_2_c = "ft_read_XXX_c(_fd, YYY, ZZZ, current_void_size, current_void_count, &agg_b_count WWW)"
c_open_file = "int ft_read_file = open(_ft_file_path, RDONLY);\n"
c_function_close = "}\n"
c_function_dummy_dec = "XXX dummy;\n"
c_function_return_type = "return dummy;\n"
c_read_def_1 = "uint8_t XXX;\n"
c_read_def_2 = "uint16_t XXX;\n"
c_read_def_4 = "uint32_t XXX;\n"
c_read_def_8 = "uint64_t XXX;\n"
c_read_1 = "read(_fd, &XXX, sizeof(uint8_t));\n"
c_read_2 = "read(_fd, &XXX, sizeof(uint16_t));\n"
c_read_4 = "read(_fd, &XXX, sizeof(uint32_t));\n"
c_read_8 = "read(_fd, &XXX, sizeof(uint64_t));\n"
c_read_gen = "read(_fd, &XXX, sizeof(YYY));\n"
c_read_gen_no = "read(_fd, XXX, sizeof(YYY));\n"
c_read_gen_2 = "read(_fd, &XXX, YYY);\n"
c_read_gen_2_no = "read(_fd, XXX, YYY);\n"
c_assign_struct = "XXX.YYY = ZZZ;\n"
simple_loop = "for (int i = 0; i < XXX; ++i) {\nYYY}\n"
c_read_leb_u_def = """
uint64_t read_leb_128_u(int _fd, int max_size, uint64_t* b_count) {
uint8_t read_bytes = 0U;
uint8_t byte = 0;
uint64_t result = 0U;
uint32_t shift = 0U;
do {
read(_fd, &byte, 1);read_bytes++;
result |= (byte & 0x7f) << shift;
shift += 7;
} while(((byte & 0x80) != 0) && (read_bytes < max_size));
*b_count = read_bytes;
return result;
}"""
c_read_leb_s_def = """
int64_t read_leb_128_s(int _fd, int max_size, uint64_t* b_count) {
uint8_t byte;
uint8_t read_bytes = 0U;
uint8_t last_byte;
int64_t result;
uint32_t shift = 0U;
read(_fd, &byte, 1);
do {
read(_fd, &byte, 1);read_bytes++;
result |= (byte & 0x7f) << shift;
last_byte = byte;
shift += 7;
} while(((byte & 0x80) != 0) && read_bytes < max_size);
if ((last_byte & 0x40) != 0) result |= -(1 << shift);
*b_count = read_bytes;
return result;
}"""
c_read_until_delimiter = """
int32_t read_until_delimiter(int _fd, uint8_t delimiter) {
uint8_t dummy = 0;
int32_t pos = 0;
while(1) {
read(_fd, &dummy, 1);
pos++;
if (dummy == delimiter) {
lseek(_fd, -pos, SEEK_CUR);
return pos;
}}
}"""
c_void_manager = """
void void_manager(void* ptr, void*** void_train, uint64_t* current_void_size, uint64_t* current_void_count) {
if (*current_void_size == 0) {
*void_train = CCC(XXX*sizeof(void*));
*current_void_size = XXX;
}
if (*current_void_count == *current_void_size) {
*current_void_size*=YYY;
*void_train = realloc(*void_train, *current_void_size*sizeof(void*));
if (*void_train == NULL) {
printf("void train couldnt allocate more memory.\\n");
}
}
(*void_train)[*current_void_count] = ptr;
(*current_void_count)++;
}"""
c_read_leb_128_s_sig = "int64_t read_leb_128_s(int _fd, int max_size, uint64_t* b_count);\n"
c_read_leb_128_u_sig = "uint64_t read_leb_128_u(int _fd, int max_size, uint64_t* b_count);\n"
c_read_until_delimiter_sig = "int32_t read_until_delimiter(int _fd, uint8_t delimiter);\n"
c_read_until_delimiter_proto = "read_until_delimiter(_fd, XXX)"
c_void_manager_sig = "void void_manager(void* ptr, void*** void_train, uint64_t* current_void_size, uint64_t* current_void_count);\n"
c_void_manager_proto = "void_manager(XXX, void_train, current_void_size, current_void_count);\n"
c_read_leb_macro_defs = """
#define READ_VAR_UINT_1(FD) read_leb128_u(FD, 1)
#define READ_VAR_UINT_7(FD) read_leb128_u(FD, 1)
#define READ_VAR_UINT_32(FD) read_leb128_u(FD, 5)
#define READ_VAR_INT_1(FD) read_leb128_s(FD, 1)
#define READ_VAR_INT_7(FD) read_leb128_s(FD, 1)
"""
c_read_leb_macro_varuin1 = "READ_VAR_UINT_1(XXX)"
c_read_leb_macro_varuin7 = "READ_VAR_UINT_7(XXX)"
c_read_leb_macro_varuin32 = "READ_VAR_UINT_32(XXX)"
c_read_leb_macro_varin1 = "READ_VAR_INT_1(XXX)"
c_read_leb_macro_varin7 = "READ_VAR_INT_7(XXX)"
c_read_leb_macro_varin32 = "READ_VAR_INT_32(XXX)"
c_read_leb_128_u = "read_leb_128_u(_fd, 5, &b_count);\n"
c_read_leb_128_s = "read_leb_128_s(_fd, 5, &b_count);\n"
c_define_str_buff_size = "#define STR_BUFF_SIZE XXX"
c_define_str_buff_grow_fact = "#define STR_BUFFER_GROW_FACTOR XXX"
c_define_void_buff_size = "#define VOID_BUFF_SIZE XXX"
c_define_void_buff_grow_fact = "#define VOID_BUFFER_GROW_FACTOR XXX"
c_reserve_void_ptr = "malloc(XXX)"
ft_calloc_def="#define ft_calloc(X1) calloc(X1, 1)\n"
ft_luanewuserdata_def="#define ft_luanewuserdata(X1) lua_newuserdata(__ls, X1)\n"
lua_udata_regindex = '''
luaL_getmetatable(__ls, "XXX");
lua_setmetatable(__ls, -2);
lua_pushlightuserdata(__ls, YYY);
lua_pushvalue(__ls, -2);
lua_settable(__ls, LUA_REGISTRYINDEX);
'''
|
