HAL是一款什么工具

小编给大家分享一下HAL是一款什么工具，相信大部分人都还不怎么了解，因此分享这篇文章给大家参考一下，希望大家阅读完这篇文章后大有收获，下面让我们一起去了解一下吧！

   HAL是一款针对网关级网络设备列表的完整的逆向工程分析套件以及操作框架，该工具专注于提升网络安全人员的效率、可扩展性和可移植性。HAL附带了成熟的插件系统，允许安全研究人员在内核中引入任意功能。

除了很多其他的研究项目之外，HAL还被应用于大学安全课程之中：《硬件逆向工程概论》。

功能介绍

1、网络设备列表及其链接的自然有向图表示；

2、支持自定义网关库；

3、优化C++核心带来的高性能；

4、模块化：可以编写自己的C++插件来进行有效的网表分析和操作；

5、提供了功能丰富的用户操作界面，支持可视化检测以及交互式分析；

6、集成了Python Shell，可用于跟网表元素交互以及访问GUI接口；

7、该工具（v1.1.0）目前新增了针对Xilinx Unisim、Xilinx Simprim、Synopsys 90nm、GSCLIB 3.0和UMC 0.18μm库的支持；

工具安装

Ubuntu

HAL的release版本通过ppa发布的。

macOS

使用下列命令并通过homebrew安装HAL：

brew tap emsec/halbrew install hal

构建指令

运行下列命令下载并安装HAL：

git clone https://github.com/emsec/hal.git && cd hal./install_dependencies.shmkdir build && cd buildcmakemakemake install

macOS构建

需要使用一个支持OpenMP的编译器，我们可以通过下列命令安装：

brew install llvm

然后运行下列命令让cmake使用我们自定义的编译器：

cmake .. -DCMAKE_C_COMPILER=/usr/local/opt/llvm/bin/clang -DCMAKE_CXX_COMPILER=/usr/local/opt/llvm/bin/clang++

快速开始

广大研究人员可以通过命令“hal -g”来安装或构建HAL，并启动GUI界面。使用命令“hal [–help|-h]”可以查看工具所有可用的选项。我们在examples目录中提供了样本网表，以及用于分析的样本库，位于路径plugins/example_gate_library。

从examples目录加载一个代码库，并开启图形化分析功能。使用整合的Python Shell或Python脚本窗口来与目标进行交互。

我们可以枚举所有的lookup表，并输出相关信息：

from hal_plugins import libquine_mccluskeyqm_plugin = libquine_mccluskey.quine_mccluskey()for gate in netlist.get_gates():    if "LUT" in gate.type:        print(gate.name + " (id "+str(gate.id) + ", type " + gate.type + ")")        print("  " + str(len(gate.input_pin_types)) + "-to-" + str(len(gate.output_pin_types)) + " LUT")        boolean_functions = qm_plugin.get_boolean_function_str(gate, False)        for pin in boolean_functions:            print("  " + pin + ": "+boolean_functions[pin])        print("")

比如说针对fsm.vhd样本，输出结果如下：

FSM_sequential_STATE_REG_1_i_2_inst (id 5, type LUT6)  6-to-1 LUT  O: (~I0 I1 ~I2 I3 I4 ~I5) + (I0 ~I2 I3 I4 I5)FSM_sequential_STATE_REG_0_i_2_inst (id 3, type LUT6)  6-to-1 LUT  O: (I2 I3 I4 ~I5) + (I1 I2) + (I0 I1) + (I1 ~I3) + (I1 ~I4) + (I1 ~I5)FSM_sequential_STATE_REG_0_i_3_inst (id 4, type LUT6)  6-to-1 LUT  O: (~I1 ~I2 I3 ~I4 I5) + (I0 I5) + (I0 I4) + (I0 I3) + (I0 I1) + (I0 ~I2)OUTPUT_BUF_0_inst_i_1_inst (id 18, type LUT1)  1-to-1 LUT  O: (~I0)OUTPUT_BUF_1_inst_i_1_inst (id 20, type LUT2)  2-to-1 LUT  O: (~I0 I1) + (I0 ~I1)FSM_sequential_STATE_REG_1_i_3_inst (id 6, type LUT6)  6-to-1 LUT  O: (I0 I2 I4) + (~I1 I2 I4) + (I0 ~I3 I4) + (~I1 ~I3 I4) + (I0 I4 ~I5) + (~I1 I4 ~I5) + (I2 I5) + (I2 I3) + (I1 I5) + (I1 I3) + (I0 I1) + (~I0 I5) + (~I0 I3) + (~I0 ~I1) + (I1 ~I2) + (~I0 ~I2) + (~I3 I5) + (~I2 ~I3) + (~I4 I5) + (I3 ~I4) + (I1 ~I4)

参考引用

如果你需要在学校或在学术研究条件下使用HAL，请使用下列引用方式来标记并使用该框架：

@misc{hal,    author = {{EmSec Chair for Embedded Security}},    publisher = {{Ruhr University Bochum}},    title = {{HAL - The Hardware Analyzer}},    year = {2019},    howpublished = {/url{https://github.com/emsec/hal}},}

大家也可以直接引用原始论文：

@article{2018:Fyrbiak:HAL,      author    = {Marc Fyrbiak and                   Sebastian Wallat and                   Pawel Swierczynski and                   Max Hoffmann and                   Sebastian Hoppach and                   Matthias Wilhelm and                   Tobias Weidlich and                   Russell Tessier and                   Christof Paar},  title     	= {{HAL-} The Missing Piece of the Puzzle for Hardware Reverse Engineering,               	  Trojan Detection and Insertion},  journal	= {IEEE Transactions on Dependable and Secure Computing},  year	= {2018},  publisher	= {IEEE},  howpublished = {/url{https://github.com/emsec/hal}}}

许可证协议

HAL的开发与发布遵循MIT开源许可证协议。

以上是“HAL是一款什么工具”这篇文章的所有内容，感谢各位的阅读！相信大家都有了一定的了解，希望分享的内容对大家有所帮助，如果还想学习更多知识，欢迎关注亿速云行业资讯频道！