Page MenuHomePhabricator

SafeStack: Prevent OOB reads with mem intrinsics
ClosedPublic

Authored by vlad.tsyrklevich on Aug 27 2018, 5:34 PM.

Details

Summary

Currently, the SafeStack analysis disallows out-of-bounds writes but not
out-of-bounds reads for mem intrinsics like llvm.memcpy. This could
cause leaks of pointers to the safe stack by leaking spilled registers/
frame pointers. Check for allocas used as source or destination pointers
to mem intrinsics.

Diff Detail

Repository
rL LLVM

Event Timeline

This revision is now accepted and ready to land.Aug 30 2018, 11:22 AM
This revision was automatically updated to reflect the committed changes.