Commit Graph

6 Commits

Author SHA1 Message Date
Chris PeBenito
05776e12c8 DirectedGraphResultTab: Add tree browser.
This is for direct analyses.

Signed-off-by: Chris PeBenito <chpebeni@linux.microsoft.com>
2024-03-20 08:19:06 -04:00
Chris PeBenito
178473dd22 InfoFlowAnalysisTab/DomainTransitionAnalysisTab: Add help button.
Load text from existing DTA and infoflow html pages.

Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
d0a47f7fc3 InfoFlowMode/DTAMode: Set depth to 1 for modes other than AllPaths.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
f3e348efc5 cli/gui: Revise for depth_limit change.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
07fc550668 InfoFlowAnalysis/DomainTransitionAnalysis: Change edge methods to BFS.
Revise infoflow in/out and transitions in/out to use the breadth-first-
search algorithm instead of in/out edges functions.  Revise the limit for
AllPaths steps to general depth limit set to 1 step.  This allows the
default in/out to return the expected depth of 1; all paths will presumably
set the depth limit in all cases anyway.  Then callers will be able to
generate a infoflow/dta tree using a depth_limit > 1.

Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
b83cafc1d8 Add new DomainTransitionAnalysisTab implementation.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00