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

1605 Commits (8ac7039304027d1eb87879a38562710257dcd1d7)
 

Author SHA1 Message Date
rajeevgopalakrishna 5434e6e11f Fixes bug where prev_mapping was not being set when file_id == 1
6 years ago
rajeevgopalakrishna 209d3a31af Fixes bug where prev_mapping was not being set when file_id == 1
6 years ago
Feist Josselin 5d6ab217a8
Merge pull request #277 from crytic/feature-exclude-optimization-flag
6 years ago
Eric Rafaloff bc1cb0df2d Add --exclude-optimization flag
6 years ago
Eric Rafaloff 5d88be8328 Detect Aragon OS
6 years ago
rajeevgopalakrishna 8944eab3be Adds get_evm_instructions() API to script-ify getting evm instructions of Contract, Function or Node.
6 years ago
rajeevgopalakrishna 8f1c3e06f4 Improves code readability
6 years ago
rajeevgopalakrishna 29f44a6f62 Adds comments and some more formatting changes
6 years ago
rajeevgopalakrishna 2c81043641 Adds minor format changes
6 years ago
rajeevgopalakrishna 72c2fcc4ae Adds printing of PCs for evm instructions.
6 years ago
rajeevgopalakrishna ac65676ff9 Adds printing of source lines and minor formatting changes.
6 years ago
rajeevgopalakrishna 8e1bab8589 Adds a new printer (WIP) to output the evm instructions of nodes in functions.
6 years ago
Josselin 6b24829861 Update README
6 years ago
Josselin dad1fbd1dd Merge branch 'dev'
6 years ago
Feist Josselin 77ba6fb51f
Merge pull request #269 from crytic/dev-exclude-dependencies-flag
6 years ago
Josselin dd1330609b Update travis tests
6 years ago
Josselin df595b37ca Merge branch 'dev' into dev-exclude-dependencies-flag
6 years ago
Feist Josselin 09f2250e18
Merge pull request #257 from crytic/dev-fix-external-function-detector
6 years ago
Josselin b96a857f8d External function: Update to Optimization type
6 years ago
Feist Josselin cee4484b86
Merge pull request #263 from crytic/dev-generic-sourcemapping
6 years ago
Josselin c7afbcb487 Rtlo: print the line containing the rtlo + fix travis
6 years ago
Josselin 3290b4f569 Merge branch 'dev' into dev-generic-sourcemapping
6 years ago
Feist Josselin bac034810c
Merge branch 'dev' into dev-fix-external-function-detector
6 years ago
Feist Josselin e2948fa2b4
Merge pull request #260 from crytic/dev-fix-naming-convention-false-alert-empty-parameter-name
6 years ago
David Pokora f526a74071
Added json result types for compilation (ast, bytecode, srcmap, filenames, etc).
6 years ago
David Pokora e85848b998
-Added --json-types command line argument to individually specify result output options.
6 years ago
Josselin b79846a12c Merge branch 'dev' into dev-fix-external-function-detector
6 years ago
Josselin db2b22d757 Fix travis
6 years ago
Feist Josselin 1167b5f5e8
Merge pull request #264 from ChrisChinchilla/patch-1
6 years ago
Josselin 3253801a31 source_mapping: minor
6 years ago
Josselin 0a28154bf3 Update etherscan test
6 years ago
Josselin b2c7237cce external function detector:
6 years ago
Feist Josselin fb47309209
Merge pull request #265 from crytic/dev-detector-category-optimization
6 years ago
David Pokora 53a3bee4de
Updated standard output capturing to optionally mirror to stdout/stderr (needed for outputting JSON to file, which retains output to console as well).
6 years ago
Eric Rafaloff f80c18aeba Add --exclude-dependencies flag
6 years ago
rajeevgopalakrishna f2b89aaa0b slither-format:
6 years ago
rajeevgopalakrishna 5f7e38869a Updated README's To-do list of known limitations.
6 years ago
David Pokora 4efe4b2fb5
-stdout/stderr redirect to capture output and output in JSON results
6 years ago
Eric Rafaloff 37d1fa0729 Add 'optimization' as a new detector category
6 years ago
rajeevgopalakrishna c8c7c7c799 slither-format:
6 years ago
Chris Chinchilla 343697dad7
Update README.md
6 years ago
rajeevgopalakrishna 09e32f1676 slither-format:
6 years ago
rajeevgopalakrishna dd631a1a08 - Fixes contract naming convention to include interface & library
6 years ago
David Pokora 759368cb6e
Improved rtlo element source mapping
6 years ago
David Pokora 1e1b736eca
-Added function to add generic/other source mapped elements to JSON results.
6 years ago
Josselin eaf1c99ffe Slither-format:
6 years ago
rajeevgopalakrishna 9c7f71fa12 Adds multiline formatting changes.
6 years ago
rajeevgopalakrishna 37cdcc12c5 Makes regex stricter for external-function detector.
6 years ago
rajeevgopalakrishna 32120be441 Adds use of get_contract_from_name and other loop optimizations.
6 years ago
rajeevgopalakrishna b9962c0d96 Adds five more real-world non-trivial contracts for testing.
6 years ago