Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions
复制标题
基于正则表达式的汇编控制流轻量级结构化可视化
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
S. Schupp
中科院分区：
文献类型：
--
作者：
Sibel Toprak;Arne Wichmann;S. Schupp
RegVIS是一个用于查看具有起始节点和结束节点的有向图的工具。它应用了一种新的可视化技术，使用正则表达式作为输入图中所有路径的元表示，结果是该图的基于包含的结构化可视化。该工具可以配置为使用Brzozowski代数方法或传递闭包方法从输入图中导出这些正则表达式。Regvis可以与二进制代码分析工具IDA（交互式反汇编器）结合使用，无论是集成的还是独立的，都可以查看汇编代码的控制流图（CFG）。由此产生的可视化，它重新结构的控制流，从而可以帮助减少程序理解的努力，被称为控制流块（CFB）。在本文中，我们介绍了regVIS的工作原理，并评估了新的CFB可视化，它产生对传统的CFG可视化在探索性的用户研究。研究表明，CFB是更好的分析和导航沿着特定的执行路径，而CFG是更好地获得整体控制流的概述。
RegVIS is a tool for viewing directed graphs with start and end nodes. It applies a new visualization technique, which uses regular expressions as a meta-representation of all the paths in an input graph, the result is a containment-based and structured visualization of that graph. The tool can be configured to derive these regular expressions from the input graph using either the Brzozowski algebraic method or the transitive closure method. Regvis can be used in combination with the binary code analysis tool IDA (Interactive Disassembler), either integrated or standalone, to view the control flow graph (CFG) of assembler code. The resulting visualization, which restructures the control flow and can thus help reduce program comprehension efforts, is called control flow blocks (CFB). In this paper, we present the workings of regVIS and evaluate the new CFB visualization it produces against the traditional CFG visualization in an explorative user study. The study suggests that the CFB is better for analyzing and navigating along specific execution paths, while the CFG is better for getting an overview of the overall control flow.