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

Cil - clean #6

Open ksaur opened 9 years ago

ksaur commented 9 years ago

There's a lot of stuff there that isn't necessary and makes it difficult to understand. Clean that up.