File tree Expand file tree Collapse file tree 2 files changed +7
-0
lines changed Expand file tree Collapse file tree 2 files changed +7
-0
lines changed Original file line number Diff line number Diff line change @@ -662,6 +662,13 @@ namespace wasm {
662662// analysis the user of this class can ask which contents are possible at any
663663// location.
664664//
665+ // This algorithm is so simple as to not really be worth a name, but if you are
666+ // familiar with Abstract Interpretation then it can be seen as an efficient way
667+ // to implement Abstract Interpretation with a transfer function that mostly
668+ // just combines values. A more detailed comparison between the algorithms can
669+ // be found in the PDF at /media/just_flow_stuff.pdf (the algorithm implemented
670+ // here is called "Just Flow Stuff").
671+ //
665672// This focuses on useful information for the typical user of this API.
666673// Specifically, we find out:
667674//
You can’t perform that action at this time.
0 commit comments