Collection of helpful utilities we use in our Unity projects.
C++14 Finite State Machine library
Efficient and Precise Pointer-Tracking Data-Flow Framework
Experimental implementation of k-CFA and Pushdown k-CFA with optional Ab...