compiler-solidity
slither
compiler-solidity | slither | |
---|---|---|
3 | 36 | |
23 | 5,019 | |
- | 1.5% | |
9.4 | 9.6 | |
over 1 year ago | 7 days ago | |
Rust | Python | |
Apache License 2.0 | GNU Affero General Public License v3.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
compiler-solidity
-
A Comprehensive Guide on Web3 Programming Languages and Tools
Yul (previously also called JULIA or IULIA) is a simple, low-level intermediate language for the Ethereum Virtual Machine. The Solidity Developers wrote Yul as a compilation target for further optimizations. It features simplistic and functional low-level grammar. It allows developers to get much closer to raw EVM than Solidity, and with that comes the promise of drastically improved gas usage.
-
RiB Newsletter #27
YUL compiler. The compiler from YUL intermediate language to zkEVM bytecode.
-
Daily General Discussion - August 13, 2021
zkSync's Yul>LLVM compiler is now open source: https://github.com/matter-labs/yul-dev. Solidity > Yul > LLVM (or SyncVM, as they're calling their VM here). Hope to see the zkSync 2.0 testnet go public soon.
slither
-
Hidden Risks Lurking in Ethereum's Smart Contract Proxies
Yes exactly! However, >99% of the time this wouldn't happen unintentionally, and typically static analysis frameworks will detect function clashing like slither: https://github.com/crytic/slither.
- Slither 0.9.3 is out - improvements to the detectors, solidity support and more
-
Are there cases where installing a command line tool via pipx won't work, but installing via pip will?
I don't know these tools but took a look at the slither-analyze deps, and see that solc-select is not a hard dependency, but part of the extra dep group called dev. So with a normal pipx install slither-analyze, solc-select is probably absent from the relevant venv.
-
WTS: certiK audit credit ?
Congrats, you just wasted money for an audit you could have done for free with https://github.com/crytic/slither.
-
Crypto devs, what tools am I missing? Trying to build a decent list of dev resources.
Vulnerability Infrastructure: Slither
-
Solidity documentation using AI
What are the differences of your solution to `slither documentation`?
- Slither 0.9.2: finds bugs and auto-creates docs with GPT
What are some alternatives?
solana - Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
solc-select - Manage and switch between Solidity compiler versions
mina-vrf-rs
manticore - Symbolic execution tool
dylint - Run Rust lints from dynamic libraries
echidna - Ethereum smart contract fuzzer
stateright - A model checker for implementing distributed systems.
mythril - Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
baseline - The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and reference implementations.
eth-security-toolbox - A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
crypto-fees - Website for comparing total daily fees of various blockchain protocols.
publications - Publications from Trail of Bits