TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3561 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: c08191b1c1
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'c08191b1c1'
${ noResults }
Commit Graph

681 Commits (c08191b1c1c7f7d8bfcfc11274268c0f086a41b4)

Author SHA1 Message Date
bohendo f0c87149f7 fix test
2 years ago
Pascal Marco Caversaccio f6de01afb1
Update tests/test_path_filtering/slither.config.json
2 years ago
Emilio López d47dd66579 Fix linting errors
2 years ago
Emilio López 2879514f23 Add tests for large and negative constants
2 years ago
Emilio López b563be7af9 Add tests for rational and scientific notation constants
2 years ago
alpharush 0e264b3b84 consider state variable collisions and incorrect return type
2 years ago
Simone 90520c591b Add parsing tests
2 years ago
alpharush 0d04e17f8c remove pragmas and make syntax compatible
2 years ago
alpharush a17a938a90 use standard test convention, match on sig instead of name
2 years ago
Josselin Feist 6dc5856be7 Use a best effort approach for internal function function-id
2 years ago
Josselin Feist 81f0e70423 Make results deterministic
2 years ago
Josselin Feist be82a1fe16 Multiple improvements
2 years ago
Josselin Feist d2a93f0225 Update the cross function reentrancy heuristic to work on variable read, and public state variables
2 years ago
Josselin Feist 08994a3971 Filter reentrancies detector based on the nonReentrant modifier
2 years ago
Josselin Feist 70dff581ed Add function.all_reachable_from_functions and function.is_reentrant
2 years ago
alpharush 3e9859cd89 implement full name for custom error and match on it
2 years ago
Josselin Feist a34c87812b Add tests for solc 0.8.13+
2 years ago
plotchy 1bec56f64e add 0.8.15/0.7.6 tests for disableInitializers
2 years ago
alpharush f7e22a75e1 implement detector for erc20 tokens that have function collision with DOMAIN_SEPARATOR
2 years ago
Josselin Feist 48b5202551 Minor
2 years ago
Josselin Feist 633e4adf5a regenerate tests
2 years ago
Josselin Feist 350b26596d Minor
2 years ago
Josselin Feist 4b7541f8e3 Improve generation of solidity signature
2 years ago
alpharush d11ed3608d fix json output and update with new fields (name and elems)
2 years ago
Josselin Feist 6d3149a59a Minor
2 years ago
Josselin Feist f4f686e8d3 Minor
2 years ago
Josselin Feist 485e4a9674 Additional improvements - CI still failing
2 years ago
Josselin Feist 46cb8a5cd2 Fix test_read_storage.py
2 years ago
Josselin Feist f10401593e Add testcase
2 years ago
Feist Josselin 26ad3c6872
include enums declared in top level (#1300)
2 years ago
Pascal Marco Caversaccio 36875c7412
using bash scripts now
2 years ago
Feist Josselin 0056406b5a
Fix broken tests introduced with #1239 (#1302)
2 years ago
Pascal Marco Caversaccio e2afe85b2a
refactor and remove CI tests
2 years ago
Pascal Marco Caversaccio cf3d1c5365
solc version 0.8.0
2 years ago
Pascal Marco Caversaccio d94cb4e97f
add test suite for path filtering
2 years ago
alpharush 2e341aee9b
do not convert IRs with arguments to state var read (#1230)
2 years ago
Kyle Baker 6971f3005d
replace-initialize (#1239)
2 years ago
alpharush 167b4c0394
handle tmp call to library's custom error (#1267)
2 years ago
alpharush 98e6d8c13e
add support for enum max/min members, fix min member on elementary (#1276)
2 years ago
Emilio López ce0a4006b9
Disable coloring if output is not a terminal, fix Windows tests (#1244)
2 years ago
alpharush b6e17811f9 add tests and artifacts
2 years ago
alpharush 57cbafa51d handle constant conversionn of type alias
2 years ago
alpharush ee82e10164 fix argument propagation for .unwrap
2 years ago
alpharush 77551209d2 convert .call() member of address type alias to low level call
2 years ago
alpharush d0a4f5595d
add up to 0.8.15 for ast tests (#1268)
2 years ago
alpharush 7d11f06efe add top level identifier to test cases
2 years ago
alpharush 809a24260e additional edge cases
2 years ago
alpharush 793c4c4ee4 add failing test cases for user defined types
2 years ago
Josselin Feist 672c4b312c Improve support for IdentifierPath (solidity 0.8)
3 years ago
Henrik Brodin fdf346f530
Hbrodin/ssa array tests (#1205)
3 years ago