Packages tagged static-analysis
8 packages have this tag.
[Merge tag] (trustees only)Related tags: library (7), program (5), apache (4), ethereum (4), agpl (1), bsd3 (1), cli (1), development (1), gpl (1), mpl (1), web (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
ShellCheck | 306 | 2.0 | Shell script analysis tool | (agpl, gpl, library, program, static-analysis) | 2021-11-07 | koala_man, vidarhol |
argon | 22 | 0.0 | Measure your code's complexity | (development, static-analysis) | 2016-02-10 | rubik, dnadales |
ethereum-analyzer | 38 | 0.0 | A Ethereum contract analyzer. | (apache, ethereum, library, static-analysis) | 2017-12-25 | zchn |
ethereum-analyzer-cli | 53 | 0.0 | A CLI frontend for ethereum-analyzer. | (apache, cli, ethereum, library, program, static-analysis) | 2017-12-25 | zchn |
ethereum-analyzer-deps | 29 | 0.0 | Stripped dependencies of ethereum-analyzer. | (apache, ethereum, library, static-analysis) | 2017-12-25 | zchn |
ethereum-analyzer-webui | 6 | 0.0 | A web frontend for ethereum-analyzer | (apache, ethereum, library, program, static-analysis, web) | 2017-12-25 | zchn |
maam | 16 | 0.0 | Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers | (bsd3, library, program, static-analysis) | 2015-10-27 | DavidDarais |
stan | 23 | 2.0 | Haskell STatic ANalyser | (library, mpl, program, static-analysis) | 2020-07-09 | shersh, vrom911 |