summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorEvgeniy Stepanov <eugeni.stepanov@gmail.com>2017-12-09 00:21:41 +0000
committerEvgeniy Stepanov <eugeni.stepanov@gmail.com>2017-12-09 00:21:41 +0000
commitd47b5b3974ad5248be58396668c9b25bf50cb1df (patch)
treec658bfb00c9b19f24375a6ad9946fca2a72d27a6 /docs
parent39737bf2bbfc38ecca3e4fcf91b27639c18a8f4c (diff)
Hardware-assisted AddressSanitizer (llvm part).
Summary: This is LLVM instrumentation for the new HWASan tool. It is basically a stripped down copy of ASan at this point, w/o stack or global support. Instrumenation adds a global constructor + runtime callbacks for every load and store. HWASan comes with its own IR attribute. A brief design document can be found in clang/docs/HardwareAssistedAddressSanitizerDesign.rst (submitted earlier). Reviewers: kcc, pcc, alekseyshl Subscribers: srhines, mehdi_amini, mgorny, javed.absar, eraman, llvm-commits, hiraditya Differential Revision: https://reviews.llvm.org/D40932 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@320217 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r--docs/BitCodeFormat.rst1
-rw-r--r--docs/LangRef.rst4
2 files changed, 5 insertions, 0 deletions
diff --git a/docs/BitCodeFormat.rst b/docs/BitCodeFormat.rst
index e92a8ca9833..429c945e712 100644
--- a/docs/BitCodeFormat.rst
+++ b/docs/BitCodeFormat.rst
@@ -1054,6 +1054,7 @@ The integer codes are mapped to well-known attributes as follows.
* code 52: ``writeonly``
* code 53: ``speculatable``
* code 54: ``strictfp``
+* code 55: ``sanitize_hwaddress``
.. note::
The ``allocsize`` attribute has a special encoding for its arguments. Its two
diff --git a/docs/LangRef.rst b/docs/LangRef.rst
index dbd45666777..589786255af 100644
--- a/docs/LangRef.rst
+++ b/docs/LangRef.rst
@@ -1597,6 +1597,10 @@ example:
``sanitize_thread``
This attribute indicates that ThreadSanitizer checks
(dynamic thread safety analysis) are enabled for this function.
+``sanitize_hwaddress``
+ This attribute indicates that HWAddressSanitizer checks
+ (dynamic address safety analysis based on tagged pointers) are enabled for
+ this function.
``speculatable``
This function attribute indicates that the function does not have any
effects besides calculating its result and does not have undefined behavior.