14
edits
DXR JS Analysis: Difference between revisions
Jump to navigation
Jump to search
→k-CFA
Mchanlatte (talk | contribs) (→k-CFA) |
Mchanlatte (talk | contribs) (→k-CFA) |
||
| Line 22: | Line 22: | ||
=== k-CFA === | === k-CFA === | ||
Family of flow | Family of flow analyses that approximate the program as a DFA via a structure called the call graph. | ||
=== Anderson's Points-To Analysis === | === Anderson's Points-To Analysis === | ||