Русский / Russian English / Английский

Сейчас на форуме: bez (+1 невидимый пользователь)
 · Начало · Статистика · Регистрация · Поиск · ПРАВИЛА ФОРУМА · Язык · RSS ·

 eXeL@B —› Софт, инструменты —› PandemicML
Посл.ответ Сообщение


Ранг: 607.3 (!)
Статус: Участник
_Вечный_Студент_

Создано: 29 мая 2019 23:26 New!
Цитата · Личное сообщение · #1

--> PandemicML <--

Pandemic binary program analysis framework in OCaml

Для тех, кто знает кто такой Rolf Rolles и хочет у него чему-то научиться, изучая его код.

"Mostly I'm publishing this for the people out there, like me, who are content with merely reading the source code to things rather than running them. If you do, you may develop a deep appreciation for OCaml, and particularly how simple it makes program analysis-related development."

Проэкт на Ocaml, и в настоящее время Abandoned.
Rolf четко указывает, что проэкт не поддерживается, берите как есть.


Ранг: 329.0 (мудрец)
Статус: Участник

Создано: 30 мая 2019 18:03 New!
Цитата · Личное сообщение · #2

plutos

А что это вообще такое, чему научиться.. да этой хренью мозги поломать можно:

Code:
  1.  (* Functions that were introduced in the CFG signature *)
  2.     let find_vertex cfg label = LabelMap.find label cfg.label2vertex
  3.     let set_ir cfg v s = { cfg with label2lang = LabelMap.add (V.label v) s cfg.label2lang }
  4.     let get_ir cfg v   = LabelMap.find (V.label v) cfg.label2lang


Это какой то эльфийский язык


Ранг: 607.3 (!)
Статус: Участник
_Вечный_Студент_

Создано: 30 мая 2019 22:44 · Поправил: plutos New!
Цитата · Личное сообщение · #3

difexacaw пишет:
что это вообще такое, чему научиться.. да этой хренью мозги поломать можно:


да, синтаксис языка поначалу кажется запутаным и трудным, но если разобраться с основными понятиями - все становиться на свои места.
к языку нужно привыкнуть, это факт.
мне странно именно ВАМ обьяснять такие очевидные вещи, но всякий язык программирования, как и всякий инструмент, хорош для того, кому он нужен и кто знает как его применить.
Если вам не приходится иметь дело, скажем, с pattern matching, то он и правда вам ни к чему и не стоит тратить время на его изучение. Но тот, кто имеет дело с написанием тех же компилляторов и декомпилляторов, знает, как OCaml облегчает жизнь.
А то, что синтакс такой запутаный - так это не я его придумал.
Ну дак ведь никто никого не заставляет его учить.
выложил для тех, кому интересно, а вольному - воля.

| Сообщение посчитали полезным: sefkrd, DrVB_5_6

 eXeL@B —› Софт, инструменты —› PandemicML

Видеокурс ВЗЛОМ