Packages tagged static-analysis

8 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (7), program (5), apache (4), ethereum (4), agpl (1), bsd3 (1), cli (1), development (1), gpl (1), mpl (1), web (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
ShellCheck3062.0Shell script analysis tool (agpl, gpl, library, program, static-analysis)2021-11-07koala_man, vidarhol
argon220.0Measure your code's complexity (development, static-analysis)2016-02-10rubik, dnadales
ethereum-analyzer380.0A Ethereum contract analyzer. (apache, ethereum, library, static-analysis)2017-12-25zchn
ethereum-analyzer-cli530.0A CLI frontend for ethereum-analyzer. (apache, cli, ethereum, library, program, static-analysis)2017-12-25zchn
ethereum-analyzer-deps290.0Stripped dependencies of ethereum-analyzer. (apache, ethereum, library, static-analysis)2017-12-25zchn
ethereum-analyzer-webui60.0A web frontend for ethereum-analyzer (apache, ethereum, library, program, static-analysis, web)2017-12-25zchn
maam160.0Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers (bsd3, library, program, static-analysis)2015-10-27DavidDarais
stan232.0Haskell STatic ANalyser (library, mpl, program, static-analysis)2020-07-09shersh, vrom911