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;
// ...
}
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?