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 |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| ShellCheck | 772 | 2.0 | Shell script analysis tool | (gpl, library, program, static-analysis) | 2021-11-07 | koala_man, vidarhol |
| argon | 52 | 0.0 | Measure your code's complexity | (development, static-analysis) | 2016-02-10 | rubik, dnadales |
| ethereum-analyzer | 80 | 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 | 64 | 0.0 | Stripped dependencies of ethereum-analyzer. | (apache, ethereum, library, static-analysis) | 2017-12-25 | zchn |
| ethereum-analyzer-webui | 18 | 0.0 | A web frontend for ethereum-analyzer | (apache, ethereum, library, program, static-analysis, web) | 2017-12-25 | zchn |
| maam | 19 | 0.0 | Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers | (bsd3, library, program, static-analysis) | 2015-10-27 | DavidDarais |
| stan | 34 | 2.0 | Haskell STatic ANalyser | (library, mpl, program, static-analysis) | 2020-07-09 | shersh, vrom911 |