Commit Graph

112 Commits (dev-0.7)

Author SHA1 Message Date
Josselin 0caada35dc solc-version: minor 4 years ago
Josselin ff0d820da6 solc-version: 4 years ago
Josselin 799fe16c21 Update solc-version recommended versions (fix #570) 4 years ago
Josselin cd592e2923 Copy editing on all public detectors 4 years ago
Josselin 2b5f3099dd Update tests 4 years ago
Josselin 160159a915 Parsing split in Node/Function/Modifier/Contract/Slither 4 years ago
Josselin 2b4a67da9a Fix bug introduced in #445: The change in the function signature makes the parsing failed, as solc generated in the json type using the contract's name 5 years ago
Josselin 8e9ff550ed Update regression tests 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 7e54ed42f3 Fix finding id 5 years ago
Josselin 752ad77985 Fix spelling mistake (Fix 398) 5 years ago
Josselin 48e22a89f3 Add missing test 5 years ago
Josselin 29e5aed70e solc-version detector: 5 years ago
Josselin 2dc71bcf75 Finding ID generation: prevent collision on pragma 5 years ago
Josselin 14ec175f81 Add missing test files 5 years ago
Vlad Silviu Farcas 6fdfeb85b1 Fix tests 5 years ago
Vlad Silviu Farcas 3fbd78e3a7 Fix tests 5 years ago
Vlad Silviu Farcas 2440b95fe8 Fix tests 5 years ago
Josselin 1bb72898f6 Reentrancies detectors: 5 years ago
Josselin 7ae58b6964 RTLO detector: show relative path to allow same ID on different machines 5 years ago
Josselin be3bd84630 Add id to Output 5 years ago
Josselin e364ba208e API break: generate_json_result takes a list as input, instead of a str 5 years ago
Josselin 2832d62ba4 Improve external function detector: merge together shadowed function 5 years ago
Josselin a9dea21ca8 Update travis tests 5 years ago
Josselin 9d93e7bd9f Add support for ternary operator in modifier/constructor calls 5 years ago
Josselin 595e8b9828 Fix travis 5 years ago
Josselin ce44853177 Minor fixes 5 years ago
Josselin dd1330609b Update travis tests 5 years ago
Josselin b96a857f8d External function: Update to Optimization type 5 years ago
Josselin c7afbcb487 Rtlo: print the line containing the rtlo + fix travis 5 years ago
Josselin db2b22d757 Fix travis 5 years ago
Josselin b2c7237cce external function detector: 5 years ago
Eric Rafaloff 37d1fa0729 Add 'optimization' as a new detector category 6 years ago
Josselin a97903836c Fix incorrect source mapping on if/while/for condition (close #245) 6 years ago
Josselin 6ec7814afb Improve solc-version detector (fix 189) 6 years ago
Josselin 6e2194bea4 Json modifications: 6 years ago
Josselin 62f5c6756c Update travis tests 6 years ago
Josselin 9149bfc5bf Rename add_other_to_json to add_pragma_to_json 6 years ago
Josselin 0bec4a800f Update travis 6 years ago
Josselin 88f08349ec Minor 6 years ago
Josselin 5303b644ba Minor 6 years ago
Josselin 9ba8bb8434 Add two new detectors: 6 years ago
Josselin 2c63abe9a8 Update expected json 6 years ago
Josselin 1d4d681e2c Add missing files 6 years ago
Josselin 5e1eb42311 ERC20/721 detector: move is_possible_* function to contract.has_an_erc*_function 6 years ago
Josselin d1dbef483d Improve too many digits detector. Fix travis test 6 years ago
Josselin b6af826a83 Improve travis tests: 6 years ago
Josselin 8d0297f604 Fix travis path 6 years ago
Josselin a58da24e86 Update travis test 6 years ago
Josselin f7d68c05f6 Fix travis 6 years ago