Pull requests: lisa-analyzer/lisa
Pull requests list
Whole value analysis
🏗 resolution:wip
Incomplete work - do not review yet
🔍 scope:analysis
Work regarding abstract domains or fixpoint algorithms
🎆 type:feature
New feature or request
#327
opened Jun 9, 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!
Type g p on any issue or pull request to go back to the pull request listing page.