3870 Commits (7d50891e9e80964333651b9e0927626828d12a40)

 

All Branches   

Search

Author	SHA1	Message	Date
dependabot[bot]	7d50891e9e	Bump cachix/install-nix-action from 22 to 23 (#2111) ... Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 22 to 23. Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
dependabot[bot]	324cbe5a5c	Bump actions/checkout from 3 to 4 (#2112) ... Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
judowoodo	d4950f7212	Change return type to UnaryType instead of UnaryOperationType (#2124) ... * fix: return UnaryType instead of UnaryOperationType for Unary IR operation (issue #2085)	1 year ago
Simone	8d5c033fbe	Improve mapping-deletion detector for nested mappings (#2084) ... * Fix for nested mappings * Add test	1 year ago
Simone	8b07fe59d5	improve name resolution of type aliases (#2061) ... * BREAKING CHANGE: Renamed user_defined_types to type_aliases so it's less confusing with what we call UserDefinedType. * Added type aliased at the Contract level so now at the file scope there are only top level aliasing and fully qualified contract aliasing like C.myAlias. * Fix #1809	1 year ago
alpharush	53c97f9f48	fix: preserve None tuple components in the left and right liftings of ternary expressions (#2120) ... * preserve None tuple components in the left and right liftings of ternary expressions * added a test for ternary lifting over tuples --------- Co-authored-by: Kevin Clancy <kevin.clancy@certik.com>	1 year ago
Emilio López	9da51fff3b	detectors: cache_array_length: include source mapping in finding (#2076) ... * detectors: cache_array_length: include source mapping in finding The detector was manually string-interpolating the code and line information, which left the finding without source mapping metadata and broke filtering. Include the node directly on the finding info so that the metadata is preserved. --------- Co-authored-by: alpharush <0xalpharush@protonmail.com>	1 year ago
alpharush	75ef277cbf	Merge pull request #2119 from crytic/master ... sync master <> dev	1 year ago
Simone	65cc68ddf0	Make the results deterministic (#2114)	1 year ago
joodiewoodo	ff52901e6d	Allow underscore in variable naming convention for internal state variables (#2110) ... * fix: allow underscore in variable naming convention for internal state variables and update test_detector tests snapshot * change set visibility of _myPublic to public, update test snapshots	1 year ago
alpharush	0de7a251eb	Merge pull request #2086 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.10 ... Bump pypa/gh-action-pypi-publish from 1.8.8 to 1.8.10	1 year ago
alpharush	8f5259527e	Merge pull request #2087 from crytic/dependabot/github_actions/dev/sigstore/gh-action-sigstore-python-2.0.1 ... Bump sigstore/gh-action-sigstore-python from 2.0.0 to 2.0.1	1 year ago
dependabot[bot]	81c0c8cd88	Bump sigstore/gh-action-sigstore-python from 2.0.0 to 2.0.1 ... Bumps [sigstore/gh-action-sigstore-python](https://github.com/sigstore/gh-action-sigstore-python) from 2.0.0 to 2.0.1. - [Release notes](https://github.com/sigstore/gh-action-sigstore-python/releases) - [Commits](https://github.com/sigstore/gh-action-sigstore-python/compare/v2.0.0...v2.0.1) --- updated-dependencies: - dependency-name: sigstore/gh-action-sigstore-python dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
dependabot[bot]	2bc6a0f1a4	Bump pypa/gh-action-pypi-publish from 1.8.8 to 1.8.10 ... Bumps [pypa/gh-action-pypi-publish](https://github.com/pypa/gh-action-pypi-publish) from 1.8.8 to 1.8.10. - [Release notes](https://github.com/pypa/gh-action-pypi-publish/releases) - [Commits](https://github.com/pypa/gh-action-pypi-publish/compare/v1.8.8...v1.8.10) --- updated-dependencies: - dependency-name: pypa/gh-action-pypi-publish dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
alpharush	4b0482014d	chore: bump sigstore to 2.0.0 (#2081)	1 year ago
yisun92	3f90e86bad	fix: get_state_variable_from_canonical_name() filter by canonical_name (#1983)	1 year ago
SheldonHolmgren	d86bd4109d	UnaryOperation: -variable and +variable doesn't make variable an lvalue (#2027)	1 year ago
Simone	e0098907c9	Add CustomError as printable output (#2063)	1 year ago
alpharush	d90505826f	fix ternary rewrite test and make assertion more strict (#2067)	1 year ago
alpharush	ac203ee8ec	Merge pull request #2070 from crytic/ci/problem-matchers ... ci: add problem matchers for yamllint and pylint	1 year ago
alpharush	c47fa62b71	ci: add problem matchers for yamllint and pylint	1 year ago
alpharush	43888ef284	Merge pull request #2052 from crytic/dev-contributing ... Fix CONTRIBUTING.md	1 year ago
alpharush	34e1a2407e	Merge pull request #2044 from crytic/dependabot/github_actions/dev/actions/upload-pages-artifact-2 ... Bump actions/upload-pages-artifact from 1 to 2	1 year ago
alpharush	cb4c5b89ce	Merge pull request #2049 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.8 ... Bump pypa/gh-action-pypi-publish from 1.8.7 to 1.8.8	1 year ago
Simone	60a67680b0	Compile after the test was added	1 year ago
dependabot[bot]	65aaafa0c6	Bump pypa/gh-action-pypi-publish from 1.8.7 to 1.8.8 ... Bumps [pypa/gh-action-pypi-publish](https://github.com/pypa/gh-action-pypi-publish) from 1.8.7 to 1.8.8. - [Release notes](https://github.com/pypa/gh-action-pypi-publish/releases) - [Commits](https://github.com/pypa/gh-action-pypi-publish/compare/v1.8.7...v1.8.8) --- updated-dependencies: - dependency-name: pypa/gh-action-pypi-publish dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
dependabot[bot]	97f817712f	Bump actions/upload-pages-artifact from 1 to 2 ... Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 1 to 2. - [Release notes](https://github.com/actions/upload-pages-artifact/releases) - [Commits](https://github.com/actions/upload-pages-artifact/compare/v1...v2) --- updated-dependencies: - dependency-name: actions/upload-pages-artifact dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
alpharush	e5f2a86f09	0.9.6 (#2031) ... * 0.9.6 * lint readme	1 year ago
alpharush	e91529ef02	Merge pull request #2030 from crytic/dev ... prepare for 0.9.6 release	1 year ago
sam bacha	f3be9efad6	docs(readme): add new docs link (#2010) ... * 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})} } ```	1 year ago
alpharush	3e390264a4	Merge pull request #2029 from crytic/fix/fp/unchecked-lowlevel ... fix regression that caused retdata to be flagged	1 year ago
alpharush	512b393adc	Merge pull request #2019 from crytic/fix/issue-2017 ... fix(cache-array-length): handle when `HighLevelCall` is a `StateVariable`	1 year ago
alpharush	9ecc66ddf8	fix regression that caused retdata to be flagged	1 year ago
alpharush	03efefeb2d	Merge pull request #2024 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.7 ... Bump pypa/gh-action-pypi-publish from 1.8.6 to 1.8.7	1 year ago
alpharush	ee73cf32c7	Merge pull request #2023 from crytic/dependabot/github_actions/dev/actions/setup-python-4 ... Bump actions/setup-python from 3 to 4	1 year ago
dependabot[bot]	f22836c5f0	Bump pypa/gh-action-pypi-publish from 1.8.6 to 1.8.7 ... Bumps [pypa/gh-action-pypi-publish](https://github.com/pypa/gh-action-pypi-publish) from 1.8.6 to 1.8.7. - [Release notes](https://github.com/pypa/gh-action-pypi-publish/releases) - [Commits](https://github.com/pypa/gh-action-pypi-publish/compare/v1.8.6...v1.8.7) --- updated-dependencies: - dependency-name: pypa/gh-action-pypi-publish dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
dependabot[bot]	e0233a70ef	Bump actions/setup-python from 3 to 4 ... Bumps [actions/setup-python](https://github.com/actions/setup-python) from 3 to 4. - [Release notes](https://github.com/actions/setup-python/releases) - [Commits](https://github.com/actions/setup-python/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/setup-python dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
alpharush	5c40c52ba1	fix(cache-array-length): handle when `HighLevelCall` is a `StateVariable`	1 year ago
alpharush	8f1a87523c	Merge pull request #1997 from crytic/dependabot/github_actions/dev/docker/build-push-action-4 ... Bump docker/build-push-action from 3 to 4	1 year ago
alpharush	2626a97876	Merge pull request #1995 from crytic/dependabot/github_actions/dev/actions/deploy-pages-2 ... Bump actions/deploy-pages from 1 to 2	1 year ago
alpharush	7995d4755a	Merge pull request #1993 from crytic/dependabot/github_actions/dev/cachix/install-nix-action-22 ... Bump cachix/install-nix-action from 20 to 22	1 year ago
alpharush	614cce2346	Merge pull request #1992 from crytic/dependabot/github_actions/dev/cachix/cachix-action-12 ... Bump cachix/cachix-action from 10 to 12	1 year ago
alpharush	3d4f934d32	Merge pull request #2004 from crytic/bump-version ... 0.9.5	1 year ago
alpharush	1f40e9269b	0.9.5	1 year ago
alpharush	39ca9631ae	Merge pull request #2003 from crytic/dev ... patch for python 3.11 support	1 year ago
alpharush	b12a167ef7	Merge pull request #2002 from crytic/dev-fix-dataclass ... Fix execution in Python 3.11	1 year ago
Emilio López	98480090db	workflows: ci, tests: only run on 3.8 and 3.11 for PRs ... This keeps CI jobs reasonable in PRs while testing the full set of versions in the scheduled jobs and merges to dev and master.	1 year ago
Emilio López	af5e801973	workflows: test: run on Python 3.8 ~ 3.11	1 year ago
Emilio López	fa5963239e	workflows: ci: run on Python 3.8 ~ 3.11	1 year ago
Emilio López	cbe6716afd	Fix execution in Python 3.11 ... This fixes the following error: ValueError: mutable default <class 'slither.utils.loc.LoCInfo'> for field src is not allowed: use default_factory	1 year ago