14
edits
DXR JS Analysis: Difference between revisions
Jump to navigation
Jump to search
→CFA2
Mchanlatte (talk | contribs) (→k-CFA) |
Mchanlatte (talk | contribs) (→CFA2) |
||
| Line 29: | Line 29: | ||
=== CFA2 === | === CFA2 === | ||
Approximate the program as a PDA allowing seperate call sites to be distiguished (avoiding call/return mismatch). Implemented in Doctorjs | |||
=== Inlining Eval === | === Inlining Eval === | ||