Skip to content

Issues: lisa-analyzer/lisa

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

27 Open 160 Closed
27 Open 160 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[FEATURE REQUEST] Parametrize scoping logic around calls ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🎆 type:feature New feature or request
#301 opened Dec 11, 2023 by lucaneg 0.2
@lucaneg
[BUG] Heap analyses should react to type conversions and castings ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🐛 type:bug Something isn't working
#300 opened Dec 11, 2023 by lucaneg 0.1
@lucaneg
[FEATURE REQUEST] Backward analysis (final version) ❗ priority:p3 Priority planning - level 3 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
#292 opened Oct 6, 2023 by lucaneg
@lucaneg
[FEATURE REQUEST] Support for variadic functions ‼ priority:p1 Priority planning - level 1 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
#283 opened May 8, 2023 by lucaneg 0.2
@lucaneg
[FEATURE REQUEST] Centralize type inference ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🛠 type:refactoring Refactoring of the codebase
#281 opened Mar 20, 2023 by lucaneg 0.2
@lucaneg
[FEATURE REQUEST] Dynamic program structure 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
#258 opened Dec 12, 2022 by lucaneg
@lucaneg
[FEATURE REQUEST] Analysis phases ❗ priority:p3 Priority planning - level 3 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request 🛠 type:refactoring Refactoring of the codebase
#257 opened Dec 12, 2022 by lucaneg 0.3
@lucaneg
[BUG] Transferring InferenceSystem's state on returns ⁉ priority:p2 Priority planning - level 2 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🐛 type:bug Something isn't working
#256 opened Dec 12, 2022 by lucaneg 0.2
@lucaneg
[FEATURE REQUEST] Upgrade to java 17 ⚠ priority:p5 Priority planning - level 5 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🛠 type:refactoring Refactoring of the codebase
#246 opened Nov 18, 2022 by lucaneg 0.2
@lucaneg
[FEATURE REQUEST] Chaotic iteration strategies implementation ❗ priority:p3 Priority planning - level 3 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
#245 opened Nov 18, 2022 by VincenzoArceri 0.2
@VincenzoArceri @lucaneg
[FEATURE REQUEST] Intertwining widening and narrowing ❗ priority:p3 Priority planning - level 3 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
#244 opened Nov 18, 2022 by VincenzoArceri
@VincenzoArceri
[FEATURE REQUEST] Support generic types ‼ priority:p1 Priority planning - level 1 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
#241 opened Nov 14, 2022 by lucaneg 0.3
@lucaneg
[FEATURE REQUEST] SARL + porting of library models from PyLiSA ❗ priority:p3 Priority planning - level 3 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
#202 opened May 7, 2022 by lucaneg 0.3
@lucaneg
[FEATURE REQUEST] Documentation about the available configurations ⁉ priority:p2 Priority planning - level 2 📑 scope:docs Improvements or additions to documentation
#161 opened Jan 21, 2022 by lucaneg
@lucaneg
[FEATURE REQUEST] Support execution-terminating statements ⁉ priority:p2 Priority planning - level 2 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
#141 opened Oct 29, 2021 by lucaneg 0.2
[FEATURE REQUEST] SARIF report ❕ priority:p4 Priority planning - level 4 🎆 type:feature New feature or request
#133 opened Sep 30, 2021 by lucaneg
[FEATURE REQUEST] Pointer arithmetic ⁉ priority:p2 Priority planning - level 2 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
#127 opened Sep 27, 2021 by lucaneg 0.2
@lucaneg
[FEATURE REQUEST] Error tokens ⁉ priority:p2 Priority planning - level 2 🔍 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:feature New feature or request
#126 opened Sep 27, 2021 by lucaneg 0.2
[FEATURE REQUEST] Exception/error handlers ⁉ priority:p2 Priority planning - level 2 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
#125 opened Sep 27, 2021 by lucaneg 0.2
[FEATURE REQUEST] External instances as mockups ❗ priority:p3 Priority planning - level 3 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
#124 opened Sep 27, 2021 by lucaneg
[FEATURE REQUEST] Determine abstract state from semantic checks ❗ priority:p3 Priority planning - level 3 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
#123 opened Sep 27, 2021 by lucaneg
[FEATURE REQUEST] Interprocedural analysis as a fixpoint over a call-cfg ⚠ priority:p5 Priority planning - level 5 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🎆 type:feature New feature or request
#119 opened Sep 27, 2021 by lucaneg
[FEATURE REQUEST] IMP concrete/collecting interpreter ❕ priority:p4 Priority planning - level 4 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
#118 opened Sep 27, 2021 by lucaneg
[FEATURE REQUEST] Parametric fixpoint with loop unrolling ⚠ priority:p5 Priority planning - level 5 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
#116 opened Sep 27, 2021 by lucaneg
[FEATURE REQUEST] Partial analyses ⚠ priority:p5 Priority planning - level 5 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
#115 opened Sep 27, 2021 by lucaneg
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.