Memory leaks found while running tests.

[hovhannes-96]

Memory leaks were found by LeakSanitizer.

1. Build Klee with -fsanitize=leak flag.
2. Run Klee's tests.
3. The following tests fail and the LeakSanitizer reports memory leaks.
   test/Replay/klee-replay/KTestGen.c
   test/Replay/klee-replay/KTestRandGen.c
   test/regression/2020-02-24-count-paths-nodump.c

[ccadar]

@MartinNowack @251 I'm a bit confused as to why these tests pass on the ASan CI runs.
They fail on my machine.

[ccadar]

To clarify: I haven't tried the CI scripts, but rather I see these errors being reported when I compile with -fsanitize=address or -fsanitize=leak.

[251]

I'm a bit confused as to why these tests pass on the ASan CI runs.

Haven't checked the first ones but the last one disables asan explicitly for well-known reasons.

[MartinNowack]

@ccadar Everything works as expected ;)

The reason why this still passes is that we explicitly ignore this issue: https://github.com/klee/klee/blob/master/utils/sanitizers/lsan.txt

[ccadar]

OK, I haven't realised we have those ignore files...