DFSan for 32bit platform

Dear All

This is Zin.

Sorry about sent a mail with corporate header on yesterday. I had changed my e-mail address.

I want to do taint analysis using DFSan on 32bit platform(armv7/intel 32bit).

But DFSan does not support 32bit arch. So i’m preparing a patch for that.

For 32bit, I have to set each address that is supported by the platform as variables.

For define memory layout for 32bit arch, i refer to existed platform.

I compared each variable value in Mapping struct for x86_64 in dfsan_platform.h with https://www.kernel.org/doc/Documentation/x86/x86_64/mm.txt file.

According to kernel.org, the user area is 0x0000000000000000 to 0x00007fffffffffff.
However, kAppAddr starts at 0x0000700000008000 in dfsan_platform.h.

So i am confused by the difference between kernel.org and dfsan_platform.h.

Is there my missing point?

Please let me know what should i do to define memory layout. and which information helps me.