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 |
---|---|---|---|---|---|---|---|---|
ShellCheck | 157 | 2.0 | 4 | Shell script analysis tool | (gpl, library, program, static-analysis) | 2022-12-13 | 0.9.0 | koala_man, vidarhol |
argon | 23 | 0.0 | 0 | Measure your code's complexity | (development, static-analysis) | 2016-02-10 | 0.4.1.0 | rubik, dnadales |
ethereum-analyzer | 36 | 0.0 | 2 | A Ethereum contract analyzer. | (apache, ethereum, library, static-analysis) | 2017-12-25 | 3.3.4 | zchn |
ethereum-analyzer-cli | 34 | 0.0 | 0 | A CLI frontend for ethereum-analyzer. | (apache, cli, ethereum, library, program, static-analysis) | 2017-12-25 | 3.3.4 | zchn |
ethereum-analyzer-deps | 33 | 0.0 | 3 | Stripped dependencies of ethereum-analyzer. | (apache, ethereum, library, static-analysis) | 2017-12-25 | 3.3.4 | zchn |
ethereum-analyzer-webui | 30 | 0.0 | 0 | A web frontend for ethereum-analyzer | (apache, ethereum, library, program, static-analysis, web) | 2017-12-25 | 3.3.4 | zchn |
maam | 10 | 0.0 | 1 | Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers | (bsd3, library, program, static-analysis) | 2015-10-27 | 0.3.0.0 | DavidDarais |
stan | 40 | 2.0 | 1 | Haskell STatic ANalyser | (library, mpl, program, static-analysis) | 2020-07-09 | 0.0.1.0 | vrom911 |