LiSA Analyzer

All

12 repositories

evm-lisa
Public
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
static-analysis ethereum smart-contracts control-flow-graph cfg abstract-interpretation evm-bytecode
Java
•
MIT License
•0•22•3•1•Updated Dec 29, 2024Dec 29, 2024
lisa-tutorial
Public
Code for tutorials on the LiSA static analysis library
Java
•
MIT License
•0•0•0•0•Updated Nov 25, 2024Nov 25, 2024
go-lisa
Public
Golang frontend for LiSA
go golang static-analysis dapp smart-contracts hyperledger-fabric abstract-interpretation dapps smart-contract cosmos-sdk
Java
•
MIT License
•3•5•5•0•Updated Nov 19, 2024Nov 19, 2024
lisa
Public
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
java analysis static-analysis analyzer cybersecurity formal-methods lisa static-analyzer program-verification static-analyzers
Java
•
MIT License
•32•52•30•2•Updated Oct 24, 2024Oct 24, 2024
pylisa
Public
Python frontend for LiSA
Jupyter Notebook
•
MIT License
•4•6•0•0•Updated Sep 26, 2024Sep 26, 2024
lisa4ros2
Public
security analysis static-analysis dds access-control ros2 security-automation rclpy software-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-analysis smart-contracts blockchain abstract-interpretation tezos michelson
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-analysis multilanguage abstract-interpretation
Java
•1•3•0•0•Updated Apr 26, 2023Apr 26, 2023
.github
Public
0•0•0•0•Updated Dec 9, 2022Dec 9, 2022