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

4473 Commits (aed59279801addbc84fa820464469b3075d1f7f0)
 

Author SHA1 Message Date
alpharush e580b2ff28 pylint
10 months ago
alpharush 3ff3103cfa fix: support renaming in base inheritance and base constructor calls
10 months ago
alpharush 3163e248dc
Merge pull request #2298 from crytic/dev-triage-db
10 months ago
Simone 18ec60eb2b Update tests
10 months ago
Simone f57c2ca0b3 Detect only assembly blocks
10 months ago
Simone fda9935c52 Add ENDASSEMLBY node for solc < 0.6.0
10 months ago
Simone 350eef35ea Merge branch 'dev' into dev-solidity-0.8.24
10 months ago
Simone 591c4c0953 Add test
10 months ago
Judy Wu 4f4acae1af feat: address issue #1644 and add new api to return state variables that have a storage location instead of filtering
10 months ago
alpharush 9fa8e8ea1f
Merge pull request #2312 from crytic/fix/example
10 months ago
alpharush 82645a982b
Merge pull request #2311 from crytic/dev-slither-prop
10 months ago
alpharush f2f7598ccf fmt
10 months ago
Judy Wu b1c58ca9b2 format
10 months ago
Emilio López 9996e4e56e tools: documentation: correct tool description
10 months ago
Emilio López 261182f340 tools: properties: correct tool description and usage
10 months ago
alpharush 65fcb4bf58
Merge pull request #2219 from crytic/dev-tp-events
10 months ago
bohendo 14bdd7cd36
ignore pylint warning re too-many-branches
10 months ago
alpharush 029d5db8b8
Merge pull request #2310 from elopez/dev-colorless
10 months ago
alpharush 4e52b40892
Merge pull request #2264 from crytic/dependabot/github_actions/dev/actions/download-artifact-4
10 months ago
bohendo bb68df0818
black format
10 months ago
bohendo df4154d3ed
log total elapsed time
10 months ago
bohendo fac704270a
log output if tests fail before mutating
10 months ago
bohendo 924252e420
run black reformatter
10 months ago
bohendo e47f4e1b94
rm some obsolete code & polish logs
10 months ago
bohendo 34ab55f682
replace quick flag with comprehensive flag
10 months ago
bohendo b362a3c057
force recompilation during initial timing test run
10 months ago
bohendo 61242af57a
set smart default timeout
10 months ago
bohendo 89e2318fd8
run tests before starting, abort if they don't pass
10 months ago
Emilio López 4a6920a2b5 ci: test: adjust to new artifact merging behavior
10 months ago
Emilio López b107e9e22c Bump actions/upload-artifact from 3 to 4
10 months ago
dependabot[bot] 3eebf49c1a Bump actions/download-artifact from 3 to 4
10 months ago
Emilio López b66b3e091f slither: utils: respect colorization state when printing tables
10 months ago
bohendo dcea61a3c9
ensure timeout is an int
10 months ago
bohendo 15e56eea71
clean up mutated files on interrupt
10 months ago
bohendo 9862a1b113
exit testing subprocess more gracefully on ctrl-c or timeout
10 months ago
bohendo 43ec72f783
log warning instead of crashing on test timeout/interruption
10 months ago
unknown 9fd6128b94 Changes to be committed:
10 months ago
Tigran Avagyan 50f1b98b94 reformatted
10 months ago
Tigran Avagyan 247a90edbc fixed immediate inheritance
10 months ago
Tigran Avagyan 044c6beb1c
Merge branch 'crytic:dev' into dev
10 months ago
bohendo ef1fce3099
Merge branch 'dev' into mutator/fit-and-finish
10 months ago
bohendo ef0e354f0d
rename in/valid mutants to un/caught
10 months ago
bohendo fa8be857cc
tidy up logs
10 months ago
bohendo c7cd1378ac
hide very verbose logs behind a -vv flag
10 months ago
bohendo 69748c8aa3
update debug logs and mutant counters
10 months ago
bohendo 5d43f9e28e
use dedicated variable for naming mutant files
10 months ago
bohendo fcbd327842
remove redundant skip-mutating-contract logic
10 months ago
Matt Solomon e876d61fd5
fix: broken doc links (#2299)
10 months ago
Emilio López 4f09d23823 Make triage database path customizable
10 months ago
bohendo 9ef4c2aeb9
don't mutate interfaces
10 months ago