liuml07 / giri

Dynamic Program Slicing in LLVM Compiler
Other
134 stars 33 forks source link

Fix memory leak error in TraceFile #3

Closed Justme0 closed 8 years ago

Justme0 commented 8 years ago

A pointer to an array in heap should be deleted using delete [] syntax. And I strongly recommend using RAII style, that is std::vector here.