crytic/slither
1
0
Fork 0
mirror of https://github.com/crytic/slither.git synced 2026-10-12 02:12:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
4,741 Commits 61 Branches 48 Tags
dev_storage_variables_printer
Commit Graph
4741 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
nisedo 70e3848583 Remove unnecessary table alignment configuration 2025-02-21 15:34:37 +01:00
nisedo 394436bb2e Clean the code + add slot offset + left-aligned text 2025-02-21 15:11:30 +01:00
nisedo 02778e29a2 Refactor storage variables printer to use derived contracts and improve filtering 2025-02-17 20:42:53 +01:00
nisedo 81e4140890 Update storage_variables.py for linter 2025-02-17 15:58:38 +01:00
nisedo 3cc1fa2026 Merge branch 'master' into dev_storage_variables_printer 2025-02-17 15:36:01 +01:00
nisedo d186612d4c Add storage_variables printer 2025-02-17 15:19:59 +01:00
Simone a77738fe04 Merge pull request #2658 from crytic/dev 
Sync Master <> Dev
0.11.0 		2025-02-03 20:38:08 +01:00
Simone f6413e61f5 Merge pull request #2656 from hexshire/patch-1 
Update README.md
 2025-02-03 20:11:35 +01:00
Simone 61fa9ecc5b Merge pull request #2616 from nisedo/dev 
Add entry-points printer to identify all externally accessible state-changing functions
 2025-02-03 20:06:14 +01:00
Hex a75b1f6815 Update README.md 2025-02-03 09:50:38 -03:00
nisedo 0d2d548e20 Add receive/fallback. Add contract lines. Add function arguments and formatting. Add payable modifier. 2025-02-02 18:57:49 +01:00
nisedo cc88216759 Use f.is_shadowed to handle correctly virtual and override functions 2025-02-02 09:59:11 +01:00
nisedo 03627172af Change file name format 2025-02-01 22:28:14 +01:00
nisedo 29a8a419fd Refactoring following Simone's feedback 2025-02-01 21:08:43 +01:00
nisedo 9292ecb9c4 Merge branch 'crytic:dev' into dev 2025-02-01 17:12:47 +01:00
Josselin Feist cacf6f6477 Merge pull request #2653 from crytic/dev-fix-AOR-mutator 
slither-mutate: fix AOR mutator
 2025-01-31 17:50:43 +01:00
Simone c61d06b21b Update CLI --verbose description 2025-01-31 14:47:13 +01:00
Simone 0a93888242 Fix array .push and .pop edge cases 2025-01-31 14:46:37 +01:00
Josselin Feist 1cf17ec146 Merge pull request #2641 from dedyshkaPexto/fix.err 
Typo fix  README.md
 2025-01-31 14:25:52 +01:00
Josselin Feist c36ed42102 Merge pull request #2649 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.12.4 
Bump pypa/gh-action-pypi-publish from 1.12.3 to 1.12.4
 2025-01-31 14:03:55 +01:00
Josselin Feist 2bbddf23a3 Merge pull request #2639 from crytic/dev-fix-pyth 
Pyth detectors: Fix assertion error
 2025-01-31 14:03:20 +01:00
Josselin Feist f28da4d00f Merge pull request #2640 from crytic/dev-fix-wiki-links 
Fix detectors wiki links
 2025-01-31 14:03:05 +01:00
nisedo 7f046a2aaf Merge branch 'dev' into dev 2025-01-30 14:12:19 +01:00
dependabot[bot] 769245cb1a Bump pypa/gh-action-pypi-publish from 1.12.3 to 1.12.4 
Bumps [pypa/gh-action-pypi-publish](https://github.com/pypa/gh-action-pypi-publish) from 1.12.3 to 1.12.4.
- [Release notes](https://github.com/pypa/gh-action-pypi-publish/releases)
- [Commits](https://github.com/pypa/gh-action-pypi-publish/compare/v1.12.3...v1.12.4)

---
updated-dependencies:
- dependency-name: pypa/gh-action-pypi-publish
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
 2025-01-27 22:18:45 +00:00
grandfather bfb465a855 Typo fix README.md 2025-01-23 19:42:49 +01:00
Simone cc15939e94 Fix detectors wiki links 2025-01-20 12:07:15 +01:00
Simone 8b99d57860 Fix assertion error 2025-01-20 11:36:32 +01:00
Simone 73dc9f92c3 Merge pull request #2635 from crytic/dev 
Sync Master <> Dev
 2025-01-17 19:25:34 +01:00
Simone bc8e8f2c55 Merge pull request #2634 from crytic/prepare-release-0.11.0 
Prepare 0.11.0 release
 2025-01-17 19:04:57 +01:00
Simone d227b8a635 Prepare 0.11.0 release 2025-01-17 18:51:59 +01:00
Simone 7b30e77328 Merge pull request #2632 from crytic/dev-update-readme 
Update README.md
 2025-01-17 14:51:41 +01:00
Simone a565849c1c Update README.md 2025-01-17 14:45:58 +01:00
Simone e50dd348ed Merge pull request #2631 from crytic/dev-fix-analysis 
Fix are_variables_written analysis for named return variables
 2025-01-17 13:45:12 +01:00
Simone cbb9a5ceec Merge pull request #2615 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.12.3 
Bump pypa/gh-action-pypi-publish from 1.10.3 to 1.12.3
 2025-01-17 13:12:43 +01:00
Simone 5ce67b751b Fix analysis for named return variables 2025-01-17 12:59:25 +01:00
Simone 23074c67cc Merge pull request #2628 from crytic/dev-fix-modifier-detector 
incorrect-modifier: Fix infinite loop
 2025-01-16 19:19:44 +01:00
Simone 811d39008e Merge pull request #2625 from crytic/features/mutator 
Updated slither-mutate logs
 2025-01-16 19:19:10 +01:00
Simone 653cda5dd4 Fix infinite loop 2025-01-15 19:34:22 +01:00
bohendo 9ea73293ad consolidate & clean verbose & very_verbose logs 2025-01-09 10:29:18 -05:00
bohendo ab28eb1fb4 ensure very_verbose logs are a superset of verbose logs 2025-01-09 10:22:21 -05:00
bohendo d8ffee751a fix formatting 2025-01-06 12:02:31 -05:00
bohendo 653e8213cf [mutator] print files to-be-mutated 2025-01-06 11:50:00 -05:00
nisedo 91230d3228 Refactor entry_points.py for linters and correct README 2024-12-13 11:59:34 +01:00
nisedo 3aef721aec Add entry_points.py printer 2024-12-12 19:27:36 +01:00
nisedo 2ca5f2dbfe Update README to add entry-points printer 2024-12-12 19:25:41 +01:00
nisedo 5876ef14f1 Add entry_points printer to all_printers.py list 2024-12-12 19:25:21 +01:00
dependabot[bot] 60ff5b407a Bump pypa/gh-action-pypi-publish from 1.10.3 to 1.12.3 
Bumps [pypa/gh-action-pypi-publish](https://github.com/pypa/gh-action-pypi-publish) from 1.10.3 to 1.12.3.
- [Release notes](https://github.com/pypa/gh-action-pypi-publish/releases)
- [Commits](https://github.com/pypa/gh-action-pypi-publish/compare/v1.10.3...v1.12.3)

---
updated-dependencies:
- dependency-name: pypa/gh-action-pypi-publish
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
 2024-12-09 22:25:05 +00:00
Josselin Feist 8958d3bb3e Merge pull request #2614 from crytic/fix-reorder-arg 
Fix reorder argument edge case
 2024-12-06 18:43:26 +01:00
Josselin Feist c6d56e81cc Merge pull request #2613 from crytic/DanielVF-horizontal-call-graph 
PR 2603 improvements
 2024-12-06 17:25:35 +01:00
Simone 7642299d39 Fix reorder argument edge case 2024-12-06 17:15:54 +01:00