SSV @ Ca' Foscari

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

Pinned Repositories

go-lisa
Golang frontend for LiSA - Original repository at https://github.com/lisa-analyzer/go-lisa
Language:Java0 0 00
lisa
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis - Original repository at https://github.com/lisa-analyzer/lisa
Language:Java0 0 00
lisa-joycar-example
Multi language taint analysis with 📚LiSA
Language:Java0 0 00
pylisa
Python frontend for LiSA - Original repository at https://github.com/lisa-analyzer/pylisa
Language:Jupyter Notebook0 0 00
pylisaplugin
Language:Jupyter Notebook0 2 00
rsubs
Language:Java00
SoftwareArchitecture
Language:SCSS00
SoftwareArchitectures24
Language:SCSS00
tarsis
⚒ Implementation of the Tarsis abstract domain
Language:Java3 4 20
unive-ssv.github.io
UniVE SSV Research Group Website
Language:SCSS01

SSV @ Ca' Foscari's Repositories

UniVE-SSV/tarsis
⚒ Implementation of the Tarsis abstract domain
Language:Java3 4 20
UniVE-SSV/go-lisa
Golang frontend for LiSA - Original repository at https://github.com/lisa-analyzer/go-lisa
Language:Java0 0 00
UniVE-SSV/lisa
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis - Original repository at https://github.com/lisa-analyzer/lisa
Language:Java0 0 00
UniVE-SSV/lisa-joycar-example
Multi language taint analysis with 📚LiSA
Language:Java0 0 00
UniVE-SSV/pylisa
Python frontend for LiSA - Original repository at https://github.com/lisa-analyzer/pylisa
Language:Jupyter Notebook0 0 00
UniVE-SSV/pylisaplugin
Language:Jupyter Notebook0 2 00
UniVE-SSV/rsubs
Language:Java00
UniVE-SSV/SoftwareArchitecture
Language:SCSS00
UniVE-SSV/SoftwareArchitectures24
Language:SCSS00
UniVE-SSV/unive-ssv.github.io
UniVE SSV Research Group Website
Language:SCSS01