Commit Graph

2525 Commits (5863c30747eee5440911fb21bb5cc396098a5c9a)
 

Author SHA1 Message Date
Josselin 5d5466e59f Fix incorrect variable lookup 6 years ago
Josselin d37bcb6104 Rename original_contract -> contract_declarer 6 years ago
Gilles de Bordeaux 7e56501a39 Added a test for “too-many-digits” detector 6 years ago
Gilles de Bordeaux ec73250981 Added the new “too-many-digits” detector 6 years ago
David Pokora 7238e9b033
-Relaxed erc20-interface detector to report incorrect function signatures even if the function was not declared in that contract immediately 6 years ago
David Pokora 8d2a2ce09c
Fix false positives as a result of ERC721 interfaces appearing similar to ERC20. 6 years ago
Feist Josselin 04c147f7e5
Merge pull request #211 from crytic/dev-functionid-fix 6 years ago
Josselin 92ced37b30 Fix contract.all_functions_called 6 years ago
Josselin e66db801a2 function-ids printer: fix incorrect type in case of multi-dim arrays 6 years ago
Josselin 654c2c98b7 - add contract.get_function_from_canonical_name (same for modifier 6 years ago
Josselin 3991f6e494 Breaking change: functions and modifiers are not shared accross contracts, each contract has an own copy of all the functions/modifiers 6 years ago
David Pokora d9d960fa9c
Fix functionid printer to account for getters having parameters (key is input in mappings, uint256 index is input for arrays). 6 years ago
Josselin 4d7fa00933 Merge branch 'dev' into dev-fix-c3-linearalization 6 years ago
Feist Josselin ad0f3cd80c
Merge pull request #204 from crytic/dev-sourcemapping-columns 6 years ago
Feist Josselin 2495ba3ed2
Merge pull request #208 from crytic/dev-fix-solc-ast-flag 6 years ago
Josselin 638edb2a1c Improve travis_test_cli.sh 6 years ago
Josselin 97b4f5cc7c Add 3 new type of tests for travis: 6 years ago
Josselin 8d0297f604 Fix travis path 6 years ago
Josselin a58da24e86 Update travis test 6 years ago
Josselin 852856a5df Merge branch 'master' into dev-sourcemapping-columns 6 years ago
Josselin 08762a0275 Improve travis test 6 years ago
Josselin 12cdcc2e87 Re-add --solc-ast 6 years ago
Josselin dd8dabeb02 v0.6.3 6 years ago
Josselin 7e7910fa9a Update README.md 6 years ago
Feist Josselin 747b2a090c
Merge pull request #199 from crytic/dev-crytic-compile 6 years ago
Josselin 0f7b75cea9 Use crytic-compile from pypi 6 years ago
Josselin e7da392cd3 Merge branch 'master' into dev-crytic-compile 6 years ago
Josselin e013338f81 Use crytic-compile from pip 6 years ago
Josselin 893674743d Merge branch 'master' into dev-fix-c3-linearalization 6 years ago
Josselin 559e35b95d Update README 6 years ago
Josselin d6ce9b9681 Add regression test for dapp/etherlime/etherscan 6 years ago
Josselin f7d68c05f6 Fix travis 6 years ago
Josselin ac82e1fc0c Update to crytic-compile d90d8372d2826fb310ff83e87e4fa9ea0d553ae3 6 years ago
g 2b4edbda8c fixes 6 years ago
ggrieco-tob 1eb8478595 verification of sklearn (optional) dependency 6 years ago
ggrieco-tob 0978700a50 added plot mode 6 years ago
ggrieco-tob d8d7938813 improved logging 6 years ago
ggrieco-tob 8f2bad8905 fixes 6 years ago
ggrieco-tob 03b318b55e fixes + enable contract sampling during training 6 years ago
ggrieco-tob 3fd50a40a6 fixes 6 years ago
David Pokora 93368c1ff8
Fixed a typo in the _compute_line function documentation. 6 years ago
David Pokora a729d1d19e
Added starting/ending columns to source mapping entries. 6 years ago
ggrieco-tob 7affd05610 handling fastText dependency 6 years ago
ggrieco-tob 32f2f6f0d1 fixes + logger 6 years ago
ggrieco-tob 43fa9c73df first version of slither-simil 6 years ago
Josselin 3a65367fd2 Update to crytic-compile 4ff24b811095a8d64a16a54e666b59aec2d924da 6 years ago
Josselin 0856f1ad60 Use crytic_compile.is_supported to test compatibility 6 years ago
Josselin e2e6873dab Merge branch 'skylightcyber-master' 6 years ago
Josselin 88a6ced3af rtlo detector: minor modifs 6 years ago
Shahar Zini 349e9f7f20 Add right-to-left-override character (U+202E) detection 6 years ago