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
ShellCheck1542.04Shell script analysis tool (gpl, library, program, static-analysis)2024-03-080.10.0koala_man, vidarhol
argon142.00Measure your code's complexity (development, static-analysis)2024-10-280.4.2.0rubik, dnadales
ethereum-analyzer120.02A Ethereum contract analyzer. (apache, ethereum, library, static-analysis)2017-12-253.3.4zchn
ethereum-analyzer-cli20.00A CLI frontend for ethereum-analyzer. (apache, cli, ethereum, library, program, static-analysis)2017-12-253.3.4zchn
ethereum-analyzer-deps60.03Stripped dependencies of ethereum-analyzer. (apache, ethereum, library, static-analysis)2017-12-253.3.4zchn
ethereum-analyzer-webui00.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
stan1402.01Haskell STatic ANalyser (library, mpl, program, static-analysis)2024-06-010.1.3.0tomjaguarpaw, vrom911