[PATCH] Implement bad cast checks using control flow integrity information.
Peter Collingbourne
peter at pcc.me.uk
Thu Mar 12 23:31:35 PDT 2015
Hi kcc, jfb,
This scheme checks that pointer and lvalue casts are made to an object of
the correct dynamic type; that is, the dynamic type of the object must be
a derived class of the pointee type of the cast. The checks are currently
only introduced where the class being casted to is a polymorphic class.
http://reviews.llvm.org/D8312
Files:
docs/ControlFlowIntegrity.rst
docs/UsersManual.rst
include/clang/Basic/Sanitizers.def
lib/CodeGen/CGClass.cpp
lib/CodeGen/CGExpr.cpp
lib/CodeGen/CGExprScalar.cpp
lib/CodeGen/CodeGenFunction.h
lib/Driver/SanitizerArgs.cpp
test/CodeGenCXX/cfi-cast.cpp
test/Driver/fsanitize.c
EMAIL PREFERENCES
http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8312.21898.patch
Type: text/x-patch
Size: 15683 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150313/b44977cc/attachment.bin>
More information about the cfe-commits
mailing list