Commit Graph

1631 Commits (87a3b5a3c74997e72a583862761830323d1fa69d)
 

Author SHA1 Message Date
Josselin 52f09f95a3 Update to origin/dev-slither-format-tool-only-new 6 years ago
Josselin 0dacdddaa4 slither-format : use utils.patches.create_patch in naming convention 6 years ago
Josselin 7f8289aad0 slither-format: simplify loop iteration on contracts 6 years ago
Josselin aecd47c7d3 slither-format: refactor naming convention 6 years ago
Josselin 7c51caf998 slither-format: remove objects pattern (Todo: naming convention) 6 years ago
Josselin a0f7be75de slither-format: 6 years ago
David Pokora 2d8e4bb1f1
-Added support for self-contained archives exported by crytic compile. 6 years ago
Eric Rafaloff 76eb43930a Fix typo in check 6 years ago
Eric Rafaloff df17fb8779 Detect more AragonOS contracts 6 years ago
Eric Rafaloff ba771acaec Merge branch 'master' of github.com:crytic/slither into feature-detect-aragon-os 6 years ago
Feist Josselin 43c6cf7a16
Merge pull request #282 from arxenix/retrieve-fallback-function 6 years ago
Feist Josselin 1128b4c200
Merge pull request #280 from crytic/contributing 6 years ago
Feist Josselin c6f60dfe4c
Merge pull request #283 from arxenix/bugfix-ir-types 6 years ago
Ankur Sundara a1ecf12258 set type of constants 6 years ago
Ankur Sundara 9f8340e743 add is_fallback parameter 6 years ago
rajeevgopalakrishna 3ffe4d3615 - Fixes formatting bug 6 years ago
Josselin 5b0a788766 slither-format: clean code 6 years ago
rajeevgopalakrishna e271df51ce Merge branch 'dev-evm-printer-and-api' of github.com:crytic/slither into dev-evm-printer-and-api 6 years ago
rajeevgopalakrishna adfedbf7ce Adds pragma and function visibility to satisfy solc 0.5.x 6 years ago
Josselin 558b5b9b9e EVM printer: fix import 6 years ago
rajeevgopalakrishna d4be1d1598 Adds missing import sys. 6 years ago
rajeevgopalakrishna aa8cb34f39 - Refactors code into smaller functions 6 years ago
rajeevgopalakrishna cb13cb4a89 Adds support for constructor's evm instructions using bytecode_init and srcmap_init. 6 years ago
rajeevgopalakrishna b9e40b628d Removes some unused code and adds checks and comments. 6 years ago
Josselin b275bcc824 Add demo utility 6 years ago
Josselin 99ad5b1bf3 Add CONTRIBUTING.md 6 years ago
rajeevgopalakrishna 5434e6e11f Fixes bug where prev_mapping was not being set when file_id == 1 6 years ago
rajeevgopalakrishna 209d3a31af Fixes bug where prev_mapping was not being set when file_id == 1 6 years ago
Feist Josselin 5d6ab217a8
Merge pull request #277 from crytic/feature-exclude-optimization-flag 6 years ago
Eric Rafaloff bc1cb0df2d Add --exclude-optimization flag 6 years ago
Eric Rafaloff 5d88be8328 Detect Aragon OS 6 years ago
rajeevgopalakrishna 8944eab3be Adds get_evm_instructions() API to script-ify getting evm instructions of Contract, Function or Node. 6 years ago
rajeevgopalakrishna 8f1c3e06f4 Improves code readability 6 years ago
rajeevgopalakrishna 29f44a6f62 Adds comments and some more formatting changes 6 years ago
rajeevgopalakrishna 2c81043641 Adds minor format changes 6 years ago
rajeevgopalakrishna 72c2fcc4ae Adds printing of PCs for evm instructions. 6 years ago
rajeevgopalakrishna ac65676ff9 Adds printing of source lines and minor formatting changes. 6 years ago
rajeevgopalakrishna 8e1bab8589 Adds a new printer (WIP) to output the evm instructions of nodes in functions. 6 years ago
Josselin 6b24829861 Update README 6 years ago
Josselin dad1fbd1dd Merge branch 'dev' 6 years ago
Feist Josselin 77ba6fb51f
Merge pull request #269 from crytic/dev-exclude-dependencies-flag 6 years ago
Josselin dd1330609b Update travis tests 6 years ago
Josselin df595b37ca Merge branch 'dev' into dev-exclude-dependencies-flag 6 years ago
Feist Josselin 09f2250e18
Merge pull request #257 from crytic/dev-fix-external-function-detector 6 years ago
Josselin b96a857f8d External function: Update to Optimization type 6 years ago
Feist Josselin cee4484b86
Merge pull request #263 from crytic/dev-generic-sourcemapping 6 years ago
Josselin c7afbcb487 Rtlo: print the line containing the rtlo + fix travis 6 years ago
Josselin 3290b4f569 Merge branch 'dev' into dev-generic-sourcemapping 6 years ago
Feist Josselin bac034810c
Merge branch 'dev' into dev-fix-external-function-detector 6 years ago
Feist Josselin e2948fa2b4
Merge pull request #260 from crytic/dev-fix-naming-convention-false-alert-empty-parameter-name 6 years ago