I'm investigating how to make the IPC transfer a bit more secure on the

src/core/SkFlattenableSerialization.cpp

Index: src/core/SkFlattenableSerialization.cpp
diff --git a/src/core/SkFlattenableSerialization.cpp b/src/core/SkFlattenableSerialization.cpp
index b74c82f051648f77dce5da97b26e21ba53b12e4b..c6bce673f4bedc29c8913d09407d0b57d4a2baf4 100644
--- a/src/core/SkFlattenableSerialization.cpp
+++ b/src/core/SkFlattenableSerialization.cpp
@@ -9,6 +9,7 @@
 
 #include "SkData.h"
 #include "SkFlattenable.h"
+#include "SkImageFilter.h"
 #include "SkOrderedReadBuffer.h"
 #include "SkOrderedWriteBuffer.h"
 
@@ -26,3 +27,27 @@ SkFlattenable* SkDeserializeFlattenable(const void* data, size_t size) {
     SkOrderedReadBuffer buffer(data, size);
     return buffer.readFlattenable();
 }
+
+bool SkValidateImageFilterRec(SkFlattenable* flattenable) {
+    if (!flattenable
+        // This object should always have been sent cross-process,
+        // so it should always have a factory
+        || !flattenable->getFactory()

[scroggo, 2013/08/21 23:25:27]

I'm trying to understand how this could return NULL. It would never have been
deserialized properly if getFactory returned NULL, right?

Isn't it also redundant with isA?

[sugoi1, 2013/08/22 15:41:00]

Well, my original thought was that, if someone would manage to call another
function (not a factory) to construct a malicious object here, then the
getFactory() call would fail. But you're right, since I added the isA, this part
is no longer necessary.

+        // Only SkImageFilter objects are allowed
+        || !flattenable->isA(SkFlattenable::IMAGE_FILTER))

[scroggo, 2013/08/21 23:25:27]

If the unflattening created an SkImageFilter, won't this return true even if it
was wrong to create an SkImageFilter?

[sugoi1, 2013/08/22 15:41:00]

How would I know it was wrong to create it ? I have no other information than
the input stream, AFAIK.

[scroggo, 2013/08/22 17:59:01]

My point is that if you read the stream incorrectly, and created an
SkImageFilter, this check would not tell you that you were wrong. What kind of
error does this avoid?

[sugoi1, 2013/08/22 18:14:53]

When this function is called, it verifies that what's supposed to be an
SkImageFilter object or tree is indeed that and only that. No other
SkFlattenables are allowed to appear inside this tree somehow (in case someone
hijacked the stream to create something else, possible maliciously). The
deserialization does not prevent anyone from creating an SkData object or an
SkRasterizer object, for example.

[scroggo, 2013/08/22 19:10:19]

Ah, okay. Thanks for the explanation.

+        return false;
+
+    // Check that all the inputs are also SkImageFilter objects
+    SkImageFilter* filter = static_cast<SkImageFilter*>(flattenable);
+    int nbInputs = filter->countInputs();
+    for (int i = 0; i < nbInputs; ++i)
+        if (!SkValidateImageFilterRec(filter->getInput(i)))
+            return false;
+
+    return true;
+}
+
+SkImageFilter* SkValidateImageFilter(SkFlattenable* flattenable) {
+    return SkValidateImageFilterRec(flattenable) ?
+           static_cast<SkImageFilter*>(flattenable) : 0;
+}