Skip to content

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

@lucaneg

Description

@lucaneg

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).

Metadata

Metadata

Assignees

Labels

‼ priority:p1Priority planning - level 1🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSA🐛 type:bugSomething isn't working

Type

No type

Projects

Status

Merged

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions