Сейчас на форуме: -Sanchez-, Alf, Adler, Rio (+6 невидимых)

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


Ранг: 622.6 (!), 521thx
Активность: 0.330.89
Статус: Участник
_Вечный_Студент_

Создано: 29 мая 2019 23:26
· Личное сообщение · #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 четко указывает, что проэкт не поддерживается, берите как есть.

-----
Give me a HANDLE and I will move the Earth.





Ранг: 337.5 (мудрец), 348thx
Активность: 2.112.42
Статус: Участник

Создано: 30 мая 2019 18:03
· Личное сообщение · #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


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

-----
vx





Ранг: 622.6 (!), 521thx
Активность: 0.330.89
Статус: Участник
_Вечный_Студент_

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

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


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

-----
Give me a HANDLE and I will move the Earth.


| Сообщение посчитали полезным: sefkrd, DrVB_5_6
 eXeL@B —› Софт, инструменты —› PandemicML
:: Ваш ответ
Жирный  Курсив  Подчеркнутый  Перечеркнутый  {mpf5}  Код  Вставить ссылку 
:s1: :s2: :s3: :s4: :s5: :s6: :s7: :s8: :s9: :s10: :s11: :s12: :s13: :s14: :s15: :s16:


Максимальный размер аттача: 500KB.
Ваш логин: german1505 » Выход » ЛС
   Для печати Для печати