I would like to use Cil in my project. I am new to Cil and Ocaml.
Basically I can see that Cil heap allocates certain stack objects like
dangerous local arrays in the file heapify.ml
I want to allocate all stack objects including basic type variables on the
heap as part of my project. For this I need to understand how the
heapify.mlworks so that I can do something similar for other objects.
However, since I
am new to Ocaml, I find the code in heapify.ml cryptic. Is there some
documentation that explains what each expression in heapify.ml does.?
Get latest updates about Open Source Projects, Conferences and News.