Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "program-analysis" keyword

github.com/unpackdev/solgo v0.3.1

Package solgo provides a suite of tools for parsing, analyzing, and interacting with Solidity con...
22 versions - Latest release: 6 months ago - 1 dependent package - 5 stars on GitHub

Top 9.5% on proxy.golang.org

github.com/jonathansalwan/Triton v0.8.1

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your...
1 version - Latest release: about 4 years ago - 3,168 stars on GitHub

Top 4.1% on proxy.golang.org

github.com/ConsenSys/mythril v0.24.8

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quo...
159 versions - Latest release: about 2 months ago - 3,170 stars on GitHub

Top 9.9% on proxy.golang.org

github.com/rizinorg/rizin v0.7.3 💰

UNIX-like reverse engineering framework and command-line toolset.
23 versions - Latest release: about 1 month ago - 2,274 stars on GitHub

Top 2.5% on proxy.golang.org

github.com/github/codeql-go v1.27.0

The CodeQL extractor and libraries for Go.
7 versions - Latest release: about 3 years ago - 1 dependent package - 39 dependent repositories - 457 stars on GitHub

Top 4.8% on proxy.golang.org

github.com/returntocorp/semgrep-rules v0.0.0-20231121142316-54e7d73f9027

Semgrep rules registry
88 versions - Latest release: 6 months ago - 505 stars on GitHub

github.com/txpull/solgo v0.3.1

Package solgo provides a suite of tools for parsing, analyzing, and interacting with Solidity con...
23 versions - Latest release: 6 months ago - 2 dependent packages - 5 stars on GitHub

Top 4.1% on proxy.golang.org

github.com/facebook/pyre-check v0.9.19

Performant type-checking for python.
82 versions - Latest release: 7 months ago - 1 dependent repositories - 6,285 stars on GitHub

Top 9.4% on proxy.golang.org

static-analysis 9 golang 7 datalog 5 codeql 5 go 5 security 4 control-flow-analysis 3 ethereum 3 solidity 3 taint-analysis 2 symbolic-execution 2 reverse-engineering 2 vulnerability-detection 2 syntax-analysis 2 syntatic-analysis 2 abi 2 abstract-syntax-tree 2 antlr4 2 antlr4-go 2 bytecode-interpreter 2 decompiler 2 intermediate-representation 2 smt 2 solidity-compiler 2 solidity-contracts 2 code-quality 1 abstract-interpretation 1 semgrep-rules 1 ocaml 1 python 1 type-check 1 semgrep-registry 1 typechecker 1 semgrep 1 security-scanner 1 grep-like 1 exploitation 1 debugging 1 smart-contracts 1 security-analysis 1 blockchain 1 lifter 1 instruction-semantics 1 emulator 1 dynamic-analysis 1 deobfuscation 1 binary-translation 1 binary-analysis 1