[KUDU-61] Incorrect corruption detection in StringPrefixBlockDecoder

• Type: Bug
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: M4
• Component/s: cfile
• Target Version/s: M4
• Assignee: David S. Wang
• Reporter: Todd Lipcon
• Created: 18/Nov/13 19:07
• Updated: 23/Dec/13 14:09
• Resolved: 23/Dec/13 14:09

Description

STACK analyzer says:
bug: anti-dce
model: |
%180 = icmp eq i8* %177, null, !dbg !5144
--> false
************************************************************
:
%181 = getelementptr inbounds %"class.kudu::Slice"* %1, i32 0, i32 0, !dbg !5145
store i8* getelementptr inbounds ([34 x i8]* @.str14, i32 0, i32 0), i8** %181, align 8, !dbg !5145
%182 = getelementptr inbounds %"class.kudu::Slice"* %1, i32 0, i32 1, !dbg !5145
%183 = call i64 @strlen(i8* getelementptr inbounds ([34 x i8]* @.str14, i32 0, i32 0)) #17, !dbg !5145
store i64 %183, i64* %182, align 8, !dbg !5145
%184 = getelementptr inbounds %"class.kudu::Slice"* %2, i32 0, i32 0, !dbg !5149
store i8* getelementptr inbounds ([1 x i8]* @.str59, i32 0, i32 0), i8** %184, align 8, !dbg !5149
%185 = getelementptr inbounds %"class.kudu::Slice"* %2, i32 0, i32 1, !dbg !5149
store i64 0, i64* %185, align 8, !dbg !5149
call void @_ZN4kudu6StatusC1ENS0_4CodeERKNS_5SliceES4_s(%"class.kudu::Status"* %agg.result, i32 2, %"class.kudu::Slice"* %1, %"class.kudu::Slice"* %2, i16 signext -1), !dbg !5152
br label %271, !dbg !5147
stack:

• /home/todd/kudu/src/util/slice.h:52:0
• /home/todd/kudu/src/util/slice.h:52:0
• /home/todd/kudu/src/cfile/string_prefix_block.cc:197:0
  ncore: 2
  core:
• /home/todd/kudu/src/util/group_varint-inl.h:67:0
• null pointer dereference
• /home/todd/kudu/src/util/group_varint-inl.h:72:0
• pointer overflow