14
edits
Mchanlatte (talk | contribs) No edit summary |
Mchanlatte (talk | contribs) (→k-CFA) |
||
| 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 === | ||
edits