Repositories list

• unive-ssv.github.io

  Public
  UniVE SSV Research Group Website

  SCSS

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• GhidraMetricsToolkit

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• Smart-Contract-Termination-in-Blockchain-Systems-Artifact

  Public
  Dockerfile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 17, 2026Feb 17, 2026

• CyberGraph

  Public
  Python

  •11 fork•22 stars•00 issues•00 pull requests•Updated Jan 16, 2026Jan 16, 2026

• Smart-Contract-Weaknesses---Interview

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Apr 15, 2025Apr 15, 2025

• SoftwareArchitectures24

  Public
  SCSS

  •

  MIT License

  •00 forks•00 stars•33 issues•00 pull requests•Updated Dec 3, 2024Dec 3, 2024

• SoftwareArchitecture

  Public
  SCSS

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 29, 2024Aug 29, 2024

• tarsis

  Public
  ⚒ Implementation of the Tarsis abstract domain

  static-analysisautomatonabstract-interpretation+ 2

  static-analysisautomatonabstract-interpretationabstract-domainstring-analysis

  Java

  •

  MIT License

  •00 forks•33 stars•00 issues•00 pull requests•Updated Aug 25, 2023Aug 25, 2023

• lisa-joycar-example

  Public archive
  Multi language taint analysis with 📚LiSA

  Java

  •11 fork•00 stars•00 issues•00 pull requests•Updated Nov 10, 2022Nov 10, 2022

• go-lisa

  Public archive
  Golang frontend for LiSA - Original repository at https://github.com/lisa-analyzer/go-lisa

  Java

  •

  MIT License

  •44 forks•00 stars•00 issues•00 pull requests•Updated Oct 14, 2022Oct 14, 2022

• lisa

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

  Java

  •

  MIT License

  •3636 forks•00 stars•00 issues•00 pull requests•Updated Oct 14, 2022Oct 14, 2022

• pylisa

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

  Jupyter Notebook

  •

  MIT License

  •44 forks•00 stars•00 issues•00 pull requests•Updated Oct 14, 2022Oct 14, 2022

• pylisaplugin

  Public
  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 3, 2022Aug 3, 2022

• rsubs

  Public
  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 11, 2020Oct 11, 2020