Repositories list

• lisa

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

  javaanalysisstatic-analysis+ 8analyzercybersecurityformal-methodslisastatic-analyzerprogram-verificationstatic-analyzers+ 1

  Java

  •

  MIT License

  •34•61•32•2•Updated Jun 10, 2025Jun 10, 2025

• evm-lisa

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

  static-analysisethereumsmart-contracts+ 4control-flow-graphcfgabstract-interpretationevm-bytecode

  Solidity

  •

  MIT License

  •2•27•2•0•Updated May 28, 2025May 28, 2025

• go-lisa

  Public
  Golang frontend for LiSA

  gogolangstatic-analysis+ 8dappsmart-contractshyperledger-fabricabstract-interpretationdappssmart-contractcosmos-sdk+ 1

  Java

  •

  MIT License

  •4•6•5•0•Updated May 23, 2025May 23, 2025

• reg-lisa

  Public
  REGLiSA: a static analyzer for regular commands

  static-analysisprogram-analysisabstract-interpretation+ 1regular-commands

  Java

  •0•3•0•0•Updated Apr 26, 2025Apr 26, 2025

• lisa-tutorial

  Public
  Code for tutorials on the LiSA static analysis library

  Java

  •

  MIT License

  •17•0•0•1•Updated Mar 28, 2025Mar 28, 2025

• pylisa

  Public
  Python frontend for LiSA

  Jupyter Notebook

  •

  MIT License

  •4•6•0•0•Updated Sep 26, 2024Sep 26, 2024

• lisa4ros2

  Public
  securityanalysisstatic-analysis+ 6ddsaccess-controlros2security-automationrclpysoftware-validation

  Java

  •

  MIT License

  •0•2•0•0•Updated Aug 15, 2024Aug 15, 2024

• lisa4ros2-fe

  Public
  HTML

  •0•1•0•0•Updated Jul 13, 2024Jul 13, 2024

• michelson-lisa

  Public
  Michelson frontend for LiSA

  static-analysissmart-contractsblockchain+ 3abstract-interpretationtezosmichelson

  Java

  •

  MIT License

  •0•1•0•0•Updated Oct 27, 2023Oct 27, 2023

• lisa-analyzer.github.io

  Public
  LiSA's analyzer website

  SCSS

  •

  MIT License

  •0•0•0•0•Updated Sep 28, 2023Sep 28, 2023

• rust-lisa

  Public
  Rust frontend for LiSA

  Java

  •

  MIT License

  •0•3•20•0•Updated Apr 26, 2023Apr 26, 2023

• lisa-joycar-example

  Public
  Multi language taint analysis with 📚LiSA

  static-analysismultilanguageabstract-interpretation

  Java

  •1•3•0•0•Updated Apr 26, 2023Apr 26, 2023

• .github

  Public
  0•0•0•0•Updated Dec 9, 2022Dec 9, 2022