Jakub Jelinek <ja...@redhat.com> writes: >> For 'strlen', can the memory check be done at the end of the string >> using the returned length? > > Guess strlen is commonly expanded inline, so it would be worthwhile to check > the shadow memory after the call (well, we could check the first byte > before the call and the last one after the call).
How do I get the result of the (strlen) call in gimple?
--
Dodji
