DXR JS Analysis: Difference between revisions

No edit summary
Line 22: Line 22:


=== k-CFA ===
=== k-CFA ===
Family of flow analysises that approximate the program as a DFA via a structure called the call graph.


=== Anderson's Points-To Analysis ===
=== Anderson's Points-To Analysis ===
14

edits