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
Last U/L
Maintainer
ShellCheck2312.0Shell script analysis tool (gpl, library, program, static-analysis)2018-12-03koala_man, vidarhol
argon240.0Measure your code's complexity (development, static-analysis)2016-02-10rubik, dnadales
ethereum-analyzer410.0A Ethereum contract analyzer. (apache, ethereum, library, static-analysis)2017-12-25zchn
ethereum-analyzer-cli330.0A CLI frontend for ethereum-analyzer. (apache, cli, ethereum, library, program, static-analysis)2017-12-25zchn
ethereum-analyzer-deps320.0Stripped dependencies of ethereum-analyzer. (apache, ethereum, library, static-analysis)2017-12-25zchn
ethereum-analyzer-webui340.0A web frontend for ethereum-analyzer (apache, ethereum, library, program, static-analysis, web)2017-12-25zchn
maam170.0Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers (bsd3, library, program, static-analysis)2015-10-27DavidDarais