verify the description of flatbuffers, test=develop (#5064)

Author: Shixiaowei02

lite/model_parser/base/io.h

@@ -51,9 +51,13 @@ class Buffer {
 
   void CopyDataFrom(const Buffer& other);
 
-  Buffer(Buffer&& other) { raw_ = other.Release(); }
+  Buffer(Buffer&& other) {
+    raw_ = other.Release();
+    size_ = other.size();
+  }
   Buffer& operator=(Buffer&& other) {
     raw_ = other.Release();
+    size_ = other.size();
     return *this;
   }
 

lite/model_parser/flatbuffers/param_desc.h

@@ -34,6 +34,10 @@ class ParamDescView : public ParamDescReadAPI {
  public:
   explicit ParamDescView(model_parser::Buffer* buf) {
     CHECK(buf) << "The pointer in buf can not be nullptr";
+    flatbuffers::Verifier verifier(static_cast<const uint8_t*>(buf->data()),
+                                   buf->size());
+    CHECK(verifier.VerifyBuffer<paddle::lite::fbs::proto::ParamDesc>(nullptr))
+        << "Param verification failed.";
     desc_ =
         flatbuffers::GetRoot<paddle::lite::fbs::proto::ParamDesc>(buf->data());
     Init();
@@ -92,6 +96,11 @@ class CombinedParamsDescView : public CombinedParamsDescReadAPI {
   }
 
   void InitParams() {
+    flatbuffers::Verifier verifier(static_cast<const uint8_t*>(buf_.data()),
+                                   buf_.size());
+    CHECK(verifier.VerifyBuffer<paddle::lite::fbs::proto::CombinedParamsDesc>(
+        nullptr))
+        << "CombinedParamsDesc verification failed.";
     desc_ = proto::GetCombinedParamsDesc(buf_.data());
     CHECK(desc_);
     CHECK(desc_->params());

lite/model_parser/flatbuffers/program_desc.h

@@ -44,6 +44,10 @@ class ProgramDescView : public ProgramDescAPI {
   }
 
   void InitProgramDesc() {
+    flatbuffers::Verifier verifier(static_cast<const uint8_t*>(buf_.data()),
+                                   buf_.size());
+    CHECK(verifier.VerifyBuffer<paddle::lite::fbs::proto::ProgramDesc>(nullptr))
+        << "Program verification failed.";
     desc_ = proto::GetProgramDesc(buf_.data());
     blocks_.resize(desc_->blocks()->size());
     for (size_t idx = 0; idx < BlocksSize(); ++idx) {