Project Group: com.github.unive-ssv

LiSA (lisa-sdk)

com.github.unive-ssv : lisa-sdk

A library for static analysis

Last Version: 0.1b5

Release Date: Feb 21, 2022

com.github.unive-ssv : lisa-core

A library for static analysis

Last Version: 0.1b5

Release Date: Feb 21, 2022

com.github.unive-ssv : lisa-imp

A library for static analysis

Last Version: 0.1b5

Release Date: Feb 21, 2022

com.github.unive-ssv : pylisa

Python frontend for LiSA

Last Version: 0.1a1

Release Date: Feb 22, 2022

com.github.unive-ssv : lisa

A library for static analysis

Last Version: 0.1b1

Release Date: Aug 25, 2021

com.github.unive-ssv : tarsis

Tarsis abstract domain for string values

Last Version: 1.0

Release Date: Jan 23, 2021