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 | 156 | 2.0 | 4 | Shell script analysis tool | (gpl, library, program, static-analysis) | 2024-03-08 | 0.10.0 | koala_man, vidarhol |
argon | 17 | 2.0 | 0 | Measure your code's complexity | (development, static-analysis) | 2024-10-28 | 0.4.2.0 | rubik, dnadales |
ethereum-analyzer | 12 | 0.0 | 2 | A Ethereum contract analyzer. | (apache, ethereum, library, static-analysis) | 2017-12-25 | 3.3.4 | zchn |
ethereum-analyzer-cli | 3 | 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 | 6 | 0.0 | 3 | Stripped dependencies of ethereum-analyzer. | (apache, ethereum, library, static-analysis) | 2017-12-25 | 3.3.4 | zchn |
ethereum-analyzer-webui | 1 | 0.0 | 0 | A web frontend for ethereum-analyzer | (apache, ethereum, library, program, static-analysis, web) | 2017-12-25 | 3.3.4 | zchn |
maam | 6 | 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 | 138 | 2.0 | 1 | Haskell STatic ANalyser | (library, mpl, program, static-analysis) | 2024-06-01 | 0.1.3.0 | tomjaguarpaw, vrom911 |