LiSA Analyzer

Organization managing and maintaining the 📚LiSA static analyzer project and its frontends

Pinned Repositories

.github
0 1 00
evm-lisa
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
Language:Java17 3 30
go-lisa
Golang frontend for LiSA
Language:Java5 5 183
lisa
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Language:Java44 6 18732
lisa-joycar-example
Multi language taint analysis with 📚LiSA
Language:Java3 3 01
lisa4ros2
Language:Java2 2 00
lisa4ros2-fe
Language:HTML10
michelson-lisa
Michelson frontend for LiSA
Language:Java1 1 00
pylisa
Python frontend for LiSA
Language:Jupyter Notebook6 7 64
rust-lisa
Rust frontend for LiSA
Language:Java3 1 260

LiSA Analyzer's Repositories

lisa-analyzer/lisa
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Language:Java44 6 18732
lisa-analyzer/evm-lisa
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
Language:Java17 3 30
lisa-analyzer/pylisa
Python frontend for LiSA
Language:Jupyter Notebook6 7 64
lisa-analyzer/go-lisa
Golang frontend for LiSA
Language:Java5 5 183
lisa-analyzer/lisa-joycar-example
Multi language taint analysis with 📚LiSA
Language:Java3 3 01
lisa-analyzer/rust-lisa
Rust frontend for LiSA
Language:Java3 1 260
lisa-analyzer/lisa4ros2
Language:Java2 2 00
lisa-analyzer/lisa4ros2-fe
Language:HTML10
lisa-analyzer/michelson-lisa
Michelson frontend for LiSA
Language:Java1 1 00
lisa-analyzer/.github
0 1 00
lisa-analyzer/lisa-analyzer.github.io
LiSA's analyzer website
Language:SCSS0 2 00