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.