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

an example where we use program-specific code.. #3

Open ksaur opened 9 years ago

ksaur commented 9 years ago

We sort of have this in redis, but it's a little crowded. needs to be cleaned up.