Packages tagged static-analysis

8 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
ShellCheck2972.0Shell script analysis tool (gpl, library, program, static-analysis)2020-04-05koala_man, vidarhol
argon190.0Measure your code's complexity (development, static-analysis)2016-02-10rubik, dnadales
ethereum-analyzer190.0A Ethereum contract analyzer. (apache, ethereum, library, static-analysis)2017-12-25zchn
ethereum-analyzer-cli170.0A CLI frontend for ethereum-analyzer. (apache, cli, ethereum, library, program, static-analysis)2017-12-25zchn
ethereum-analyzer-deps150.0Stripped dependencies of ethereum-analyzer. (apache, ethereum, library, static-analysis)2017-12-25zchn
ethereum-analyzer-webui180.0A web frontend for ethereum-analyzer (apache, ethereum, library, program, static-analysis, web)2017-12-25zchn
maam50.0Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers (bsd3, library, program, static-analysis)2015-10-27DavidDarais
stan242.0Haskell STatic ANalyser (library, mpl, program, static-analysis)2020-07-09shersh, vrom911