Reimplemented callgraph computation. Frama-C's is utterly broken for function pointers!
Reimplemented callgraph computation. Frama-C's is utterly broken for function pointers!

schrodibear/crude_slicer,schrodibear/crude_slicer