mirror of https://github.com/crytic/slither
Tag:
Branch:
Tree:
86736a2f68
abstractness
always-depend
bugfix/variabledeclaration
bugfix/yul-tests
ck-printer-old
complexity-dashboard-printer
contracts-derived-filter-tests
coupling-printer
dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.12.2
dependabot/github_actions/dev/super-linter/super-linter-7.2.0
detect/ecrecover
dev
dev-0.7
dev-add-endassembly
dev-arbitrum
dev-autocompletion
dev-cfg-rename
dev-diff-blocks
dev-erc721-props
dev-external-calls
dev-fix-cfg
dev-function-comments
dev-get_line_and_character_from_offset
dev-implicit-conversion
dev-import-aliasing-experiment
dev-import-scope
dev-incorrect-return
dev-middle
dev-missing-zero-check-icall
dev-new-props
dev-optimize-var-order
dev-paths-homebrew
dev-perf
dev-prbmath
dev-reentrancy-constantinople-2
dev-storage-var
dev-using-ecrecover-detector
dev-workaround-action-48
dev-workaround-action-48-0.8.3
dev-wrong-encode-with-selector
erc4626
erc4626-interface
erc4626-share-inflation
feat/subcommands
feature/cleanup-fixup
features/exclude-location
features/filtering
features/typer
fix-crytic_revert_transfer_to_user-prop
fix-inheritance-printer
fix-zero-check
fix/model-implicit-type-conversions
fix/unused-imports
frabert/fix-offsets-from-thing-contract
ir_ssa_fix_phi
ir_ssa_fix_phi_2
issue_fix
issue_fixes
master
missing-zero-check-refactor
must-depend-on
program-slicing
refactor-identifier-resolution
revert-1799-detector-compilation-artifacts
rewrite/solc_parsing
run-black
sarif-logical-locations
send-arbitrary-erc20
snd-printer-eth-send
snd-printers-payable
test-printers
test/slithir-read-write
tmp-reentrancy-fix
try-catch-exceptional-control-flow
type-improvemetns
upgradeability-gap-pattern
0.1.0
0.10.0
0.10.1
0.10.2
0.10.3
0.10.4
0.2.0
0.3.0
0.3.1
0.4.0
0.5.0
0.5.1
0.5.2
0.6.0
0.6.1
0.6.10
0.6.11
0.6.12
0.6.13
0.6.14
0.6.15
0.6.2
0.6.3
0.6.4
0.6.6
0.6.7
0.6.8
0.6.9
0.7.0
0.7.1
0.8.0
0.8.1
0.8.2
0.8.3
0.9.0
0.9.1
0.9.2
0.9.3
0.9.4
0.9.5
0.9.6
${ noResults }
2 Commits (86736a2f6883de0b1effd94ed8c714da84d9f250)
| Author | SHA1 | Message | Date |
|---|---|---|---|
Josselin
|
904e453c86 |
Remove PushArray operation
Clean convert.py |
6 years ago |
|
Josselin
|
a15af96993 |
Add SlithIR representation (WIP)
Add taint example
API changes:
- Better handling of tuple
- Add context to slither
- Change node str representation
- Add ChildNode
- Add block.blockhash in SolidityVariable
- Add __eq__ , __hash__ in SolidityVariable
- Add full_name in solidityVariableComposed
- Update of the expression in a VARIABLE Node to have the assignement
- Remove ENDIF not never reached
|
6 years ago |