projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52b43c0) | patch
[Bitcode reader] Fix a few assertions when reading invalid files
authorFilipe Cabecinhas <me@filcab.net>
Mon, 16 Feb 2015 00:03:11 +0000 (00:03 +0000)
committerFilipe Cabecinhas <me@filcab.net>
Mon, 16 Feb 2015 00:03:11 +0000 (00:03 +0000)
commit9183d13f45cad8af7f5cd5eb65056f14db2bab95
treea95c733c1efa695315720679361ffb73ad944718tree | snapshot
parent52b43c0fb339303fa58c68fddc31918e3ffb1672commit | diff
[Bitcode reader] Fix a few assertions when reading invalid files

Summary:
When creating {insert,extract}value instructions from a BitcodeReader, we
weren't verifying the fields were valid.

Bugs found with afl-fuzz

Reviewers: rafael

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D7325

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229345 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Bitcode/Reader/BitcodeReader.cpp diff | blob | history
test/Bitcode/Inputs/invalid-extractval-array-idx.bc [new file with mode: 0644] blob
test/Bitcode/Inputs/invalid-extractval-struct-idx.bc [new file with mode: 0644] blob
test/Bitcode/Inputs/invalid-extractval-too-many-idxs.bc [new file with mode: 0644] blob
test/Bitcode/Inputs/invalid-insertval-array-idx.bc [new file with mode: 0644] blob
test/Bitcode/Inputs/invalid-insertval-struct-idx.bc [new file with mode: 0644] blob
test/Bitcode/Inputs/invalid-insertval-too-many-idxs.bc [new file with mode: 0644] blob
test/Bitcode/invalid.test diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors