Packages tagged static-analysis

7 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (6), apache (4), ethereum (4), program (4), bsd3 (1), cli (1), development (1), gpl (1), web (1)

Name
DLs
Rating
Description
Tags
Maintainer
ShellCheck2240.0Shell script analysis tool (gpl, library, program, static-analysis)koala_man, vidarhol
argon110.0Measure your code's complexity (development, static-analysis)rubik
ethereum-analyzer140.0A Ethereum contract analyzer. (apache, ethereum, library, static-analysis)zchn
ethereum-analyzer-cli90.0A CLI frontend for ethereum-analyzer. (apache, cli, ethereum, library, program, static-analysis)zchn
ethereum-analyzer-deps80.0Stripped dependencies of ethereum-analyzer. (apache, ethereum, library, static-analysis)zchn
ethereum-analyzer-webui80.0A web frontend for ethereum-analyzer (apache, ethereum, library, program, static-analysis, web)zchn
maam40.0Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers (bsd3, library, program, static-analysis)DavidDarais