Commit Graph

2323 Commits (491e355df217df60a22508324be9bb917b13757a)
 

Author SHA1 Message Date
Feist Josselin 0fb4d64ad0
Merge pull request #396 from crytic/dev-new-detectors 5 years ago
Feist Josselin 4a3a6cc425
Merge pull request #409 from crytic/dev-improve-data-dep-API 5 years ago
Josselin ca17a7f12f boolean-cst: Remove FP due to 'while(true)' pattern 5 years ago
Josselin 75c3a6ad52 Improve data dependencies API: 5 years ago
Feist Josselin 680c14e796
Merge pull request #406 from crytic/dev-modifier-calls 5 years ago
Feist Josselin e7608a1a44
Merge pull request #407 from crytic/dev-improve-unini-state 5 years ago
Josselin 60b667d2b8 Improve uninitialized-state: remove FPs due to storage variables 5 years ago
Josselin a2a2c02e1d Do not parse modifier statements for interfaces 5 years ago
Josselin 36a1af528b Fix incorrect variable assignment in _parse_modifier, add Nop in copy_ir 5 years ago
Josselin faeb9ed8cc Change the way modifier/constructor calls are handled: 5 years ago
Feist Josselin 8775f2435a
Merge pull request #400 from crytic/dev-fix-get-dep 5 years ago
Josselin 34e43a3f25 Merge branch 'dev' into dev-new-detectors 5 years ago
Josselin 740119d1e1 Merge branch 'dev' into dev-fix-get-dep 5 years ago
Feist Josselin 2118a4a044
Merge pull request #403 from crytic/dev-fix-ci 5 years ago
Feist Josselin cb190297d0
Merge pull request #391 from crytic/dev-functions_signatures_declared 5 years ago
Josselin 18e971ef64 Fix CI (close #402) 5 years ago
Josselin c52500e146 Fix get_dependencies: Incorrect usage of is_protected (fix #399) 5 years ago
Feist Josselin 53a4fc70ee
Merge pull request #397 from crytic/dev-fix-CI 5 years ago
Feist Josselin 7f654dd66f
Update travis_test_truffle.sh 5 years ago
Josselin 59e0f8e5d7 Update wiki 5 years ago
Josselin 81b3032499 Open source 4 detectors: 5 years ago
Josselin d9980e8051 Add contract.functions_signatures_declared property 5 years ago
Josselin 1b15a401c9 0.6.9 5 years ago
Josselin eaeaae965b Update to crytic-compile 0.1.6 5 years ago
Josselin bac1032778 Update README and url links 5 years ago
Feist Josselin 6a96ea316a
Merge pull request #390 from crytic/dev-solc-version-0.5.11 5 years ago
Josselin 486b0e414c solc-version: update wiki info 5 years ago
Josselin 48e22a89f3 Add missing test 5 years ago
Josselin 29e5aed70e solc-version detector: 5 years ago
Josselin bff363f982 Comùplex pragma detector: add support for solc 0.7.0 5 years ago
Josselin ef07a978c0 Use python setup.py install in gh action 5 years ago
Josselin f867595376 Merge branch 'master' into dev 5 years ago
Feist Josselin 3a1073a348
Merge pull request #388 from crytic/dev-fix-id-collison 5 years ago
Josselin 2dc71bcf75 Finding ID generation: prevent collision on pragma 5 years ago
Feist Josselin ad61b08e61
Merge pull request #383 from crytic/update-readme 5 years ago
Feist Josselin aac7c29469
Merge pull request #385 from reaperhulk/no-more-travis 5 years ago
Feist Josselin 642cdcf336
Merge pull request #387 from crytic/dev-pragma-filter-solidity 5 years ago
Feist Josselin 1ff370fde1
Merge pull request #386 from crytic/dev-flat-remove-assert 5 years ago
Josselin c96a71cc96 Add is_solidity_version property to Pragma object 5 years ago
Josselin 2b73073205 slither-flat: add --remove-assert flag (#366) 5 years ago
Feist Josselin e5717ead56
Merge pull request #384 from crytic/dev-contract-summary-fix 5 years ago
Paul Kehrer e0c30655da no more travisci 5 years ago
Feist Josselin de0f437f0f
Merge pull request #377 from crytic/dev-fix-reentrancy-events 5 years ago
Josselin 146cc446b3 Update etherscan test 5 years ago
Feist Josselin 0441338e05
Merge pull request #381 from crytic/github-actions 5 years ago
Feist Josselin 3acb3be53e
Update README.md 5 years ago
Paul Kehrer 65bcacab1c fix dapp 5 years ago
Paul Kehrer ce840d4e41 github actions 5 years ago
Feist Josselin 5b90d2fa72
Merge pull request #380 from crytic/uivlis-const-func/split 5 years ago
Josselin a0b8ffcbd6 Handle missing self.slither.solc_version 5 years ago