-
Notifications
You must be signed in to change notification settings - Fork 36
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
[BUG] NativeCall semantics not using the state obtained after a call to
prepare🐛 type:bugSomething isn't workingSomething isn't workingStatus: Open.#370 In lisa-analyzer/lisa;[FEATURE REQUEST] Make
WholeValueAnalysisand its infrastructure generally available⁉ priority:p2Priority planning - level 2Priority planning - level 2🎆 type:featureNew feature or requestNew feature or request🔍 scope:analysisWork regarding abstract domains or fixpoint algorithmsWork regarding abstract domains or fixpoint algorithmsStatus: Open.[FEATURE REQUEST] Serialization support for internal LISA classes
❗ priority:p3Priority planning - level 3Priority planning - level 3🎆 type:featureNew feature or requestNew feature or request🏛 scope:program-structureWork regarding the program structureWork regarding the program structure🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSAWork regarding the general infrastructure and functioning of LiSAStatus: Open.#343 In lisa-analyzer/lisa;[FEATURE REQUEST] Track namespaces during the analysis
❗ priority:p3Priority planning - level 3Priority planning - level 3🎆 type:featureNew feature or requestNew feature or request🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSAWork regarding the general infrastructure and functioning of LiSA🔍 scope:analysisWork regarding abstract domains or fixpoint algorithmsWork regarding abstract domains or fixpoint algorithmsStatus: Open.[FEATURE REQUEST] Implement hash-consing and tree-baseed environments with aliasing
⁉ priority:p2Priority planning - level 2Priority planning - level 2🎆 type:featureNew feature or requestNew feature or request🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSAWork regarding the general infrastructure and functioning of LiSA🔍 scope:analysisWork regarding abstract domains or fixpoint algorithmsWork regarding abstract domains or fixpoint algorithmsStatus: Open.[FEATURE REQUEST] Test utilities
⁉ priority:p2Priority planning - level 2Priority planning - level 2🎆 type:featureNew feature or requestNew feature or request🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSAWork regarding the general infrastructure and functioning of LiSAStatus: Open.[FEATURE REQUEST] IMPv2
⁉ priority:p2Priority planning - level 2Priority planning - level 2🎆 type:featureNew feature or requestNew feature or request🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSAWork regarding the general infrastructure and functioning of LiSAStatus: Open.#312 In lisa-analyzer/lisa;[FEATURE REQUEST] Web report
⁉ priority:p2Priority planning - level 2Priority planning - level 2🎆 type:featureNew feature or requestNew feature or request🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSAWork regarding the general infrastructure and functioning of LiSAStatus: Open.#310 In lisa-analyzer/lisa;[FEATURE REQUEST] Timeout handling
❕ priority:p4Priority planning - level 4Priority planning - level 4🎆 type:featureNew feature or requestNew feature or request🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSAWork regarding the general infrastructure and functioning of LiSAStatus: Open.#309 In lisa-analyzer/lisa;[FEATURE REQUEST] Backward analysis (final version)
❗ priority:p3Priority planning - level 3Priority planning - level 3🎆 type:featureNew feature or requestNew feature or request🔍 scope:analysisWork regarding abstract domains or fixpoint algorithmsWork regarding abstract domains or fixpoint algorithmsStatus: Open.#292 In lisa-analyzer/lisa;[FEATURE REQUEST] Support for variadic functions
‼ priority:p1Priority planning - level 1Priority planning - level 1🌍 scope:interprocWork regarding interprocedural analyses or call graphsWork regarding interprocedural analyses or call graphs🎆 type:featureNew feature or requestNew feature or request🏛 scope:program-structureWork regarding the program structureWork regarding the program structureStatus: Open.#283 In lisa-analyzer/lisa;[FEATURE REQUEST] Centralize type inference
‼ priority:p1Priority planning - level 1Priority planning - level 1🔍 scope:analysisWork regarding abstract domains or fixpoint algorithmsWork regarding abstract domains or fixpoint algorithms🛠 type:refactoringRefactoring of the codebaseRefactoring of the codebaseStatus: Open.#281 In lisa-analyzer/lisa;