|
Static Value-Flow Analysis
|
#include <ThreadCallGraph.h>
Public Member Functions | |
| bool | operator() (const CallICFGNode *lhs, const CallICFGNode *rhs) const |
Order fork/join callsites by ICFG node id, never by pointer value: thread ids are assigned in discovery order over these sets (TCT), and the MHP/lock fixed points seed from them, so their iteration order must be identical across runs (a pointer-hashed set varies with ASLR).
Definition at line 149 of file ThreadCallGraph.h.
|
inline |
Definition at line 151 of file ThreadCallGraph.h.