File tree 1 file changed +1
-4
lines changed
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
16
16
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
- 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.
22
20
23
21
## Defining a Dataflow Analysis
24
22
@@ -229,6 +227,5 @@ the example below:
229
227
[ `apply_call_return_effect` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/trait.Analysis.html#tymethod.apply_call_return_effect
230
228
[ `into_engine` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_dataflow/trait.Analysis.html#method.into_engine
231
229
[ `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
230
[ lattice ] : https://en.wikipedia.org/wiki/Lattice_(order)
234
231
[ wiki ] : https://en.wikipedia.org/wiki/Data-flow_analysis#Basic_principles
You can’t perform that action at this time.
0 commit comments