some trace-generators like ControlFlowVisualizer using getRangeBound function
that is a member of EmulatedKernel class but the map datastructure that used by
this function don't have any data because no initialization or assignment
occures for this datastructure.
how can i solve this problem?
because of this when using this trace-generator an out-of-range access error
occures and execution terminates
Original issue reported on code.google.com by mojtaba....@gmail.com on 7 Aug 2014 at 10:03
Original issue reported on code.google.com by
mojtaba....@gmail.comon 7 Aug 2014 at 10:03