Commit Graph

2788 Commits (b6c95e6db9e501d625d88f3e17d4905be5a78f78)
 

Author SHA1 Message Date
Josselin 64100c7c25 Update ast tests for Solidity 0.8.12 3 years ago
Josselin 4f18cca8d9 Improve top level structure with import support 3 years ago
Tadashi aceab1243c Added new tests and updated JSON artifacts 3 years ago
Tadashi 77a23a9448 WIP: Fixed code for detecting solc version 3 years ago
Feist Josselin f7b55bc3b0
Merge pull request #1054 from crytic/issue-1052 3 years ago
Harry Kalodner 898b0c5599 Add generated test files according to contribution guide 3 years ago
Harry Kalodner afcaf99c21 Add test case for calldata offset and length 3 years ago
Harry Kalodner 5975405fa2 Resolve special .length and .offset fields for calldata 3 years ago
Feist Josselin 57bf155694
Merge pull request #1055 from crytic/dev-types 3 years ago
Josselin 0618fb46f5 Fix some mypy issues 3 years ago
Jaime 5a0bac0e27 fix pylint 3 years ago
Feist Josselin 4f916faf21
Merge pull request #1053 from crytic/github-action 3 years ago
Josselin a5489f5b83 improve printer help 3 years ago
Josselin 312de4fc69 Minor 3 years ago
Josselin d18a3da3c2 Clean up Source API 3 years ago
Jaime 8d7ca336ef use default file if found 3 years ago
Jaime 570a6227b2 add check for default config file 3 years ago
Josselin 03425069da Merge branch 'master' into dev 3 years ago
Feist Josselin bebee1a9a6
Add github action to the readme 3 years ago
Josselin 8da99e66c3 Minor 3 years ago
Josselin aed9604c5e Minor 3 years ago
Josselin 448a92d9b6 Merge branch 'dev' into dev-source-mapping-refactor 3 years ago
Feist Josselin 5abe86304b
Merge pull request #1046 from crytic/issue-1029 3 years ago
Feist Josselin d7468ca472
Merge pull request #1049 from crytic/dev-improve-deterministic-results 3 years ago
Jaime 657b8aeaa3 remove initializer check on initialize 3 years ago
Josselin 6e58e7e30b Sort the detectors' results by Id 3 years ago
Josselin a7d8a427ea Merge branch 'dev' into dev-source-mapping-refactor 3 years ago
Feist Josselin 65383b9a13
Merge pull request #1048 from crytic/issue-887 3 years ago
Feist Josselin 1cdb700747
Merge pull request #1041 from crytic/issue-923 3 years ago
Feist Josselin 2b48b7b806
Merge pull request #1040 from crytic/issue-929 3 years ago
Jaime 0651ee61ba Merge branch 'dev' of github.com:crytic/slither into issue-929 3 years ago
Jaime b1e236eb58 Merge branch 'dev' of github.com:crytic/slither into issue-923 3 years ago
Jaime 64f841028a fix black 3 years ago
Jaime 5ae6a06ed1 fix issue-887, FP reentrancy in constructor 3 years ago
Jaime 32d265eb69 apply black 3 years ago
Jaime f4df89bf80 Merge branch 'dev' of github.com:crytic/slither into issue-1029 3 years ago
Feist Josselin feac84d7f7
Merge pull request #1045 from crytic/dev-pylint-2.12.2 3 years ago
Jaime 731aa4d46d fix indentation 3 years ago
Jaime aa5421fc04 fix issue-1029, FP on unprotected-upgrade detector 3 years ago
Josselin fe480c092c Fix pylint 2.12.2 3 years ago
Feist Josselin 630a74f96b
Merge pull request #1044 from crytic/issue-feature-templates 3 years ago
alpharush 1533b7c2c2 add bug and feature request templates 3 years ago
Jaime bf540bf562 expand error message 3 years ago
Jaime 84427cfb86 fix issue-923, error when no config file found 3 years ago
Jaime 696fcc265f fix issue-929, FP in dead-code detector 3 years ago
Feist Josselin 3172b02531
Merge pull request #1032 from crytic/dev-add-top-level-variables 3 years ago
Feist Josselin fbf08843db
Merge pull request #878 from crytic/snd-echidna-solc-versions 3 years ago
Feist Josselin 35e4b263ad
Merge branch 'dev' into dev-baseline-tests 3 years ago
Feist Josselin a382eb8d84
Merge pull request #712 from crytic/dev-buidler-erc20-props 3 years ago
Feist Josselin 2b5de636bf
Merge pull request #1012 from justforfunya/patch-1 3 years ago