gopalshankar / address-sanitizer

Automatically exported from code.google.com/p/address-sanitizer
0 stars 0 forks source link

Sanitizers should check memory accesses in inline asm #290

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
It should be straightforward to find all "m", "+m" and "=m" constraints and 
check corresponding memory regions.

Original issue reported on code.google.com by tetra2...@gmail.com on 4 Apr 2014 at 11:00

GoogleCodeExporter commented 9 years ago
isn't this a subset of issue 192?
The work is already in progress (in llvm/clang). 

Original comment by konstant...@gmail.com on 7 May 2014 at 8:44

GoogleCodeExporter commented 9 years ago
Yup, probably a duplicate.

Original comment by tetra2...@gmail.com on 7 May 2014 at 8:55

GoogleCodeExporter commented 9 years ago
Although sanitizing inline asm and .S files are two widely different tasks (the 
latter sounds like a huge overkill to me btw).

Original comment by tetra2...@gmail.com on 7 May 2014 at 8:57

GoogleCodeExporter commented 9 years ago
>> Although sanitizing inline asm and .S files are two widely different tasks
yes.
>> (the latter sounds like a huge overkill to me btw).
Well, we have use cases for that. 

Original comment by konstant...@gmail.com on 7 May 2014 at 8:58