📄 unravel.help
字号:
Main Control Panel Help Welcome to unravel Unravel is a software analysis tool for extracting source programstatements relevant to a computation. The computation is defined asthe state of some program variable at some statement in the program. This is the main control window for unravel. Before a slice can becomputed, the source files must be examined (analyzed) to build thedata structures needed to compute a program slice. The main panel has several buttons to invoke each part of unravel,review results and ask to see this help file. The main panel alsodisplays the analysis status of each source file in the current directory. A typical unravel session would require the following:(1) Preparation -- Load the source files into a directory(2) Run the unravel program -- This brings up the main control window(3) Run the Analyzer -- Push the Run Analyzer button. This brings upthe analyzer panel where the files to analyze are selected. From theanalyzer panel, the button Analyze Selected Files will run theanalyzer on the selected files. This builds data structures andsupport files needed to perform slicing. If any source does notcontain ANSI C unravel cannot analyze that file. (4) Review analysis results -- Examine the analysis results by pushingthe REVIEW HISTORY button and selecting Last Analysis from the menu.This brings up the results of the last run of the analyzer.(5) Run the Slicer -- Push the Run Slicer button. This brings up theslicer panel. From this panel you can calculate slices on the sourceprograms.Version: @(#)unravel.help 1.2 9/23/94
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -