File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed
Filter options
Expand file tree Collapse file tree 1 file changed +3
-2
lines changed
Original file line number Diff line number Diff line change @@ -18,7 +18,8 @@ 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
20
learning, the Goethe University Frankfurt has published a series of short
21
- [ lectures on YouTube] [ goethe ] in English that are very approachable.
21
+ [ lectures on YouTube] [ goethe ] in English that are very approachable (NOTE: the creator
22
+ removed their content from YouTube. For now, we provide a link to the Wayback Machine).
22
23
23
24
## Defining a Dataflow Analysis
24
25
@@ -229,6 +230,6 @@ the example below:
229
230
[ `apply_call_return_effect` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/trait.Analysis.html#tymethod.apply_call_return_effect
230
231
[ `into_engine` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/trait.Analysis.html#method.into_engine
231
232
[ `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
233
+ [ goethe ] : https://web.archive.org/web/20200221205557/https:// www.youtube.com/watch?v=NVBQSR_HdL0
233
234
[ lattice ] : https://en.wikipedia.org/wiki/Lattice_(order)
234
235
[ wiki ] : https://en.wikipedia.org/wiki/Data-flow_analysis#Basic_principles
You can’t perform that action at this time.
0 commit comments