Commit Graph

246 Commits (643242aeea61c48d391dbfe1d0ebbad3ea0809e3)

Author SHA1 Message Date
Josselin 243e162c93 Fix ci 4 years ago
Josselin 2ee2792064 Refactor detectors tests to use pytest 4 years ago
Josselin b8405082e9 Use pytest for ast parsing tests (WIP) 4 years ago
samczsun 2af66130f6 parser testing 4 years ago
Josselin 70e609ec28 Fix all pylint issues 4 years ago
Josselin 3f706061e4 Run Black 4 years ago
Josselin 351de6bd31 Refactor regression tests: 4 years ago
Feist Josselin 2d615314fd
Update travis_test_etherlime.sh 4 years ago
Josselin 8f5658042d solc-version: update embark test 4 years ago
Josselin ff0d820da6 solc-version: 4 years ago
Emilio López 3f2527f227 linting: Solve shell linting errors 4 years ago
Josselin 2b5f3099dd Update tests 5 years ago
Josselin b625e9211b Create MyPrettyTable: wrapper around PrettyTable to allow json seralization 5 years ago
Josselin 2c429e6d23 Add slither-prop test 5 years ago
Josselin 6c7ce89db2 Refactor reentrancy to show where are the calls/write to variables in internal calls (fix #412) 5 years ago
Josselin 9a489030f0 Update Dapp test 5 years ago
Josselin 7bab71aff2 Fix dapp regression tests 5 years ago
Josselin 18e971ef64 Fix CI (close #402) 5 years ago
Feist Josselin 7f654dd66f
Update travis_test_truffle.sh 5 years ago
Josselin 48e22a89f3 Add missing test 5 years ago
Josselin 29e5aed70e solc-version detector: 5 years ago
Paul Kehrer e0c30655da no more travisci 5 years ago
Josselin 146cc446b3 Update etherscan test 5 years ago
Paul Kehrer 65bcacab1c fix dapp 5 years ago
Vlad Silviu Farcas 2440b95fe8 Fix tests 5 years ago
Josselin 1d067def92 Fix FPs in reentrancy-events 5 years ago
Josselin 51e7a149f6 ReentrancyEvent: improve output 5 years ago
Josselin 1bb72898f6 Reentrancies detectors: 5 years ago
Josselin b574ad753e EVM printer: fix bug + improve travis test 5 years ago
Josselin 4074bd36d2 Improve travis test 5 years ago
Josselin 7ae58b6964 RTLO detector: show relative path to allow same ID on different machines 5 years ago
Josselin b872f70738 Create slither-check-kspec tool 5 years ago
Josselin ff59854e8a slither erc check: 5 years ago
Josselin cb2c6073ec Upgradeability checks: 5 years ago
Josselin ae31524d07 Refactor slither-upgradeability-check: 5 years ago
Josselin 5c793c75ba Use node 10.17.0 for embark and etherlime 5 years ago
Josselin 28b7bb35ef Update dapp test 5 years ago
Josselin 30e8e88a3c Use cache to speed up dapp travis test 5 years ago
Josselin 256fb1ec0b Update etherscan test 5 years ago
Josselin a9dea21ca8 Update travis tests 5 years ago
Josselin 17e8f1b7b0 Remove custom crytic-compile install in travis_install.sh 5 years ago
Josselin ab96c09d08 Minor 5 years ago
Josselin 9d93e7bd9f Add support for ternary operator in modifier/constructor calls 5 years ago
Josselin 3fff0bf5b2 Upadte etherscan travis test 5 years ago
Josselin ce44853177 Minor fixes 5 years ago
Josselin dd1330609b Update travis tests 6 years ago
Josselin c7afbcb487 Rtlo: print the line containing the rtlo + fix travis 6 years ago
Josselin db2b22d757 Fix travis 6 years ago
Josselin 0a28154bf3 Update etherscan test 6 years ago
Josselin b2c7237cce external function detector: 6 years ago