Pull requests: lisa-analyzer/lisa
Pull requests list
SVCOMP Features
‼ priority:p1
Priority planning - level 1
🏗 resolution:wip
Incomplete work - do not review yet
🔍 scope:analysis
Work regarding abstract domains or fixpoint algorithms
🌍 scope:interproc
Work regarding interprocedural analyses or call graphs
🏛 scope:program-structure
Work regarding the program structure
🐛 type:bug
Something isn't working
🎆 type:feature
New feature or request
#329
opened Jul 1, 2025 by
lucaneg
Loading…
Extending point-based analyses to handle pointers to primitive types
❗ priority:p3
Priority planning - level 3
🏗 resolution:wip
Incomplete work - do not review yet
🔍 scope:analysis
Work regarding abstract domains or fixpoint algorithms
#272
opened Feb 5, 2023 by
VincenzoArceri
Loading…
ProTip!
Updated in the last three days: updated:>2025-07-26.