lisa

lisa copied to clipboard

**Description** Partial (or incremental) analyses should fit into LiSA capabilities. (probably blocked by #121)

lucaneg

**Description** Make the fix-point algorithm parametric with loop unrolling.

lucaneg

**Description** IMP should be equipped with a concrete interpreter and a "collecting" one, that help showcasing the differences between concrete and abstract world and why it isn't possible to just...

lucaneg

**Description** Implement an interprocedural analysis that computes the fixpoint over a unique interprocedural CFG instead of many CFGs (see https://dl.acm.org/doi/pdf/10.1145/2259051.2259052 page 3)

lucaneg

**Description** Automatically select the abstract state starting from the requirements of the selected semantic checks.

lucaneg

**Description** The smashed sum abstract domain takes ```n > 2``` abstract domains and compose them smashing their bottom elements and creating a new single bottom element. Top elements are not...

VincenzoArceri

**Description** Execution of syntactic checks should exploit the low resource consumption that is typical of these checks to reduce the overall execution time. **Motivation** It is reasonable to assume that...

lucaneg

**Description** There should be an option to dump the JSON report in the [SARIF](https://docs.oasis-open.org/sarif/sarif/v2.0/sarif-v2.0.html) format. It should also be considered as the default report format.

lucaneg