Repositories list

• lisa

  Public
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

  javaanalysisstatic-analysis+ 8

  javaanalysisstatic-analysisanalyzercybersecurityformal-methodslisastatic-analyzerprogram-verificationstatic-analyzers+ 1

  Java

  •

  MIT License

  •3636 forks•8080 stars•2929 issues•33 pull requests•Updated Apr 25, 2026Apr 25, 2026

• reg-lisa

  Public
  REGLiSA: a static analyzer for regular commands

  static-analysisprogram-analysisabstract-interpretation+ 1

  static-analysisprogram-analysisabstract-interpretationregular-commands

  Java

  •00 forks•33 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• jlisa

  Public
  Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉

  javastatic-analysisformal-methods+ 5

  javastatic-analysisformal-methodsprogram-analysisprogram-verificationsv-compformal-verificationabstract-interpretation

  Java

  •

  MIT License

  •00 forks•2828 stars•1515 issues•33 pull requests•Updated Apr 24, 2026Apr 24, 2026

• lisa-analyzer.github.io

  Public
  LiSA's analyzer website

  TeX

  •

  MIT License

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

• go-lisa

  Public
  Golang frontend for LiSA

  gogolangstatic-analysis+ 8

  gogolangstatic-analysisdappsmart-contractsblockchainhyperledger-fabricabstract-interpretationdappssmart-contract+ 1

  Java

  •

  MIT License

  •44 forks•66 stars•55 issues•11 pull request•Updated Apr 15, 2026Apr 15, 2026

• lisa-tutorial

  Public
  Code for tutorials on the LiSA static analysis library

  Java

  •

  MIT License

  •2525 forks•00 stars•00 issues•00 pull requests•Updated Apr 2, 2026Apr 2, 2026

• sv-comp

  Public
  Python

  •

  MIT License

  •00 forks•22 stars•44 issues•11 pull request•Updated Mar 30, 2026Mar 30, 2026

• evm-lisa

  Public
  EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode

  static-analysisethereumsmart-contracts+ 4

  static-analysisethereumsmart-contractscontrol-flow-graphcfgabstract-interpretationevm-bytecode

  Solidity

  •

  MIT License

  •33 forks•3535 stars•22 issues•00 pull requests•Updated Mar 26, 2026Mar 26, 2026

• pylisa

  Public
  Python frontend for LiSA

  Jupyter Notebook

  •

  MIT License

  •44 forks•88 stars•00 issues•00 pull requests•Updated Sep 26, 2024Sep 26, 2024

• lisa4ros2

  Public
  securityanalysisstatic-analysis+ 6

  securityanalysisstatic-analysisddsaccess-controlros2security-automationrclpysoftware-validation

  Java

  •

  MIT License

  •00 forks•44 stars•00 issues•00 pull requests•Updated Aug 15, 2024Aug 15, 2024

• lisa4ros2-fe

  Public
  HTML

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 13, 2024Jul 13, 2024

• michelson-lisa

  Public
  Michelson frontend for LiSA

  static-analysissmart-contractsblockchain+ 3

  static-analysissmart-contractsblockchainabstract-interpretationtezosmichelson

  Java

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Oct 27, 2023Oct 27, 2023

• rust-lisa

  Public
  Rust frontend for LiSA

  Java

  •

  MIT License

  •00 forks•33 stars•2020 issues•00 pull requests•Updated Apr 26, 2023Apr 26, 2023

• lisa-joycar-example

  Public
  Multi language taint analysis with 📚LiSA

  static-analysismultilanguageabstract-interpretation

  static-analysismultilanguageabstract-interpretation

  Java

  •11 fork•33 stars•00 issues•00 pull requests•Updated Apr 26, 2023Apr 26, 2023

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 9, 2022Dec 9, 2022