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
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
ShellCheck2312.04Shell script analysis tool (gpl, library, program, static-analysis)2022-12-130.9.0koala_man, vidarhol
argon280.00Measure your code's complexity (development, static-analysis)2016-02-100.4.1.0rubik, dnadales
ethereum-analyzer310.02A Ethereum contract analyzer. (apache, ethereum, library, static-analysis)2017-12-253.3.4zchn
ethereum-analyzer-cli320.00A CLI frontend for ethereum-analyzer. (apache, cli, ethereum, library, program, static-analysis)2017-12-253.3.4zchn
ethereum-analyzer-deps290.03Stripped dependencies of ethereum-analyzer. (apache, ethereum, library, static-analysis)2017-12-253.3.4zchn
ethereum-analyzer-webui230.00A web frontend for ethereum-analyzer (apache, ethereum, library, program, static-analysis, web)2017-12-253.3.4zchn
maam60.01Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers (bsd3, library, program, static-analysis)2015-10-270.3.0.0DavidDarais
stan512.01Haskell STatic ANalyser (library, mpl, program, static-analysis)2020-07-090.0.1.0shersh, vrom911