File tree Expand file tree Collapse file tree 1 file changed +1
-4
lines changed
Expand file tree Collapse file tree 1 file changed +1
-4
lines changed Original file line number Diff line number Diff line change @@ -16,9 +16,7 @@ It is merely a description of the framework used to define these analyses in
1616some basic terminology, such as "transfer function", "fixpoint" and "lattice".
1717If you're unfamiliar with these terms, or if you want a quick refresher,
1818[ * Static Program Analysis* ] by Anders Møller and Michael I. Schwartzbach is an
19- excellent, freely available textbook. For those who prefer audiovisual
20- learning, the Goethe University Frankfurt has published a series of short
21- [ lectures on YouTube] [ goethe ] in English that are very approachable.
19+ excellent, freely available textbook.
2220
2321## Defining a Dataflow Analysis
2422
@@ -229,6 +227,5 @@ the example below:
229227[ `apply_call_return_effect` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/trait.Analysis.html#tymethod.apply_call_return_effect
230228[ `into_engine` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/trait.Analysis.html#method.into_engine
231229[ `lattice` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/lattice/index.html
232- [ goethe ] : https://www.youtube.com/watch?v=NVBQSR_HdL0&list=PL_sGR8T76Y58l3Gck3ZwIIHLWEmXrOLV_&index=2
233230[ lattice ] : https://en.wikipedia.org/wiki/Lattice_(order)
234231[ wiki ] : https://en.wikipedia.org/wiki/Data-flow_analysis#Basic_principles
You can’t perform that action at this time.
0 commit comments