search

plum-umd / c-strider

C-Strider: Type-Aware Heap Traversal for C
https://www.cs.umd.edu/~mwh/papers/saur15strider.html
Other
6 stars 2 forks source link

* transform_fptr....transform_prim....eeekk! #1

Open ksaur opened 9 years ago

ksaur commented 9 years ago

This needs to be cleaned up. The "base type" type of function pointer should be TYPE_FUNPTR, not whatever the name/type of the function it is.

Also, "transform_prim" is a placeholder and needs to be changed in cstridergen.ml