⚡ Check outLiSA!

PinnedLoading

1. lisa-analyzer/evm-lisalisa-analyzer/evm-lisaPublic

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

   Solidity 27 1

2. lisa-analyzer/lisalisa-analyzer/lisaPublic

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

   Java 55 34

3. lisa-analyzer/go-lisalisa-analyzer/go-lisaPublic

   Golang frontend for LiSA

   Java 6 4

4. python-viruspython-virusPublic

   Simple polymorphic virus written in Python for the "Malware analysis and Design" Master course in University of Verona

   Python 34 19

5. bash-virusbash-virusPublic

   A simple bash virus (without payload) for the second assignment of the "Malware analysis and design" course in Master Degree in Computer Science in University of Verona

   Shell 11 7

6. SPY-Lab/fsaSPY-Lab/fsaPublic

   Finite state automata library for abstract interpretation

   Java