Commit Graph

1550 Commits (eaeaae965bbcfb456efe0b1a6fef8be4cd8eaa46)
 

Author SHA1 Message Date
Josselin 2ac8827e99 Minor 5 years ago
Josselin bb57e940c3 Factorise config parsing + add config parsing to slither-format 5 years ago
Josselin 4330b9421a slither-format: add --exclude flag 5 years ago
Josselin 80db6cc543 slither-format: improve error handling 5 years ago
Josselin 91b8b7da93 Fix typo 5 years ago
Josselin ba88275992 Naming convention detector: Allow _ for private/internal function 5 years ago
Feist Josselin c34ecd4320
Update CONTRIBUTING.md 5 years ago
Josselin 741591191e slither-format: generate floating solc version 5 years ago
Josselin b94f5e21c0 Improve patch generation 5 years ago
Josselin a0e220b644 Fix minor bugs, improve patch generation 5 years ago
Josselin 3491de659e Add missing __init__.py files 5 years ago
Josselin e1c4ac6e6c slither-format: 5 years ago
Josselin 8fd5b9533a Use difflib to generate patches (WIP) 5 years ago
Josselin 63a07f6ccd naming convention format: Factor together declaration/definition patch generation 5 years ago
Feist Josselin 0fed7feda3
Merge pull request #285 from crytic/dev-cryticcompile-archive 5 years ago
Josselin 341157f7e2 source_mapping: Check for crytic_compile before acceding to it 5 years ago
Josselin 0c7b22d500 Update to crytic-compile 8539bc38e9f6efb94351ae8a21820bf5d205803e 5 years ago
Josselin ed239cf970 Minor 5 years ago
Josselin 055375d205 Merge branch 'dev-slither-format-tool-only-new' of github.com:crytic/slither into dev-slither-format-tool-only-new 5 years ago
Josselin 52f09f95a3 Update to origin/dev-slither-format-tool-only-new 5 years ago
Josselin 0dacdddaa4 slither-format : use utils.patches.create_patch in naming convention 5 years ago
Josselin 7f8289aad0 slither-format: simplify loop iteration on contracts 5 years ago
Josselin aecd47c7d3 slither-format: refactor naming convention 5 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