Commit Graph

101 Commits (0c52bd585f6144ef0d23d4fadcbf0a5beef644b3)

Author SHA1 Message Date
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 6 years ago
Josselin b96a857f8d External function: Update to Optimization type 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 b2c7237cce external function detector: 6 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
Josselin ac82e1fc0c Update to crytic-compile d90d8372d2826fb310ff83e87e4fa9ea0d553ae3 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
agroce 4d0f55733b change arbirary to arbitrary 6 years ago
Josselin f53151e695 Open source 3 detectors: 6 years ago
Josselin 3665108cf8 Update travis test to fixed solc version/pragma json 6 years ago
Josselin bec190e877 Update uninit storage pointer testcase 6 years ago
Josselin 768c84b334 Upgrade travis test + update readme + allow solc 0.4.24 6 years ago
Josselin 52322ebb37 Open source shadowing local and shadowing builtin detectors 6 years ago