search for: externalfunctionanalysi

...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...