Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[BUG] Missing HTML support files when no analysis is executed #302

Closed
lucaneg opened this issue Dec 12, 2023 · 0 comments · Fixed by #303
Closed

[BUG] Missing HTML support files when no analysis is executed #302

lucaneg opened this issue Dec 12, 2023 · 0 comments · Fixed by #303
Assignees
@lucaneg
Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🐛 type:bug Something isn't working
Milestone
0.1

Comments

@lucaneg
Copy link
Member

lucaneg commented Dec 12, 2023

Description
When the analysis is skipped (i.e., no interprocedural analysis or abstract state set), the execution ends without properly dumping support files (e.g., scripts for the html visualization tool).
@lucaneg lucaneg added 🐛 type:bug Something isn't working ‼ priority:p1 Priority planning - level 1 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA labels Dec 12, 2023
@lucaneg lucaneg added this to the 0.1 milestone Dec 12, 2023
@lucaneg lucaneg self-assigned this Dec 12, 2023
@lucaneg lucaneg added this to LiSA Dec 12, 2023
@lucaneg lucaneg moved this to Backlog in LiSA Dec 12, 2023
@lucaneg lucaneg moved this from Backlog to In Progress in LiSA Dec 12, 2023
lucaneg added a commit that referenced this issue Dec 12, 2023
@lucaneg
Unconditionally dump support files #302
0c59c3d
@lucaneg lucaneg mentioned this issue Dec 12, 2023
Merged
@github-project-automation github-project-automation bot moved this from In Progress to Merged in LiSA Dec 12, 2023
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Dec 12, 2023
@lucaneg lucaneg moved this from Merged to Done in LiSA Dec 12, 2023
@lucaneg lucaneg moved this from Done to Merged in LiSA Mar 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucaneg lucaneg

Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🐛 type:bug Something isn't working
Projects
LiSA
Archived in project
Milestone
0.1
Development

Successfully merging a pull request may close this issue.

Unconditionally dump support files lisa-analyzer/lisa
1 participant
@lucaneg