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 - bugs #7

Open ksaur opened 9 years ago

ksaur commented 9 years ago

Maybe....use a new version of cil?? Issues with 64 bit ULong. Various other minor issues that might be fixed in new version?

ksaur commented 9 years ago

4 November 2011: cil-1.4.0

* Includes many bug fixes and a cleanup of obsolete files and Makefile
  rules. Also fix support for OCaml 3.12, add support of some gcc
  builtins.

* ***************Improved 64-bit int support (large constants no longer
    cause a CIL failure).