История изменений
Исправление XVilka, (текущая версия) :
Эти же ребята, кстати, авторы BAP и Mayhem http://security.ece.cmu.edu/pubs.html так что работа основана поверх llvm с добавлением высокоуровневой логики на OCaml.
Исходная версия XVilka, :
Эти же ребята, кстати, авторы BAP и Mayhem http://security.ece.cmu.edu/pubs.html так что рпбота основана поверх llvm с добавлением высокоуровневой логики на OCaml.