Skip to content

Actions: lisa-analyzer/lisa

Actions

Label closed issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
closed-issues.yml
16 workflow runs
16 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
[FEATURE REQUEST] Location-based working set for fixpoints Label closed issues #110: Issue #316 closed by lucaneg
August 9, 2024 14:07 15s
August 9, 2024 14:07 15s
[BUG] Expression visiting is missing a generic expression callback Label closed issues #109: Issue #313 closed by lucaneg
August 1, 2024 13:10 12s
August 1, 2024 13:10 12s
[BUG] Heap analyses should react to type conversions and castings Label closed issues #108: Issue #300 closed by lucaneg
August 1, 2024 13:10 14s
August 1, 2024 13:10 14s
[BUG] Missing HTML support files when no analysis is executed Label closed issues #107: Issue #302 closed by lucaneg
December 12, 2023 16:08 13s
December 12, 2023 16:08 13s
[FEATURE REQUEST] Restore Statement.compareTo() Label closed issues #106: Issue #298 closed by lucaneg
December 7, 2023 10:29 12s
December 7, 2023 10:29 12s
[FEATURE REQUEST] Remove offset from CodeNode Label closed issues #105: Issue #296 closed by lucaneg
December 5, 2023 15:38 14s
December 5, 2023 15:38 14s
[BUG] FieldSensitivePointBasedHeap creation methods Label closed issues #104: Issue #293 closed by VincenzoArceri
October 27, 2023 12:53 15s
October 27, 2023 12:53 15s
[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions Label closed issues #103: Issue #291 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[FEATURE REQUEST] Customizable initialization of entrypoints parameters Label closed issues #102: Issue #280 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[FEATURE REQUEST] Backward analysis (beta) Label closed issues #101: Issue #120 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[FEATURE REQUEST] Transform SymbolAliasing to a generic map Label closed issues #100: Issue #287 closed by lucaneg
October 9, 2023 14:03 17s
October 9, 2023 14:03 17s
[FEATURE REQUEST] Customizable defaults for environments Label closed issues #99: Issue #279 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[FEATURE REQUEST] Add support for arraylength in IMP Label closed issues #98: Issue #288 closed by lucaneg
October 9, 2023 14:03 12s
October 9, 2023 14:03 12s
[BUG] Annotations are not propagated to heap identifiers Label closed issues #97: Issue #286 closed by lucaneg
October 9, 2023 14:03 13s
October 9, 2023 14:03 13s
[BUG] Review assignment rules Label closed issues #96: Issue #284 closed by lucaneg
October 9, 2023 14:03 17s
October 9, 2023 14:03 17s
[BUG] AnalysisSetupException: No registered default for different default interface Label closed issues #95: Issue #268 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s