Группа библиотек: com.github.unive-ssv

LiSA (lisa-sdk)

com.github.unive-ssv : lisa-sdk

A library for static analysis

Последняя версия: 0.1b5

Дата: 21 февр. 2022 г.

com.github.unive-ssv : lisa-core

A library for static analysis

Последняя версия: 0.1b5

Дата: 21 февр. 2022 г.

com.github.unive-ssv : lisa-imp

A library for static analysis

Последняя версия: 0.1b5

Дата: 21 февр. 2022 г.

com.github.unive-ssv : pylisa

Python frontend for LiSA

Последняя версия: 0.1a1

Дата: 22 февр. 2022 г.

com.github.unive-ssv : lisa

A library for static analysis

Последняя версия: 0.1b1

Дата: 25 авг. 2021 г.

com.github.unive-ssv : tarsis

Tarsis abstract domain for string values

Последняя версия: 1.0

Дата: 23 янв. 2021 г.