h
спасибо!
но 176 страниц 😭
Size: a a a
2021 May 24
s
Ммм, классификация из 70х.
h
ну. можно попробовать просто dev doc'у раста почитать по разделам про MIR (на уровне его генерации производится большая часть статического анализа)
https://rustc-dev-guide.rust-lang.org/mir/dataflow.html?highlight=static%20analysis#dataflow-analysis
https://rustc-dev-guide.rust-lang.org/mir/dataflow.html?highlight=static%20analysis#dataflow-analysis
KT
крутяк
я уточню, я сейчас читаю код dfa анализатора java кода, которй используется в идее, но хочется почитать более высокоуровневый разбор того, как это надо делать :)
я уточню, я сейчас читаю код dfa анализатора java кода, которй используется в идее, но хочется почитать более высокоуровневый разбор того, как это надо делать :)
DP
это откуда?
AT
s
Отсюда. Рекомендую.
DP
спасибо!
KT
о, всего 15 страниц, подходит, спасибо
AT
Это основополагающая работа, которая породила целое направление по использованию (в самых разных вариантах) Graph Reachability для Dataflow Analysis. Соответственно, существует огромное количество работ, развивающих эту тему и применяющих к разным случаям.
KT
круто, буду читать
AT
Можно ещё диссертацию почитать: http://tuprints.ulb.tu-darmstadt.de/5937/
Там должен быть обзор и пояснения как конкретно реализуются элементы анализа.
Там должен быть обзор и пояснения как конкретно реализуются элементы анализа.
AT
Так-то на Википедии вполне толковая статья со ссылками на литературу: https://en.wikipedia.org/wiki/Data-flow_analysis
PS
Комбинатры — это способ реализации алгоритмов. Произвольных, и производительность тоже зависит от подходов. Поэтому странно читать о том, что комбинаторы чего-то "не могут" :)
K
Ждём реализации комбинаторов рекурсивного подъёма.
K
Хммммм