Displaying 1 result from an estimated 1 matches for "externalfunctionanalysis".
2014 Feb 10
6
[LLVMdev] [RFC] Simple control-flow integrity
...means that there
are indirect calls in this function that can happen with external
function pointers. The current implementation skips rewriting for
these functions, but it could instead be used to prepopulate a list of
known potential false positives.
- I have a separate analysis pass called ExternalFunctionAnalysis
that does a fairly naive interprocedural dataflow analysis starting
from cfi-maybe-external annotations and from all places where it can
find external function pointers coming in to the module:
- if an external function pointer flows into a store that
doesn't flow from an annotated l...