mirror of
https://github.com/crytic/slither.git
synced 2026-10-12 10:59:58 +00:00
sam bacha
f3be9efad6
* docs(readme): add new docs link
Fix the status badges and include a link to the documentation page that is now generated
* docs(citation): create CITATION.cff
This creates a `CITATION.cff` file. The information is taken from arXiv's bibtex for the whitepaper:
```bibtex
@inproceedings{Feist_2019, doi = {10.1109/wetseb.2019.00008}, url = {https://doi.org/10.1109%2Fwetseb.2019.00008}, year = 2019, month = {may}, publisher = {{IEEE} }, author = {Josselin Feist and Gustavo Grieco and Alex Groce}, title = {Slither: A Static Analysis Framework for Smart Contracts}, booktitle = {2019 {IEEE}/{ACM} 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain ({WETSEB})} }
```
65 lines
1.7 KiB
YAML
65 lines
1.7 KiB
YAML
cff-version: 1.2.0
|
|
title: Slither Analyzer
|
|
message: >-
|
|
If you use this software, please cite it using the
|
|
metadata from this file.
|
|
type: software
|
|
authors:
|
|
- given-names: Josselin
|
|
family-names: Feist
|
|
- given-names: Gustavo
|
|
family-names: Grieco
|
|
- given-names: Alex
|
|
family-names: Groce
|
|
identifiers:
|
|
- type: doi
|
|
value: 10.48550/arXiv.1908.09878
|
|
description: arXiv.1908.09878
|
|
- type: url
|
|
value: 'https://arxiv.org/abs/1908.09878'
|
|
description: arxiv
|
|
- type: doi
|
|
value: 10.1109/wetseb.2019.00008
|
|
repository-code: 'https://github.com/crytic/slither'
|
|
url: 'https://www.trailofbits.com/'
|
|
repository-artifact: 'https://github.com/crytic/slither/releases'
|
|
abstract: >-
|
|
Slither is a static analysis framework designed to provide
|
|
rich information about Ethereum smart contracts.
|
|
|
|
It works by converting Solidity smart contracts into an
|
|
intermediate representation called SlithIR.
|
|
|
|
SlithIR uses Static Single Assignment (SSA) form and a
|
|
reduced instruction set to ease implementation of analyses
|
|
while preserving semantic information that would be lost
|
|
in transforming Solidity to bytecode.
|
|
|
|
Slither allows for the application of commonly used
|
|
program analysis techniques like dataflow and taint
|
|
tracking.
|
|
|
|
|
|
Our framework has four main use cases:
|
|
|
|
(1) automated detection of vulnerabilities,
|
|
|
|
(2) automated detection of code optimization
|
|
opportunities,
|
|
|
|
(3) improvement of the user's understanding of the
|
|
contracts, and
|
|
|
|
(4) assistance with code review.
|
|
keywords:
|
|
- Ethereum
|
|
- Static Analysis
|
|
- Smart contracts
|
|
- EVM
|
|
- bug detection
|
|
- Software Engineering
|
|
license: AGPL-3.0-only
|
|
commit: 3d4f934d3228f072b7df2c5e7252c64df4601bc8
|
|
version: 0.9.5
|
|
date-released: '2023-06-28'
|