Home » com.github » unive-ssv

Group: GitHub Unive SSV
Sort by:Popular▼

1. LiSA (lisa Sdk)2 usages

com.github.unive-ssv » lisa-sdkMIT

A library for static analysis
Last Release on Feb 21, 2022

2. LiSA (lisa Core)1 usages

com.github.unive-ssv » lisa-coreMIT

A library for static analysis
Last Release on Feb 21, 2022

3. Tarsis

com.github.unive-ssv » tarsisMIT

Tarsis abstract domain for string values
Last Release on Jan 23, 2021

4. LiSA (lisa Imp)

com.github.unive-ssv » lisa-impMIT

A library for static analysis
Last Release on Feb 21, 2022

5. LiSA

com.github.unive-ssv » lisaMIT

A library for static analysis
Last Release on Aug 25, 2021

6. PyLiSA (pylisa)

com.github.unive-ssv » pylisaMIT

Python frontend for LiSA
Last Release on Feb 23, 2022