Skip to content
This repository has been archived by the owner on Jun 18, 2018. It is now read-only.

apol: clear browser tab if switching back to path-based analysis #153

Open
pebenito opened this issue Jun 10, 2016 · 0 comments
Open

apol: clear browser tab if switching back to path-based analysis #153

pebenito opened this issue Jun 10, 2016 · 0 comments
Labels
bug GUI
Milestone
Future

Comments

@pebenito
Copy link
Contributor

Both for DTA and infoflow, if you run an in or out analysis (e.g. transitions out of a domain), and have results in the browser, they are not cleared if you change and run a path-based analysis.
@pebenito pebenito added this to the Future milestone Jun 10, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug GUI
Projects
None yet
Milestone
Future
Development

No branches or pull requests
1 participant
@pebenito