Skip to content

Actions: lisa-analyzer/lisa

Actions

Import created issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
created-issues.yml
13 workflow runs
13 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
[BUG] Missing HTML support files when no analysis is executed Import created issues #128: Issue #302 opened by lucaneg
December 12, 2023 15:11 12s
December 12, 2023 15:11 12s
[FEATURE REQUEST] Parametrize scoping logic around calls Import created issues #127: Issue #301 opened by lucaneg
December 11, 2023 13:30 13s
December 11, 2023 13:30 13s
[BUG] Heap analyses should react to type conversions and castings Import created issues #126: Issue #300 opened by lucaneg
December 11, 2023 13:28 15s
December 11, 2023 13:28 15s
[FEATURE REQUEST] Restore Statement.compareTo() Import created issues #125: Issue #298 opened by lucaneg
December 7, 2023 10:25 15s
December 7, 2023 10:25 15s
[FEATURE REQUEST] Remove offset from CodeNode Import created issues #124: Issue #296 opened by lucaneg
December 4, 2023 17:09 16s
December 4, 2023 17:09 16s
[BUG] FieldSensitivePointBasedHeap creation methods Import created issues #123: Issue #293 opened by lucaneg
October 16, 2023 13:59 18s
October 16, 2023 13:59 18s
[FEATURE REQUEST] Backward analysis (final version) Import created issues #122: Issue #292 opened by lucaneg
October 6, 2023 15:25 15s
October 6, 2023 15:25 15s
[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions Import created issues #121: Issue #291 opened by lucaneg
September 21, 2023 10:55 14s
September 21, 2023 10:55 14s
[FEATURE REQUEST] Add support for arraylength in IMP Import created issues #120: Issue #288 opened by lucaneg
September 9, 2023 12:54 12s
September 9, 2023 12:54 12s
[FEATURE REQUEST] Transform SymbolAliasing to a generic map Import created issues #119: Issue #287 opened by lucaneg
September 8, 2023 13:30 16s
September 8, 2023 13:30 16s
[BUG] Annotations are not propagated to heap identifiers Import created issues #118: Issue #286 opened by VincenzoArceri
September 7, 2023 13:29 17s
September 7, 2023 13:29 17s
[BUG] Review assignment rules Import created issues #117: Issue #284 opened by lucaneg
May 19, 2023 08:32 13s
May 19, 2023 08:32 13s
[FEATURE REQUEST] Support for variadic functions Import created issues #116: Issue #283 opened by lucaneg
May 8, 2023 12:45 16s
May 8, 2023 12:45 16s