Bug Summary

File:lib/Support/BinaryStreamReader.cpp
Warning:line 79, column 9
Dereference of undefined pointer value

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name BinaryStreamReader.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-eagerly-assume -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -mrelocation-model pic -pic-level 2 -mthread-model posix -fmath-errno -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -momit-leaf-frame-pointer -ffunction-sections -fdata-sections -resource-dir /usr/lib/llvm-7/lib/clang/7.0.0 -D _DEBUG -D _GNU_SOURCE -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -I /build/llvm-toolchain-snapshot-7~svn326246/build-llvm/lib/Support -I /build/llvm-toolchain-snapshot-7~svn326246/lib/Support -I /build/llvm-toolchain-snapshot-7~svn326246/build-llvm/include -I /build/llvm-toolchain-snapshot-7~svn326246/include -U NDEBUG -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/c++/7.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/x86_64-linux-gnu/c++/7.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/x86_64-linux-gnu/c++/7.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.3.0/../../../../include/c++/7.3.0/backward -internal-isystem /usr/include/clang/7.0.0/include/ -internal-isystem /usr/local/include -internal-isystem /usr/lib/llvm-7/lib/clang/7.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O2 -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-maybe-uninitialized -Wno-comment -std=c++11 -fdeprecated-macro -fdebug-compilation-dir /build/llvm-toolchain-snapshot-7~svn326246/build-llvm/lib/Support -ferror-limit 19 -fmessage-length 0 -fvisibility-inlines-hidden -fobjc-runtime=gcc -fdiagnostics-show-option -vectorize-loops -vectorize-slp -analyzer-checker optin.performance.Padding -analyzer-output=html -analyzer-config stable-report-filename=true -o /tmp/scan-build-2018-02-28-041547-14988-1 -x c++ /build/llvm-toolchain-snapshot-7~svn326246/lib/Support/BinaryStreamReader.cpp
1//===- BinaryStreamReader.cpp - Reads objects from a binary stream --------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/Support/BinaryStreamReader.h"
11
12#include "llvm/Support/BinaryStreamError.h"
13#include "llvm/Support/BinaryStreamRef.h"
14
15using namespace llvm;
16using endianness = llvm::support::endianness;
17
18BinaryStreamReader::BinaryStreamReader(BinaryStreamRef Ref) : Stream(Ref) {}
19
20BinaryStreamReader::BinaryStreamReader(BinaryStream &Stream) : Stream(Stream) {}
21
22BinaryStreamReader::BinaryStreamReader(ArrayRef<uint8_t> Data,
23 endianness Endian)
24 : Stream(Data, Endian) {}
25
26BinaryStreamReader::BinaryStreamReader(StringRef Data, endianness Endian)
27 : Stream(Data, Endian) {}
28
29Error BinaryStreamReader::readLongestContiguousChunk(
30 ArrayRef<uint8_t> &Buffer) {
31 if (auto EC = Stream.readLongestContiguousChunk(Offset, Buffer))
32 return EC;
33 Offset += Buffer.size();
34 return Error::success();
35}
36
37Error BinaryStreamReader::readBytes(ArrayRef<uint8_t> &Buffer, uint32_t Size) {
38 if (auto EC = Stream.readBytes(Offset, Size, Buffer))
39 return EC;
40 Offset += Size;
41 return Error::success();
42}
43
44Error BinaryStreamReader::readCString(StringRef &Dest) {
45 uint32_t OriginalOffset = getOffset();
46 uint32_t FoundOffset = 0;
47 while (true) {
48 uint32_t ThisOffset = getOffset();
49 ArrayRef<uint8_t> Buffer;
50 if (auto EC = readLongestContiguousChunk(Buffer))
51 return EC;
52 StringRef S(reinterpret_cast<const char *>(Buffer.begin()), Buffer.size());
53 size_t Pos = S.find_first_of('\0');
54 if (LLVM_LIKELY(Pos != StringRef::npos)__builtin_expect((bool)(Pos != StringRef::npos), true)) {
55 FoundOffset = Pos + ThisOffset;
56 break;
57 }
58 }
59 assert(FoundOffset >= OriginalOffset)(static_cast <bool> (FoundOffset >= OriginalOffset) ?
void (0) : __assert_fail ("FoundOffset >= OriginalOffset"
, "/build/llvm-toolchain-snapshot-7~svn326246/lib/Support/BinaryStreamReader.cpp"
, 59, __extension__ __PRETTY_FUNCTION__));
60
61 setOffset(OriginalOffset);
62 size_t Length = FoundOffset - OriginalOffset;
63
64 if (auto EC = readFixedString(Dest, Length))
65 return EC;
66
67 // Now set the offset back to after the null terminator.
68 setOffset(FoundOffset + 1);
69 return Error::success();
70}
71
72Error BinaryStreamReader::readWideString(ArrayRef<UTF16> &Dest) {
73 uint32_t Length = 0;
74 uint32_t OriginalOffset = getOffset();
75 const UTF16 *C;
76 while (true) {
1
Loop condition is true. Entering loop body
→
77 if (auto EC = readObject(C))
2
←
Taking false branch
→
78 return EC;
79 if (*C == 0x0000)
3
←
Dereference of undefined pointer value
80 break;
81 ++Length;
82 }
83 uint32_t NewOffset = getOffset();
84 setOffset(OriginalOffset);
85
86 if (auto EC = readArray(Dest, Length))
87 return EC;
88 setOffset(NewOffset);
89 return Error::success();
90}
91
92Error BinaryStreamReader::readFixedString(StringRef &Dest, uint32_t Length) {
93 ArrayRef<uint8_t> Bytes;
94 if (auto EC = readBytes(Bytes, Length))
95 return EC;
96 Dest = StringRef(reinterpret_cast<const char *>(Bytes.begin()), Bytes.size());
97 return Error::success();
98}
99
100Error BinaryStreamReader::readStreamRef(BinaryStreamRef &Ref) {
101 return readStreamRef(Ref, bytesRemaining());
102}
103
104Error BinaryStreamReader::readStreamRef(BinaryStreamRef &Ref, uint32_t Length) {
105 if (bytesRemaining() < Length)
106 return make_error<BinaryStreamError>(stream_error_code::stream_too_short);
107 Ref = Stream.slice(Offset, Length);
108 Offset += Length;
109 return Error::success();
110}
111
112Error BinaryStreamReader::readSubstream(BinarySubstreamRef &Stream,
113 uint32_t Size) {
114 Stream.Offset = getOffset();
115 return readStreamRef(Stream.StreamData, Size);
116}
117
118Error BinaryStreamReader::skip(uint32_t Amount) {
119 if (Amount > bytesRemaining())
120 return make_error<BinaryStreamError>(stream_error_code::stream_too_short);
121 Offset += Amount;
122 return Error::success();
123}
124
125Error BinaryStreamReader::padToAlignment(uint32_t Align) {
126 uint32_t NewOffset = alignTo(Offset, Align);
127 return skip(NewOffset - Offset);
128}
129
130uint8_t BinaryStreamReader::peek() const {
131 ArrayRef<uint8_t> Buffer;
132 auto EC = Stream.readBytes(Offset, 1, Buffer);
133 assert(!EC && "Cannot peek an empty buffer!")(static_cast <bool> (!EC && "Cannot peek an empty buffer!"
) ? void (0) : __assert_fail ("!EC && \"Cannot peek an empty buffer!\""
, "/build/llvm-toolchain-snapshot-7~svn326246/lib/Support/BinaryStreamReader.cpp"
, 133, __extension__ __PRETTY_FUNCTION__));
134 llvm::consumeError(std::move(EC));
135 return Buffer[0];
136}
137
138std::pair<BinaryStreamReader, BinaryStreamReader>
139BinaryStreamReader::split(uint32_t Off) const {
140 assert(getLength() >= Off)(static_cast <bool> (getLength() >= Off) ? void (0) :
__assert_fail ("getLength() >= Off", "/build/llvm-toolchain-snapshot-7~svn326246/lib/Support/BinaryStreamReader.cpp"
, 140, __extension__ __PRETTY_FUNCTION__));
141
142 BinaryStreamRef First = Stream.drop_front(Offset);
143
144 BinaryStreamRef Second = First.drop_front(Off);
145 First = First.keep_front(Off);
146 BinaryStreamReader W1{First};
147 BinaryStreamReader W2{Second};
148 return std::make_pair(W1, W2);
149}