struct parsed_proto;
+struct parsed_type {
+ char *name;
+ unsigned int is_array:1;
+ unsigned int is_ptr:1;
+ unsigned int is_struct:1; // split for args
+};
+
struct parsed_proto_arg {
char *reg;
- const char *type;
+ struct parsed_type type;
struct parsed_proto *fptr;
void *datap;
};
struct parsed_proto {
char name[256];
- const char *ret_type;
+ union {
+ struct parsed_type ret_type;
+ struct parsed_type type;
+ };
struct parsed_proto_arg arg[16];
int argc;
int argc_stack;
int argc_reg;
unsigned int is_func:1;
unsigned int is_stdcall:1;
+ unsigned int is_vararg:1;
unsigned int is_fptr:1;
- unsigned int is_array:1;
+ unsigned int is_noreturn:1;
+ unsigned int is_unresolved:1;
+ unsigned int has_structarg:1;
};
static const char *hdrfn;
static int hdrfline = 0;
-static int find_protostr(char *dst, size_t dlen, FILE *fhdr,
- const char *fname, const char *sym_)
+static void pp_copy_arg(struct parsed_proto_arg *d,
+ const struct parsed_proto_arg *s);
+
+static int b_pp_c_handler(char *proto, const char *fname);
+
+static int do_protostrs(FILE *fhdr, const char *fname)
{
- const char *sym = sym_;
const char *finc_name;
+ const char *hdrfn_saved;
+ char protostr[256];
+ char path[256];
+ char fname_inc[256];
FILE *finc;
- int symlen;
int line = 0;
int ret;
char *p;
- if (sym[0] == '_' && strncmp(fname, "stdc", 4) == 0)
- sym++;
- symlen = strlen(sym);
-
- rewind(fhdr);
+ hdrfn_saved = hdrfn;
+ hdrfn = fname;
- while (fgets(dst, dlen, fhdr))
+ while (fgets(protostr, sizeof(protostr), fhdr))
{
line++;
- if (strncmp(dst, "//#include ", 11) == 0) {
- finc_name = dst + 11;
+ if (strncmp(protostr, "//#include ", 11) == 0) {
+ finc_name = protostr + 11;
p = strpbrk(finc_name, "\r\n ");
if (p != NULL)
*p = 0;
- finc = fopen(finc_name, "r");
+ path[0] = 0;
+ p = strrchr(hdrfn_saved, '/');
+ if (p) {
+ memcpy(path, hdrfn_saved,
+ p - hdrfn_saved + 1);
+ path[p - hdrfn_saved + 1] = 0;
+ }
+ snprintf(fname_inc, sizeof(fname_inc), "%s%s",
+ path, finc_name);
+ finc = fopen(fname_inc, "r");
if (finc == NULL) {
printf("%s:%d: can't open '%s'\n",
- fname, line, finc_name);
+ fname_inc, line, finc_name);
continue;
}
- ret = find_protostr(dst, dlen, finc,
- finc_name, sym_);
+ ret = do_protostrs(finc, finc_name);
fclose(finc);
- if (ret == 0)
+ if (ret < 0)
break;
continue;
}
- if (strncmp(sskip(dst), "//", 2) == 0)
+ if (strncmp(sskip(protostr), "//", 2) == 0)
+ continue;
+
+ p = protostr + strlen(protostr);
+ for (p--; p >= protostr && my_isblank(*p); --p)
+ *p = 0;
+ if (p < protostr)
continue;
- p = strstr(dst, sym);
- if (p != NULL && p > dst
- && (my_isblank(p[-1]) || my_issep(p[-1]))
- && (my_isblank(p[symlen]) || my_issep(p[symlen])))
+ hdrfline = line;
+
+ ret = b_pp_c_handler(protostr, hdrfn);
+ if (ret < 0)
break;
}
- hdrfline = line;
- if (feof(fhdr))
- return -1;
+ hdrfn = hdrfn_saved;
- p = dst + strlen(dst);
- for (p--; p > dst && my_isblank(*p); --p)
- *p = 0;
+ if (feof(fhdr))
+ return 0;
- return 0;
+ return -1;
}
static int get_regparm(char *dst, size_t dlen, char *p)
}
// hmh..
-static const char *known_types[] = {
- "const void *",
- "void *",
- "char *",
- "FILE *",
- "int *",
- "unsigned __int8",
- "unsigned __int16",
- "unsigned int",
- "signed int",
- "char",
- "__int8",
- "__int16",
- "int",
- "bool",
- "void",
- "BYTE",
- "WORD",
- "DWORD",
- "_DWORD",
- "HMODULE",
+static const char *known_type_mod[] = {
+ "const",
+ "signed",
+ "unsigned",
+ "struct",
+ "enum",
+ "CONST",
+};
+
+static const char *known_ptr_types[] = {
+ "FARPROC",
+ "HACCEL",
"HANDLE",
+ "HBITMAP",
+ "HCURSOR",
+ "HDC",
+ "HFONT",
+ "HGDIOBJ",
+ "HGLOBAL",
+ "HICON",
+ "HINSTANCE",
+ //"HIMC", // DWORD
+ "HMODULE",
+ "HPALETTE",
+ "HRGN",
+ "HRSRC",
+ "HKEY",
+ "HMENU",
"HWND",
- "LPCSTR",
- "size_t",
+ "PCRITICAL_SECTION",
+ "PDWORD",
+ "PHKEY",
+ "PLONG",
+ "PMEMORY_BASIC_INFORMATION",
+ "PUINT",
+ "PVOID",
+ "PCVOID",
+ "DLGPROC",
+ "TIMERPROC",
+ "WNDENUMPROC",
+ "va_list",
+ "__VALIST",
+};
+
+static const char *ignored_keywords[] = {
+ "extern",
+ "WINBASEAPI",
+ "WINUSERAPI",
+ "WINGDIAPI",
+ "WINADVAPI",
};
+// returns ptr to char after type ends
static int typecmp(const char *n, const char *t)
{
for (; *t != 0; n++, t++) {
return 0;
}
-static const char *check_type(const char *name)
+static const char *skip_type_mod(const char *n)
{
+ int len;
int i;
- for (i = 0; i < ARRAY_SIZE(known_types); i++) {
- if (typecmp(name, known_types[i]) == 0)
- return known_types[i];
+ for (i = 0; i < ARRAY_SIZE(known_type_mod); i++) {
+ len = strlen(known_type_mod[i]);
+ if (strncmp(n, known_type_mod[i], len) != 0)
+ continue;
+ if (!my_isblank(n[len]))
+ continue;
+
+ n += len;
+ while (my_isblank(*n))
+ n++;
+ i = 0;
}
- return NULL;
+ return n;
+}
+
+static int check_type(const char *name, struct parsed_type *type)
+{
+ const char *n, *n1;
+ int ret = -1;
+ int i;
+
+ n = skip_type_mod(name);
+
+ for (i = 0; i < ARRAY_SIZE(known_ptr_types); i++) {
+ if (typecmp(n, known_ptr_types[i]))
+ continue;
+
+ type->is_ptr = 1;
+ break;
+ }
+
+ if (n[0] == 'L' && n[1] == 'P' && strncmp(n, "LPARAM", 6))
+ type->is_ptr = 1;
+
+ // assume single word
+ while (!my_isblank(*n) && !my_issep(*n))
+ n++;
+
+ while (1) {
+ n1 = n;
+ while (my_isblank(*n))
+ n++;
+ if (*n == '*') {
+ type->is_ptr = 1;
+ n++;
+ continue;
+ }
+ break;
+ }
+
+ ret = n1 - name;
+ type->name = strndup(name, ret);
+ if (IS(type->name, "VOID"))
+ memcpy(type->name, "void", 4);
+
+ return ret;
}
/* args are always expanded to 32bit */
return reg;
}
+static int check_struct_arg(struct parsed_proto_arg *arg)
+{
+ if (IS(arg->type.name, "POINT"))
+ return 2 - 1;
+
+ return 0;
+}
+
static int parse_protostr(char *protostr, struct parsed_proto *pp)
{
struct parsed_proto_arg *arg;
char regparm[16];
char buf[256];
char cconv[32];
- const char *kt;
int xarg = 0;
char *p, *p1;
+ int i, l;
int ret;
- int i;
p = sskip(protostr);
if (p[0] == '/' && p[1] == '/') {
p1[0] = p1[1] = ' ';
}
- if (strncmp(p, "extern ", 7) == 0)
- p = sskip(p + 7);
+ if (!strncmp(p, "DECLSPEC_NORETURN ", 18)) {
+ pp->is_noreturn = 1;
+ p = sskip(p + 18);
+ }
- kt = check_type(p);
- if (kt == NULL) {
- printf("%s:%d:%ld: unhandled return in '%s'\n",
+ for (i = 0; i < ARRAY_SIZE(ignored_keywords); i++) {
+ l = strlen(ignored_keywords[i]);
+ if (!strncmp(p, ignored_keywords[i], l) && my_isblank(p[l]))
+ p = sskip(p + l + 1);
+ }
+
+ ret = check_type(p, &pp->ret_type);
+ if (ret <= 0) {
+ printf("%s:%d:%zd: unhandled return in '%s'\n",
hdrfn, hdrfline, (p - protostr) + 1, protostr);
return -1;
}
- pp->ret_type = kt;
- p += strlen(kt);
- p = sskip(p);
+ p = sskip(p + ret);
+
+ if (!strncmp(p, "noreturn ", 9)) {
+ pp->is_noreturn = 1;
+ p = sskip(p + 9);
+ }
if (!strchr(p, ')')) {
p = next_idt(buf, sizeof(buf), p);
p = sskip(p);
if (buf[0] == 0) {
- printf("%s:%d:%ld: var name missing\n",
+ printf("%s:%d:%zd: var name missing\n",
hdrfn, hdrfline, (p - protostr) + 1);
return -1;
}
p1 = strchr(p, ']');
if (p1 != NULL) {
p = p1 + 1;
- pp->is_array = 1;
+ pp->ret_type.is_array = 1;
}
return p - protostr;
}
p = next_word(cconv, sizeof(cconv), p);
p = sskip(p);
if (cconv[0] == 0) {
- printf("%s:%d:%ld: cconv missing\n",
+ printf("%s:%d:%zd: cconv missing\n",
hdrfn, hdrfline, (p - protostr) + 1);
return -1;
}
else if (IS(cconv, "__thiscall"))
pp->is_stdcall = 1;
else if (IS(cconv, "__userpurge"))
- pp->is_stdcall = 1; // in all cases seen..
+ pp->is_stdcall = 1; // IDA
else if (IS(cconv, "__usercall"))
- pp->is_stdcall = 0; // ..or is it?
+ pp->is_stdcall = 0; // IDA
+ else if (IS(cconv, "WINAPI"))
+ pp->is_stdcall = 1;
else {
- printf("%s:%d:%ld: unhandled cconv: '%s'\n",
+ printf("%s:%d:%zd: unhandled cconv: '%s'\n",
hdrfn, hdrfline, (p - protostr) + 1, cconv);
return -1;
}
if (pp->is_fptr) {
if (*p != '*') {
- printf("%s:%d:%ld: '*' expected\n",
+ printf("%s:%d:%zd: '*' expected\n",
hdrfn, hdrfline, (p - protostr) + 1);
return -1;
}
- p = sskip(p + 1);
+ p++;
+ // XXX: skipping extra asterisks, for now
+ while (*p == '*')
+ p++;
+ p = sskip(p);
}
p = next_idt(buf, sizeof(buf), p);
p = sskip(p);
if (buf[0] == 0) {
- printf("%s:%d:%ld: func name missing\n",
- hdrfn, hdrfline, (p - protostr) + 1);
- return -1;
+ //printf("%s:%d:%zd: func name missing\n",
+ // hdrfn, hdrfline, (p - protostr) + 1);
+ //return -1;
}
strcpy(pp->name, buf);
ret = get_regparm(regparm, sizeof(regparm), p);
if (ret > 0) {
if (!IS(regparm, "eax") && !IS(regparm, "ax")
- && !IS(regparm, "al"))
+ && !IS(regparm, "al") && !IS(regparm, "edx:eax"))
{
- printf("%s:%d:%ld: bad regparm: %s\n",
+ printf("%s:%d:%zd: bad regparm: %s\n",
hdrfn, hdrfline, (p - protostr) + 1, regparm);
return -1;
}
}
if (pp->is_fptr) {
+ if (*p == '[') {
+ // not really ret_type is array, but ohwell
+ pp->ret_type.is_array = 1;
+ p = strchr(p + 1, ']');
+ if (p == NULL) {
+ printf("%s:%d:%zd: ']' expected\n",
+ hdrfn, hdrfline, (p - protostr) + 1);
+ return -1;
+ }
+ p = sskip(p + 1);
+ }
if (*p != ')') {
- printf("%s:%d:%ld: ')' expected\n",
+ printf("%s:%d:%zd: ')' expected\n",
hdrfn, hdrfline, (p - protostr) + 1);
return -1;
}
}
if (*p != '(') {
- printf("%s:%d:%ld: '(' expected, got '%c'\n",
+ printf("%s:%d:%zd: '(' expected, got '%c'\n",
hdrfn, hdrfline, (p - protostr) + 1, *p);
return -1;
}
p++;
break;
}
- if (*p == ',')
+ if (xarg > 0) {
+ if (*p != ',') {
+ printf("%s:%d:%zd: ',' expected\n",
+ hdrfn, hdrfline, (p - protostr) + 1);
+ return -1;
+ }
p = sskip(p + 1);
+ }
+
+ if (!strncmp(p, "...", 3)) {
+ pp->is_vararg = 1;
+ p = sskip(p + 3);
+ if (*p == ')') {
+ p++;
+ break;
+ }
+ printf("%s:%d:%zd: ')' expected\n",
+ hdrfn, hdrfline, (p - protostr) + 1);
+ return -1;
+ }
arg = &pp->arg[xarg];
xarg++;
p1 = p;
- kt = check_type(p);
- if (kt == NULL) {
- printf("%s:%d:%ld: unhandled type for arg%d\n",
+ ret = check_type(p, &arg->type);
+ if (ret <= 0) {
+ printf("%s:%d:%zd: unhandled type for arg%d\n",
hdrfn, hdrfline, (p - protostr) + 1, xarg);
return -1;
}
- arg->type = kt;
- p += strlen(kt);
- p = sskip(p);
+ p = sskip(p + ret);
if (*p == '(') {
// func ptr
arg->fptr = calloc(1, sizeof(*arg->fptr));
ret = parse_protostr(p1, arg->fptr);
if (ret < 0) {
- printf("%s:%d:%ld: funcarg parse failed\n",
+ printf("%s:%d:%zd: funcarg parse failed\n",
hdrfn, hdrfline, p1 - protostr);
return -1;
}
// we'll treat it as void * for non-calls
- arg->type = "void *";
+ arg->type.name = strdup("void *");
+ arg->type.is_ptr = 1;
p = p1 + ret;
}
p = sskip(p);
#if 0
if (buf[0] == 0) {
- printf("%s:%d:%ld: idt missing for arg%d\n",
+ printf("%s:%d:%zd: idt missing for arg%d\n",
hdrfn, hdrfline, (p - protostr) + 1, xarg);
return -1;
}
arg->reg = strdup(map_reg(regparm));
}
+
+ ret = check_struct_arg(arg);
+ if (ret > 0) {
+ pp->has_structarg = 1;
+ arg->type.is_struct = 1;
+ free(arg->type.name);
+ arg->type.name = strdup("int");
+ for (l = 0; l < ret; l++) {
+ pp_copy_arg(&pp->arg[xarg], arg);
+ xarg++;
+ }
+ }
}
if (xarg > 0 && (IS(cconv, "__fastcall") || IS(cconv, "__thiscall"))) {
pp->arg[1].reg = strdup("edx");
}
+ if (pp->is_vararg && pp->is_stdcall) {
+ printf("%s:%d: vararg stdcall?\n", hdrfn, hdrfline);
+ return -1;
+ }
+
pp->argc = xarg;
for (i = 0; i < pp->argc; i++) {
return p - protostr;
}
-static int proto_parse(FILE *fhdr, const char *sym, struct parsed_proto *pp)
+static int pp_name_cmp(const void *p1, const void *p2)
{
- char protostr[256];
+ const struct parsed_proto *pp1 = p1, *pp2 = p2;
+ return strcmp(pp1->name, pp2->name);
+}
+
+static struct parsed_proto *pp_cache;
+static int pp_cache_size;
+static int pp_cache_alloc;
+
+static int b_pp_c_handler(char *proto, const char *fname)
+{
+ int ret;
+
+ if (pp_cache_size >= pp_cache_alloc) {
+ pp_cache_alloc = pp_cache_alloc * 2 + 64;
+ pp_cache = realloc(pp_cache, pp_cache_alloc
+ * sizeof(pp_cache[0]));
+ my_assert_not(pp_cache, NULL);
+ memset(pp_cache + pp_cache_size, 0,
+ (pp_cache_alloc - pp_cache_size)
+ * sizeof(pp_cache[0]));
+ }
+
+ ret = parse_protostr(proto, &pp_cache[pp_cache_size]);
+ if (ret < 0)
+ return -1;
+
+ pp_cache_size++;
+ return 0;
+}
+
+static void build_pp_cache(FILE *fhdr)
+{
+ long pos;
int ret;
- memset(pp, 0, sizeof(*pp));
+ pos = ftell(fhdr);
+ rewind(fhdr);
+
+ ret = do_protostrs(fhdr, hdrfn);
+ if (ret < 0)
+ exit(1);
+
+ qsort(pp_cache, pp_cache_size, sizeof(pp_cache[0]), pp_name_cmp);
+ fseek(fhdr, pos, SEEK_SET);
+}
+
+static const struct parsed_proto *proto_parse(FILE *fhdr, const char *sym,
+ int quiet)
+{
+ const struct parsed_proto *pp_ret;
+ struct parsed_proto pp_search;
+
+ if (pp_cache == NULL)
+ build_pp_cache(fhdr);
- ret = find_protostr(protostr, sizeof(protostr), fhdr, hdrfn, sym);
- if (ret != 0) {
+ if (sym[0] == '_') // && strncmp(fname, "stdc", 4) == 0)
+ sym++;
+
+ strcpy(pp_search.name, sym);
+ pp_ret = bsearch(&pp_search, pp_cache, pp_cache_size,
+ sizeof(pp_cache[0]), pp_name_cmp);
+ if (pp_ret == NULL && !quiet)
printf("%s: sym '%s' is missing\n", hdrfn, sym);
- return ret;
+
+ return pp_ret;
+}
+
+static void pp_copy_arg(struct parsed_proto_arg *d,
+ const struct parsed_proto_arg *s)
+{
+ memcpy(d, s, sizeof(*d));
+
+ if (s->reg != NULL) {
+ d->reg = strdup(s->reg);
+ my_assert_not(d->reg, NULL);
+ }
+ if (s->type.name != NULL) {
+ d->type.name = strdup(s->type.name);
+ my_assert_not(d->type.name, NULL);
}
+ if (s->fptr != NULL) {
+ d->fptr = malloc(sizeof(*d->fptr));
+ my_assert_not(d->fptr, NULL);
+ memcpy(d->fptr, s->fptr, sizeof(*d->fptr));
+ }
+}
+
+struct parsed_proto *proto_clone(const struct parsed_proto *pp_c)
+{
+ struct parsed_proto *pp;
+ int i;
+
+ pp = malloc(sizeof(*pp));
+ my_assert_not(pp, NULL);
+ memcpy(pp, pp_c, sizeof(*pp)); // lazy..
+
+ // do the actual deep copy..
+ for (i = 0; i < pp_c->argc; i++)
+ pp_copy_arg(&pp->arg[i], &pp_c->arg[i]);
+ if (pp_c->ret_type.name != NULL)
+ pp->ret_type.name = strdup(pp_c->ret_type.name);
- return parse_protostr(protostr, pp) < 0 ? -1 : 0;
+ return pp;
}
-static void proto_release(struct parsed_proto *pp)
+static inline void proto_release(struct parsed_proto *pp)
{
int i;
for (i = 0; i < pp->argc; i++) {
if (pp->arg[i].reg != NULL)
free(pp->arg[i].reg);
+ if (pp->arg[i].type.name != NULL)
+ free(pp->arg[i].type.name);
if (pp->arg[i].fptr != NULL)
free(pp->arg[i].fptr);
}
+ if (pp->ret_type.name != NULL)
+ free(pp->ret_type.name);
+ free(pp);
}