Analyze DTE Diagrams

DTEvisual is able to carry out the following queries:

what is the type of a file
what files can be accessed by a certain file
from which domains a file can be executed
what domains can a file access with a certain permission
whether is a file able to access another file with a certain permission
are there files without any type assigned
are there files which cannot be accessed with a certain permission

In order to run a query, users need to first bring up the query window either by right-clicking in the empty area of the display widget or going to the View menu. After all the required inputs for a query has been given, the query is executed by hitting the Run button, and the results shows up in the query output.

Query Window

Uers can enable/disable or change the speed of the real-time animation of how a query is done from the Settings menu. They can also pause/resume by clicking

in the toolbar. The pause/resume button is only enabled after the animation fires up. It is also possible to re-run a query quickly by double-clicking the query line (a line which contains '[query x]') in the output box. The animation of the query 'which files can be accessed by /usr/bin/lp' is shown below.

Determine the type of '/usr/bin/lp', which is 'binaries_t'

Find the domains that have executable permissions (x) on 'binaries_t'

Find all types the domains found in previous step can access

List all the files whose types are among the types found in the previous step