[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