# 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