llvm-mirror

mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 12:41:49 +01:00

History

Jianzhou Zhao 034e3da912 [dfsan] Add a flag about whether to propagate offset labels at gep

DFSan has flags to control flows between pointers and objects referred
by pointers. For example,

a = *p;
L(a) = L(*p)        when -dfsan-combine-pointer-labels-on-load = false
L(a) = L(*p) + L(p) when -dfsan-combine-pointer-labels-on-load = true

*p = b;
L(*p) = L(b)        when -dfsan-combine-pointer-labels-on-store = false
L(*p) = L(b) + L(p) when -dfsan-combine-pointer-labels-on-store = true
The question is what to do with p += c.

In practice we found many confusing flows if we propagate labels from c
to p. So a new flag works like this

p += c;
L(p) = L(p)        when -dfsan-propagate-via-pointer-arithmetic = false
L(p) = L(p) + L(c) when -dfsan-propagate-via-pointer-arithmetic = true

Reviewed-by: gbalats

Differential Revision: https://reviews.llvm.org/D103176

2021-05-28 00:06:19 +00:00

AddressSanitizer

LLVM Detailed IR tests for introduction of flag -fsanitize-address-detect-stack-use-after-return-mode.

2021-05-25 16:17:39 -07:00

BoundsChecking

OpaquePtr: Bulk update tests to use typed byval

2020-11-20 14:00:46 -05:00

DataFlowSanitizer

[dfsan] Add a flag about whether to propagate offset labels at gep

2021-05-28 00:06:19 +00:00

HeapProfiler

[MemProf] Fix a potential "permission denied" test failure on some systems.