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
ShellCheck13130.0Shell script analysis tool (gpl, library, program, static-analysis)2017-03-26koala_man, vidarhol
argon780.0Measure your code's complexity (development, static-analysis)2016-02-10rubik
ethereum-analyzer800.0A Ethereum contract analyzer. (apache, ethereum, library, static-analysis)2017-11-06zchn
ethereum-analyzer-cli680.0A CLI frontend for ethereum-analyzer. (apache, cli, ethereum, library, program, static-analysis)2017-11-06zchn
ethereum-analyzer-deps670.0Stripped dependencies of ethereum-analyzer. (apache, ethereum, library, static-analysis)2017-11-06zchn
ethereum-analyzer-webui730.0A web frontend for ethereum-analyzer (apache, ethereum, library, program, static-analysis, web)2017-11-06zchn
maam70.0Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers (bsd3, library, program, static-analysis)2015-10-27DavidDarais