@@ -17,8 +17,10 @@ some basic terminology, such as "transfer function", "fixpoint" and "lattice".
17
17
If you're unfamiliar with these terms, or if you want a quick refresher,
18
18
[ * Static Program Analysis* ] by Anders Møller and Michael I. Schwartzbach is an
19
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.
20
+ learning, we previously recommended a series of short lectures
21
+ by the Goethe University Frankfurt on YouTube, but it has been deleted for some reasons.
22
+ See [ this PR] [ pr-1295 ] for the context and [ this comment] [ pr-1295-comment ]
23
+ for the alternative lectures.
22
24
23
25
## Defining a Dataflow Analysis
24
26
@@ -229,6 +231,7 @@ the example below:
229
231
[ `apply_call_return_effect` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/trait.Analysis.html#tymethod.apply_call_return_effect
230
232
[ `into_engine` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/trait.Analysis.html#method.into_engine
231
233
[ `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
234
+ [ pr-1295 ] : https://github.com/rust-lang/rustc-dev-guide/pull/1295
235
+ [ pr-1295-comment ] : https://github.com/rust-lang/rustc-dev-guide/pull/1295#issuecomment-1118131294
233
236
[ lattice ] : https://en.wikipedia.org/wiki/Lattice_(order)
234
237
[ wiki ] : https://en.wikipedia.org/wiki/Data-flow_analysis#Basic_principles
0 commit comments