Skip to content
@UniVE-SSV

SSV @ Ca' Foscari

Software and System Verification group @ Ca' Foscari University of Venice, Italy

Popular repositories Loading

  1. tarsis tarsis Public

    ⚒ Implementation of the Tarsis abstract domain

    Java 3

  2. rsubs rsubs Public

    Java

  3. pylisaplugin pylisaplugin Public

    Jupyter Notebook

  4. pylisa pylisa Public archive

    Forked from lisa-analyzer/pylisa

    Python frontend for LiSA - Original repository at https://github.com/lisa-analyzer/pylisa

    Jupyter Notebook

  5. lisa lisa Public archive

    Forked from lisa-analyzer/lisa

    📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis - Original repository at https://github.com/lisa-analyzer/lisa

    Java

  6. lisa-joycar-example lisa-joycar-example Public archive

    Forked from lisa-analyzer/lisa-joycar-example

    Multi language taint analysis with 📚LiSA

    Java

Repositories

Showing 10 of 10 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…