Read

Reference 1

Graph in GlobalContext:

// file:
//  crix/analyzer/src/lib/Analyzer.h

typedef DenseMap<Function*, CallInstSet> CallerMap;
typedef DenseMap<CallInst *, FuncSet> CalleeMap;

struct GlobalContext {
    // ...
	// Map a callsite to all potential callee functions.
	CalleeMap Callees;

	// Map a function to all potential caller instructions.
	CallerMap Callers;
    // ...
}
Created Nov 23, 2019 // Last Updated Nov 26, 2019

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?