Aleksei Pleshakov

The patch was created as part of Software Analysis project in Huawei Russian Research Institute.

@ccadar Yes, I would really like to eventually integrate the patch into KLEE! I have noticed several CMake configuration bugs in the MR which I have not addressed and applied...

@ccadar Hi! Sorry for the absence. Could you elaborate on how you see the step-by-step integration of the feature? I do not think I can suggest a decent plan for...

buffer and its size (size surely too large, and it seems like buffer has junk data?) assert triggers at `len = 6` ``` (gdb) p buf $13 = (NKikimr::NMiniKQL::NDetails::TChunkedInputBuffer &)...

I managed to reproduce the error with `dqrun` compiled with `--sanitize=address`, and it stays silent when the error is present.

Error did not reproduce with `dqrun` compiled with `--sanitize=undefined`, even though I left it running for a day (`asan` one took two hours of relaunching).

I also got this error when reproducing https://github.com/ydb-platform/ydb/blob/74ce263d98a8d4dd054ed81d2fff816eef862b09/ydb/library/yql/parser/pg_wrapper/postgresql/src/backend/access/common/toast_compression.c#L100

any combination of `dq.UseOOBTransport` and `dq.UseFastPickleTransport` still produces failures.

``` /home/ee8jsmrbc5d1utc9advj/.ya/build/build_root/2dnn/002816/ydb/library/yql/minikql/comp_nodes/llvm14/mkql_grace_join_imp.cpp:60:37: runtime error: null pointer passed as argument 2, which is declared to never be null /home/ee8jsmrbc5d1utc9advj/.ya/tools/v4/1966560555/usr/include/string.h:47:28: note: nonnull attribute specified here #0 0x65b3dbd2 in NKikimr::NMiniKQL::GraceJoin::TTable::AddTuple(unsigned long*, char**, unsigned...

``` SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /home/ee8jsmrbc5d1utc9advj/ydb/ydb/library/yql/parser/pg_wrapper/utils.h:76:12 in /home/ee8jsmrbc5d1utc9advj/ydb/ydb/library/yql/parser/pg_wrapper/utils.h:76:12: runtime error: load of misaligned address 0x7fee9032b0a5 for type 'uint32' (aka 'unsigned int'), which requires 4 byte alignment 0x7fee9032b0a5: note: pointer points here...