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)

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
ShellCheck	50	2.0	4	Shell script analysis tool	(gpl, library, program, static-analysis)	2024-03-08	0.10.0	koala_man, vidarhol
argon	10	2.0	0	Measure your code's complexity	(development, static-analysis)	2024-10-28	0.4.2.0	rubik, dnadales
ethereum-analyzer	21	0.0	2	A Ethereum contract analyzer.	(apache, ethereum, library, static-analysis)	2017-12-25	3.3.4	zchn
ethereum-analyzer-cli	27	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	23	0.0	3	Stripped dependencies of ethereum-analyzer.	(apache, ethereum, library, static-analysis)	2017-12-25	3.3.4	zchn
ethereum-analyzer-webui	26	0.0	0	A web frontend for ethereum-analyzer	(apache, ethereum, library, program, static-analysis, web)	2017-12-25	3.3.4	zchn
maam	0	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	4	2.0	1	Haskell STatic ANalyser	(library, mpl, program, static-analysis)	2025-01-20	0.2.0.0	tomjaguarpaw, vrom911

Showing 1 to 8 of 8 entries