TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #269 from crytic/dev-exclude-dependencies-flag

Browse Source 
Add --exclude-dependencies flag
pull/277/head
Feist Josselin 6 years ago committed by GitHub
parent 09f2250e18 dd1330609b
commit 77ba6fb51f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
52 changed files with 508 additions and 3 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      scripts/tests_generate_expected_json_4.sh
  2. 9
      slither/__main__.py
  3. 4
      slither/core/slither_core.py
  4. 6
      slither/core/source_mapping/source_mapping.py
  5. 3
      slither/slither.py
  6. 10
      tests/expected_json/arbitrary_send-0.5.1.arbitrary-send.json
  7. 10
      tests/expected_json/arbitrary_send.arbitrary-send.json
  8. 2
      tests/expected_json/backdoor.backdoor.json
  9. 2
      tests/expected_json/backdoor.suicidal.json
  10. 12
      tests/expected_json/const_state_variables.constable-states.json
  11. 2
      tests/expected_json/constant-0.5.1.constant-function.json
  12. 10
      tests/expected_json/constant.constant-function.json
  13. 10
      tests/expected_json/controlled_delegatecall.controlled-delegatecall.json
  14. 20
      tests/expected_json/deprecated_calls.deprecated-standards.json
  15. 8
      tests/expected_json/erc20_indexed.erc20-indexed.json
  16. 10
      tests/expected_json/external_function.external-function.json
  17. 60
      tests/expected_json/incorrect_equality.incorrect-equality.json
  18. 12
      tests/expected_json/incorrect_erc20_interface.erc20-interface.json
  19. 20
      tests/expected_json/incorrect_erc721_interface.erc721-interface.json
  20. 5
      tests/expected_json/inline_assembly_contract-0.5.1.assembly.json
  21. 5
      tests/expected_json/inline_assembly_contract.assembly.json
  22. 10
      tests/expected_json/inline_assembly_library-0.5.1.assembly.json
  23. 10
      tests/expected_json/inline_assembly_library.assembly.json
  24. 3
      tests/expected_json/locked_ether-0.5.1.locked-ether.json
  25. 3
      tests/expected_json/locked_ether.locked-ether.json
  26. 5
      tests/expected_json/low_level_calls.low-level-calls.json
  27. 3
      tests/expected_json/multiple_calls_in_loop.calls-loop.json
  28. 25
      tests/expected_json/naming_convention.naming-convention.json
  29. 1
      tests/expected_json/old_solc.sol.json.solc-version.json
  30. 2
      tests/expected_json/pragma.0.4.24.pragma.json
  31. 16
      tests/expected_json/reentrancy-0.5.1.reentrancy-eth.json
  32. 16
      tests/expected_json/reentrancy.reentrancy-eth.json
  33. 1
      tests/expected_json/right_to_left_override.rtlo.json
  34. 4
      tests/expected_json/shadowing_abstract.shadowing-abstract.json
  35. 29
      tests/expected_json/shadowing_builtin_symbols.shadowing-builtin.json
  36. 29
      tests/expected_json/shadowing_local_variable.shadowing-local.json
  37. 4
      tests/expected_json/shadowing_state_variable.shadowing-state.json
  38. 2
      tests/expected_json/solc_version_incorrect.solc-version.json
  39. 2
      tests/expected_json/solc_version_incorrect_05.ast.json.solc-version.json
  40. 15
      tests/expected_json/timestamp.timestamp.json
  41. 18
      tests/expected_json/too_many_digits.too-many-digits.json
  42. 6
      tests/expected_json/tx_origin-0.5.1.tx-origin.json
  43. 6
      tests/expected_json/tx_origin.tx-origin.json
  44. 5
      tests/expected_json/unchecked_lowlevel-0.5.1.unchecked-lowlevel.json
  45. 5
      tests/expected_json/unchecked_lowlevel.unchecked-lowlevel.json
  46. 5
      tests/expected_json/unchecked_send-0.5.1.unchecked-send.json
  47. 16
      tests/expected_json/uninitialized-0.5.1.uninitialized-state.json
  48. 16
      tests/expected_json/uninitialized.uninitialized-state.json
  49. 5
      tests/expected_json/uninitialized_local_variable.uninitialized-local.json
  50. 5
      tests/expected_json/uninitialized_storage_pointer.uninitialized-storage.json
  51. 10
      tests/expected_json/unused_return.unused-return.json
  52. 12
      tests/expected_json/unused_state.unused-state.json

2
scripts/tests_generate_expected_json_4.sh
Unescape View File

@ -54,5 +54,5 @@ generate_expected_json(){
#generate_expected_json tests/shadowing_builtin_symbols.sol "shadowing-builtin" #generate_expected_json tests/shadowing_builtin_symbols.sol "shadowing-builtin"
#generate_expected_json tests/shadowing_local_variable.sol "shadowing-local" #generate_expected_json tests/shadowing_local_variable.sol "shadowing-local"
#generate_expected_json tests/solc_version_incorrect.sol "solc-version" #generate_expected_json tests/solc_version_incorrect.sol "solc-version"
generate_expected_json tests/right_to_left_override.sol "rtlo" #generate_expected_json tests/right_to_left_override.sol "rtlo"
#generate_expected_json tests/unchecked_lowlevel.sol "unchecked-lowlevel" #generate_expected_json tests/unchecked_lowlevel.sol "unchecked-lowlevel"

9
slither/__main__.py
Unescape View File

@ -88,7 +88,8 @@ def process_files(filenames, args, detector_classes, printer_classes):
disable_solc_warnings=args.disable_solc_warnings, disable_solc_warnings=args.disable_solc_warnings,
solc_arguments=args.solc_args, solc_arguments=args.solc_args,
filter_paths=parse_filter_paths(args), filter_paths=parse_filter_paths(args),
triage_mode=args.triage_mode) triage_mode=args.triage_mode,
exclude_dependencies=args.exclude_dependencies)
return _process(slither, detector_classes, printer_classes) return _process(slither, detector_classes, printer_classes)
@ -258,6 +259,7 @@ defaults_flag_in_config = {
'detectors_to_run': 'all', 'detectors_to_run': 'all',
'printers_to_run': None, 'printers_to_run': None,
'detectors_to_exclude': None, 'detectors_to_exclude': None,
'exclude_dependencies': False,
'exclude_informational': False, 'exclude_informational': False,
'exclude_low': False, 'exclude_low': False,
'exclude_medium': False, 'exclude_medium': False,
@ -330,6 +332,11 @@ def parse_args(detector_classes, printer_classes):
dest='detectors_to_exclude', dest='detectors_to_exclude',
default=defaults_flag_in_config['detectors_to_exclude']) default=defaults_flag_in_config['detectors_to_exclude'])
group_detector.add_argument('--exclude-dependencies',
help='Exclude results that are only related to dependencies',
action='store_true',
default=defaults_flag_in_config['exclude_dependencies'])
group_detector.add_argument('--exclude-informational', group_detector.add_argument('--exclude-informational',
help='Exclude informational impact analyses', help='Exclude informational impact analyses',
action='store_true', action='store_true',

4
slither/core/slither_core.py
Unescape View File

@ -181,10 +181,14 @@ class Slither(Context):
A result is invalid if: A result is invalid if:
- All its source paths belong to the source path filtered - All its source paths belong to the source path filtered
- Or a similar result was reported and saved during a previous run - Or a similar result was reported and saved during a previous run
- The --exclude-dependencies flag is set and results are only related to dependencies
''' '''
source_mapping_elements = [elem['source_mapping']['filename_absolute'] for elem in r['elements'] if 'source_mapping' in elem] source_mapping_elements = [elem['source_mapping']['filename_absolute'] for elem in r['elements'] if 'source_mapping' in elem]
if r['elements'] and all((any(path in src_mapping for path in self._paths_to_filter) for src_mapping in source_mapping_elements)): if r['elements'] and all((any(path in src_mapping for path in self._paths_to_filter) for src_mapping in source_mapping_elements)):
return False return False
if r['elements'] and self._exclude_dependencies:
return not all(element['source_mapping']['is_dependency'] for element in r['elements'])
return not r['description'] in [pr['description'] for pr in self._previous_results] return not r['description'] in [pr['description'] for pr in self._previous_results]
def load_previous_results(self): def load_previous_results(self):

6
slither/core/source_mapping/source_mapping.py
Unescape View File

@ -77,6 +77,8 @@ class SourceMapping(Context):
filename_relative = None filename_relative = None
filename_short = None filename_short = None
is_dependency = False
lines = [] lines = []
# If possible, convert the filename to its absolute/relative version # If possible, convert the filename to its absolute/relative version
@ -86,6 +88,8 @@ class SourceMapping(Context):
filename_relative = filenames.relative filename_relative = filenames.relative
filename_short = filenames.short filename_short = filenames.short
is_dependency = slither.crytic_compile.is_dependency(filename_absolute)
if filename_absolute in slither.source_code: if filename_absolute in slither.source_code:
filename = filename_absolute filename = filename_absolute
elif filename_relative in slither.source_code: elif filename_relative in slither.source_code:
@ -105,13 +109,13 @@ class SourceMapping(Context):
else: else:
(lines, starting_column, ending_column) = ([], None, None) (lines, starting_column, ending_column) = ([], None, None)
return {'start':s, return {'start':s,
'length':l, 'length':l,
'filename_used': filename_used, 'filename_used': filename_used,
'filename_relative': filename_relative, 'filename_relative': filename_relative,
'filename_absolute': filename_absolute, 'filename_absolute': filename_absolute,
'filename_short': filename_short, 'filename_short': filename_short,
'is_dependency': is_dependency,
'lines' : lines, 'lines' : lines,
'starting_column': starting_column, 'starting_column': starting_column,
'ending_column': ending_column 'ending_column': ending_column

3
slither/slither.py
Unescape View File

@ -33,6 +33,7 @@ class Slither(SlitherSolc):
ast_format (str): ast format (default '--ast-compact-json') ast_format (str): ast format (default '--ast-compact-json')
filter_paths (list(str)): list of path to filter (default []) filter_paths (list(str)): list of path to filter (default [])
triage_mode (bool): if true, switch to triage mode (default false) triage_mode (bool): if true, switch to triage mode (default false)
exclude_dependencies (bool): if true, exclude results that are only related to dependencies
truffle_ignore (bool): ignore truffle.js presence (default false) truffle_ignore (bool): ignore truffle.js presence (default false)
truffle_build_directory (str): build truffle directory (default 'build/contracts') truffle_build_directory (str): build truffle directory (default 'build/contracts')
@ -67,6 +68,8 @@ class Slither(SlitherSolc):
for p in filter_paths: for p in filter_paths:
self.add_path_to_filter(p) self.add_path_to_filter(p)
self._exclude_dependencies = kwargs.get('exclude_dependencies', False)
triage_mode = kwargs.get('triage_mode', False) triage_mode = kwargs.get('triage_mode', False)
self._triage_mode = triage_mode self._triage_mode = triage_mode

10
tests/expected_json/arbitrary_send-0.5.1.arbitrary-send.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -38,6 +39,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -98,6 +100,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
12 12
], ],
@ -115,6 +118,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -134,6 +138,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -204,6 +209,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
19, 19,
20, 20,
@ -223,6 +229,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -283,6 +290,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
20 20
], ],
@ -300,6 +308,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
19, 19,
20, 20,
@ -319,6 +328,7 @@
"filename_relative": "tests/arbitrary_send-0.5.1.sol", "filename_relative": "tests/arbitrary_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send-0.5.1.sol",
"filename_short": "tests/arbitrary_send-0.5.1.sol", "filename_short": "tests/arbitrary_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

10
tests/expected_json/arbitrary_send.arbitrary-send.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -38,6 +39,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -98,6 +100,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
12 12
], ],
@ -115,6 +118,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -134,6 +138,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -204,6 +209,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
19, 19,
20, 20,
@ -223,6 +229,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -283,6 +290,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
20 20
], ],
@ -300,6 +308,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
19, 19,
20, 20,
@ -319,6 +328,7 @@
"filename_relative": "tests/arbitrary_send.sol", "filename_relative": "tests/arbitrary_send.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/arbitrary_send.sol",
"filename_short": "tests/arbitrary_send.sol", "filename_short": "tests/arbitrary_send.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

2
tests/expected_json/backdoor.backdoor.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/backdoor.sol", "filename_relative": "tests/backdoor.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/backdoor.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/backdoor.sol",
"filename_short": "tests/backdoor.sol", "filename_short": "tests/backdoor.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -38,6 +39,7 @@
"filename_relative": "tests/backdoor.sol", "filename_relative": "tests/backdoor.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/backdoor.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/backdoor.sol",
"filename_short": "tests/backdoor.sol", "filename_short": "tests/backdoor.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,

2
tests/expected_json/backdoor.suicidal.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/backdoor.sol", "filename_relative": "tests/backdoor.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/backdoor.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/backdoor.sol",
"filename_short": "tests/backdoor.sol", "filename_short": "tests/backdoor.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -38,6 +39,7 @@
"filename_relative": "tests/backdoor.sol", "filename_relative": "tests/backdoor.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/backdoor.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/backdoor.sol",
"filename_short": "tests/backdoor.sol", "filename_short": "tests/backdoor.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,

12
tests/expected_json/const_state_variables.constable-states.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
7 7
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -80,6 +82,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
10 10
], ],
@ -97,6 +100,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -141,6 +145,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
14 14
], ],
@ -158,6 +163,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -202,6 +208,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
26 26
], ],
@ -219,6 +226,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
24, 24,
25, 25,
@ -259,6 +267,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
42 42
], ],
@ -276,6 +285,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
39, 39,
40, 40,
@ -316,6 +326,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
43 43
], ],
@ -333,6 +344,7 @@
"filename_relative": "tests/const_state_variables.sol", "filename_relative": "tests/const_state_variables.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/const_state_variables.sol",
"filename_short": "tests/const_state_variables.sol", "filename_short": "tests/const_state_variables.sol",
"is_dependency": false,
"lines": [ "lines": [
39, 39,
40, 40,

2
tests/expected_json/constant-0.5.1.constant-function.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/constant-0.5.1.sol", "filename_relative": "tests/constant-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant-0.5.1.sol",
"filename_short": "tests/constant-0.5.1.sol", "filename_short": "tests/constant-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
15, 15,
16, 16,
@ -38,6 +39,7 @@
"filename_relative": "tests/constant-0.5.1.sol", "filename_relative": "tests/constant-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant-0.5.1.sol",
"filename_short": "tests/constant-0.5.1.sol", "filename_short": "tests/constant-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

10
tests/expected_json/constant.constant-function.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -38,6 +39,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -82,6 +84,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
3 3
], ],
@ -99,6 +102,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -153,6 +157,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
9, 9,
10, 10,
@ -172,6 +177,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -216,6 +222,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
3 3
], ],
@ -233,6 +240,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -287,6 +295,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
22, 22,
23, 23,
@ -306,6 +315,7 @@
"filename_relative": "tests/constant.sol", "filename_relative": "tests/constant.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/constant.sol",
"filename_short": "tests/constant.sol", "filename_short": "tests/constant.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

10
tests/expected_json/controlled_delegatecall.controlled-delegatecall.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
10 10
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
8, 8,
9, 9,
@ -56,6 +58,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -102,6 +105,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
8, 8,
9, 9,
@ -122,6 +126,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -174,6 +179,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
19 19
], ],
@ -191,6 +197,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -210,6 +217,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -256,6 +264,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -275,6 +284,7 @@
"filename_relative": "tests/controlled_delegatecall.sol", "filename_relative": "tests/controlled_delegatecall.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/controlled_delegatecall.sol",
"filename_short": "tests/controlled_delegatecall.sol", "filename_short": "tests/controlled_delegatecall.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

20
tests/expected_json/deprecated_calls.deprecated-standards.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
2 2
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -89,6 +91,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
7 7
], ],
@ -106,6 +109,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -129,6 +133,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -185,6 +190,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
9 9
], ],
@ -202,6 +208,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -225,6 +232,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -281,6 +289,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
16 16
], ],
@ -298,6 +307,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -327,6 +337,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -383,6 +394,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
19 19
], ],
@ -400,6 +412,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -429,6 +442,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -485,6 +499,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
22 22
], ],
@ -502,6 +517,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -531,6 +547,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -587,6 +604,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -604,6 +622,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -633,6 +652,7 @@
"filename_relative": "tests/deprecated_calls.sol", "filename_relative": "tests/deprecated_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/deprecated_calls.sol",
"filename_short": "tests/deprecated_calls.sol", "filename_short": "tests/deprecated_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

8
tests/expected_json/erc20_indexed.erc20-indexed.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/erc20_indexed.sol", "filename_relative": "tests/erc20_indexed.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol",
"filename_short": "tests/erc20_indexed.sol", "filename_short": "tests/erc20_indexed.sol",
"is_dependency": false,
"lines": [ "lines": [
19 19
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/erc20_indexed.sol", "filename_relative": "tests/erc20_indexed.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol",
"filename_short": "tests/erc20_indexed.sol", "filename_short": "tests/erc20_indexed.sol",
"is_dependency": false,
"lines": [ "lines": [
12, 12,
13, 13,
@ -76,6 +78,7 @@
"filename_relative": "tests/erc20_indexed.sol", "filename_relative": "tests/erc20_indexed.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol",
"filename_short": "tests/erc20_indexed.sol", "filename_short": "tests/erc20_indexed.sol",
"is_dependency": false,
"lines": [ "lines": [
19 19
], ],
@ -93,6 +96,7 @@
"filename_relative": "tests/erc20_indexed.sol", "filename_relative": "tests/erc20_indexed.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol",
"filename_short": "tests/erc20_indexed.sol", "filename_short": "tests/erc20_indexed.sol",
"is_dependency": false,
"lines": [ "lines": [
12, 12,
13, 13,
@ -133,6 +137,7 @@
"filename_relative": "tests/erc20_indexed.sol", "filename_relative": "tests/erc20_indexed.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol",
"filename_short": "tests/erc20_indexed.sol", "filename_short": "tests/erc20_indexed.sol",
"is_dependency": false,
"lines": [ "lines": [
20 20
], ],
@ -150,6 +155,7 @@
"filename_relative": "tests/erc20_indexed.sol", "filename_relative": "tests/erc20_indexed.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol",
"filename_short": "tests/erc20_indexed.sol", "filename_short": "tests/erc20_indexed.sol",
"is_dependency": false,
"lines": [ "lines": [
12, 12,
13, 13,
@ -190,6 +196,7 @@
"filename_relative": "tests/erc20_indexed.sol", "filename_relative": "tests/erc20_indexed.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol",
"filename_short": "tests/erc20_indexed.sol", "filename_short": "tests/erc20_indexed.sol",
"is_dependency": false,
"lines": [ "lines": [
20 20
], ],
@ -207,6 +214,7 @@
"filename_relative": "tests/erc20_indexed.sol", "filename_relative": "tests/erc20_indexed.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/erc20_indexed.sol",
"filename_short": "tests/erc20_indexed.sol", "filename_short": "tests/erc20_indexed.sol",
"is_dependency": false,
"lines": [ "lines": [
12, 12,
13, 13,

10
tests/expected_json/external_function.external-function.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -38,6 +39,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -84,6 +86,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
17, 17,
18, 18,
@ -103,6 +106,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -149,6 +153,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
21, 21,
22, 22,
@ -168,6 +173,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -214,6 +220,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
32, 32,
33, 33,
@ -238,6 +245,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
31, 31,
32, 32,
@ -275,6 +283,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
74, 74,
75, 75,
@ -294,6 +303,7 @@
"filename_relative": "tests/external_function.sol", "filename_relative": "tests/external_function.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/external_function.sol",
"filename_short": "tests/external_function.sol", "filename_short": "tests/external_function.sol",
"is_dependency": false,
"lines": [ "lines": [
72, 72,
73, 73,

60
tests/expected_json/incorrect_equality.incorrect-equality.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
22 22
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
21, 21,
22, 22,
@ -55,6 +57,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
10, 10,
11, 11,
@ -95,6 +98,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
21, 21,
22, 22,
@ -114,6 +118,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
10, 10,
11, 11,
@ -160,6 +165,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
26 26
], ],
@ -177,6 +183,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
25, 25,
26, 26,
@ -196,6 +203,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
10, 10,
11, 11,
@ -236,6 +244,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
25, 25,
26, 26,
@ -255,6 +264,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
10, 10,
11, 11,
@ -301,6 +311,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
33 33
], ],
@ -318,6 +329,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
32, 32,
33, 33,
@ -338,6 +350,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -427,6 +440,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
32, 32,
33, 33,
@ -447,6 +461,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -542,6 +557,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
38 38
], ],
@ -559,6 +575,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
37, 37,
38, 38,
@ -579,6 +596,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -668,6 +686,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
37, 37,
38, 38,
@ -688,6 +707,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -783,6 +803,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
43 43
], ],
@ -800,6 +821,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,
@ -820,6 +842,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -909,6 +932,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,
@ -929,6 +953,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -1024,6 +1049,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
48 48
], ],
@ -1041,6 +1067,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
47, 47,
48, 48,
@ -1061,6 +1088,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -1150,6 +1178,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
47, 47,
48, 48,
@ -1170,6 +1199,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -1265,6 +1295,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
54 54
], ],
@ -1282,6 +1313,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
52, 52,
53, 53,
@ -1304,6 +1336,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -1393,6 +1426,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
52, 52,
53, 53,
@ -1415,6 +1449,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -1510,6 +1545,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
61 61
], ],
@ -1527,6 +1563,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
59, 59,
60, 60,
@ -1549,6 +1586,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -1638,6 +1676,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
59, 59,
60, 60,
@ -1660,6 +1699,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -1755,6 +1795,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
68 68
], ],
@ -1772,6 +1813,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
66, 66,
67, 67,
@ -1794,6 +1836,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -1883,6 +1926,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
66, 66,
67, 67,
@ -1905,6 +1949,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -2000,6 +2045,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
124 124
], ],
@ -2017,6 +2063,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
123, 123,
124, 124,
@ -2036,6 +2083,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
99, 99,
100, 100,
@ -2094,6 +2142,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
123, 123,
124, 124,
@ -2113,6 +2162,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
99, 99,
100, 100,
@ -2177,6 +2227,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
128 128
], ],
@ -2194,6 +2245,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
127, 127,
128, 128,
@ -2213,6 +2265,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
99, 99,
100, 100,
@ -2271,6 +2324,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
127, 127,
128, 128,
@ -2290,6 +2344,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
99, 99,
100, 100,
@ -2354,6 +2409,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
132 132
], ],
@ -2371,6 +2427,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
131, 131,
132, 132,
@ -2390,6 +2447,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
99, 99,
100, 100,
@ -2448,6 +2506,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
131, 131,
132, 132,
@ -2467,6 +2526,7 @@
"filename_relative": "tests/incorrect_equality.sol", "filename_relative": "tests/incorrect_equality.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_equality.sol",
"filename_short": "tests/incorrect_equality.sol", "filename_short": "tests/incorrect_equality.sol",
"is_dependency": false,
"lines": [ "lines": [
99, 99,
100, 100,

12
tests/expected_json/incorrect_erc20_interface.erc20-interface.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
4 4
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -71,6 +73,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
5 5
], ],
@ -88,6 +91,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -123,6 +127,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6 6
], ],
@ -140,6 +145,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -175,6 +181,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
7 7
], ],
@ -192,6 +199,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -227,6 +235,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
8 8
], ],
@ -244,6 +253,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -279,6 +289,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
9 9
], ],
@ -296,6 +307,7 @@
"filename_relative": "tests/incorrect_erc20_interface.sol", "filename_relative": "tests/incorrect_erc20_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc20_interface.sol",
"filename_short": "tests/incorrect_erc20_interface.sol", "filename_short": "tests/incorrect_erc20_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,

20
tests/expected_json/incorrect_erc721_interface.erc721-interface.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
4 4
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -66,6 +68,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
7 7
], ],
@ -83,6 +86,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -121,6 +125,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
8 8
], ],
@ -138,6 +143,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -176,6 +182,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
9 9
], ],
@ -193,6 +200,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -231,6 +239,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
10 10
], ],
@ -248,6 +257,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -286,6 +296,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
11 11
], ],
@ -303,6 +314,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -341,6 +353,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
12 12
], ],
@ -358,6 +371,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -396,6 +410,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
13 13
], ],
@ -413,6 +428,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -451,6 +467,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
14 14
], ],
@ -468,6 +485,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -506,6 +524,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
15 15
], ],
@ -523,6 +542,7 @@
"filename_relative": "tests/incorrect_erc721_interface.sol", "filename_relative": "tests/incorrect_erc721_interface.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/incorrect_erc721_interface.sol",
"filename_short": "tests/incorrect_erc721_interface.sol", "filename_short": "tests/incorrect_erc721_interface.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,

5
tests/expected_json/inline_assembly_contract-0.5.1.assembly.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/inline_assembly_contract-0.5.1.sol", "filename_relative": "tests/inline_assembly_contract-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol",
"filename_short": "tests/inline_assembly_contract-0.5.1.sol", "filename_short": "tests/inline_assembly_contract-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -50,6 +51,7 @@
"filename_relative": "tests/inline_assembly_contract-0.5.1.sol", "filename_relative": "tests/inline_assembly_contract-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol",
"filename_short": "tests/inline_assembly_contract-0.5.1.sol", "filename_short": "tests/inline_assembly_contract-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -86,6 +88,7 @@
"filename_relative": "tests/inline_assembly_contract-0.5.1.sol", "filename_relative": "tests/inline_assembly_contract-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol",
"filename_short": "tests/inline_assembly_contract-0.5.1.sol", "filename_short": "tests/inline_assembly_contract-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
7, 7,
8, 8,
@ -116,6 +119,7 @@
"filename_relative": "tests/inline_assembly_contract-0.5.1.sol", "filename_relative": "tests/inline_assembly_contract-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol",
"filename_short": "tests/inline_assembly_contract-0.5.1.sol", "filename_short": "tests/inline_assembly_contract-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -147,6 +151,7 @@
"filename_relative": "tests/inline_assembly_contract-0.5.1.sol", "filename_relative": "tests/inline_assembly_contract-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract-0.5.1.sol",
"filename_short": "tests/inline_assembly_contract-0.5.1.sol", "filename_short": "tests/inline_assembly_contract-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,

5
tests/expected_json/inline_assembly_contract.assembly.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/inline_assembly_contract.sol", "filename_relative": "tests/inline_assembly_contract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol",
"filename_short": "tests/inline_assembly_contract.sol", "filename_short": "tests/inline_assembly_contract.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -50,6 +51,7 @@
"filename_relative": "tests/inline_assembly_contract.sol", "filename_relative": "tests/inline_assembly_contract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol",
"filename_short": "tests/inline_assembly_contract.sol", "filename_short": "tests/inline_assembly_contract.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -86,6 +88,7 @@
"filename_relative": "tests/inline_assembly_contract.sol", "filename_relative": "tests/inline_assembly_contract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol",
"filename_short": "tests/inline_assembly_contract.sol", "filename_short": "tests/inline_assembly_contract.sol",
"is_dependency": false,
"lines": [ "lines": [
7, 7,
8, 8,
@ -116,6 +119,7 @@
"filename_relative": "tests/inline_assembly_contract.sol", "filename_relative": "tests/inline_assembly_contract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol",
"filename_short": "tests/inline_assembly_contract.sol", "filename_short": "tests/inline_assembly_contract.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -147,6 +151,7 @@
"filename_relative": "tests/inline_assembly_contract.sol", "filename_relative": "tests/inline_assembly_contract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_contract.sol",
"filename_short": "tests/inline_assembly_contract.sol", "filename_short": "tests/inline_assembly_contract.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,

10
tests/expected_json/inline_assembly_library-0.5.1.assembly.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -42,6 +43,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -105,6 +107,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -125,6 +128,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -148,6 +152,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -221,6 +226,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
25, 25,
26, 26,
@ -260,6 +266,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -323,6 +330,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
26, 26,
27, 27,
@ -361,6 +369,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
25, 25,
26, 26,
@ -400,6 +409,7 @@
"filename_relative": "tests/inline_assembly_library-0.5.1.sol", "filename_relative": "tests/inline_assembly_library-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library-0.5.1.sol",
"filename_short": "tests/inline_assembly_library-0.5.1.sol", "filename_short": "tests/inline_assembly_library-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,

10
tests/expected_json/inline_assembly_library.assembly.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -42,6 +43,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -105,6 +107,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -125,6 +128,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -148,6 +152,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -221,6 +226,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
25, 25,
26, 26,
@ -260,6 +266,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -323,6 +330,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
26, 26,
27, 27,
@ -361,6 +369,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
25, 25,
26, 26,
@ -400,6 +409,7 @@
"filename_relative": "tests/inline_assembly_library.sol", "filename_relative": "tests/inline_assembly_library.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/inline_assembly_library.sol",
"filename_short": "tests/inline_assembly_library.sol", "filename_short": "tests/inline_assembly_library.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,

3
tests/expected_json/locked_ether-0.5.1.locked-ether.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/locked_ether-0.5.1.sol", "filename_relative": "tests/locked_ether-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether-0.5.1.sol",
"filename_short": "tests/locked_ether-0.5.1.sol", "filename_short": "tests/locked_ether-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
26 26
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/locked_ether-0.5.1.sol", "filename_relative": "tests/locked_ether-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether-0.5.1.sol",
"filename_short": "tests/locked_ether-0.5.1.sol", "filename_short": "tests/locked_ether-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -55,6 +57,7 @@
"filename_relative": "tests/locked_ether-0.5.1.sol", "filename_relative": "tests/locked_ether-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether-0.5.1.sol",
"filename_short": "tests/locked_ether-0.5.1.sol", "filename_short": "tests/locked_ether-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,

3
tests/expected_json/locked_ether.locked-ether.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/locked_ether.sol", "filename_relative": "tests/locked_ether.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether.sol",
"filename_short": "tests/locked_ether.sol", "filename_short": "tests/locked_ether.sol",
"is_dependency": false,
"lines": [ "lines": [
26 26
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/locked_ether.sol", "filename_relative": "tests/locked_ether.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether.sol",
"filename_short": "tests/locked_ether.sol", "filename_short": "tests/locked_ether.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -55,6 +57,7 @@
"filename_relative": "tests/locked_ether.sol", "filename_relative": "tests/locked_ether.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/locked_ether.sol",
"filename_short": "tests/locked_ether.sol", "filename_short": "tests/locked_ether.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,

5
tests/expected_json/low_level_calls.low-level-calls.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/low_level_calls.sol", "filename_relative": "tests/low_level_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol",
"filename_short": "tests/low_level_calls.sol", "filename_short": "tests/low_level_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -38,6 +39,7 @@
"filename_relative": "tests/low_level_calls.sol", "filename_relative": "tests/low_level_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol",
"filename_short": "tests/low_level_calls.sol", "filename_short": "tests/low_level_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -62,6 +64,7 @@
"filename_relative": "tests/low_level_calls.sol", "filename_relative": "tests/low_level_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol",
"filename_short": "tests/low_level_calls.sol", "filename_short": "tests/low_level_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
6 6
], ],
@ -79,6 +82,7 @@
"filename_relative": "tests/low_level_calls.sol", "filename_relative": "tests/low_level_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol",
"filename_short": "tests/low_level_calls.sol", "filename_short": "tests/low_level_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
5, 5,
6, 6,
@ -98,6 +102,7 @@
"filename_relative": "tests/low_level_calls.sol", "filename_relative": "tests/low_level_calls.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/low_level_calls.sol",
"filename_short": "tests/low_level_calls.sol", "filename_short": "tests/low_level_calls.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,

3
tests/expected_json/multiple_calls_in_loop.calls-loop.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/multiple_calls_in_loop.sol", "filename_relative": "tests/multiple_calls_in_loop.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/multiple_calls_in_loop.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/multiple_calls_in_loop.sol",
"filename_short": "tests/multiple_calls_in_loop.sol", "filename_short": "tests/multiple_calls_in_loop.sol",
"is_dependency": false,
"lines": [ "lines": [
11 11
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/multiple_calls_in_loop.sol", "filename_relative": "tests/multiple_calls_in_loop.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/multiple_calls_in_loop.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/multiple_calls_in_loop.sol",
"filename_short": "tests/multiple_calls_in_loop.sol", "filename_short": "tests/multiple_calls_in_loop.sol",
"is_dependency": false,
"lines": [ "lines": [
9, 9,
10, 10,
@ -57,6 +59,7 @@
"filename_relative": "tests/multiple_calls_in_loop.sol", "filename_relative": "tests/multiple_calls_in_loop.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/multiple_calls_in_loop.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/multiple_calls_in_loop.sol",
"filename_short": "tests/multiple_calls_in_loop.sol", "filename_short": "tests/multiple_calls_in_loop.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

25
tests/expected_json/naming_convention.naming-convention.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -93,6 +94,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -112,6 +114,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -188,6 +191,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
23 23
], ],
@ -205,6 +209,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -282,6 +287,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
30, 30,
31, 31,
@ -302,6 +308,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -379,6 +386,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
35 35
], ],
@ -396,6 +404,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
35, 35,
36, 36,
@ -416,6 +425,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -495,6 +505,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
9 9
], ],
@ -512,6 +523,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -588,6 +600,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
11 11
], ],
@ -605,6 +618,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -681,6 +695,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
6 6
], ],
@ -698,6 +713,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -774,6 +790,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
41, 41,
42, 42,
@ -793,6 +810,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -870,6 +888,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
59 59
], ],
@ -887,6 +906,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
59, 59,
60 60
@ -905,6 +925,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
54, 54,
55, 55,
@ -953,6 +974,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
56 56
], ],
@ -970,6 +992,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
54, 54,
55, 55,
@ -1015,6 +1038,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
67 67
], ],
@ -1032,6 +1056,7 @@
"filename_relative": "tests/naming_convention.sol", "filename_relative": "tests/naming_convention.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/naming_convention.sol",
"filename_short": "tests/naming_convention.sol", "filename_short": "tests/naming_convention.sol",
"is_dependency": false,
"lines": [ "lines": [
54, 54,
55, 55,

1
tests/expected_json/old_solc.sol.json.solc-version.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": null, "filename_relative": null,
"filename_absolute": null, "filename_absolute": null,
"filename_short": null, "filename_short": null,
"is_dependency": false,
"lines": [], "lines": [],
"starting_column": null, "starting_column": null,
"ending_column": null "ending_column": null

2
tests/expected_json/pragma.0.4.24.pragma.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/pragma.0.4.23.sol", "filename_relative": "tests/pragma.0.4.23.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/pragma.0.4.23.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/pragma.0.4.23.sol",
"filename_short": "tests/pragma.0.4.23.sol", "filename_short": "tests/pragma.0.4.23.sol",
"is_dependency": false,
"lines": [ "lines": [
1 1
], ],
@ -44,6 +45,7 @@
"filename_relative": "tests/pragma.0.4.24.sol", "filename_relative": "tests/pragma.0.4.24.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/pragma.0.4.24.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/pragma.0.4.24.sol",
"filename_short": "tests/pragma.0.4.24.sol", "filename_short": "tests/pragma.0.4.24.sol",
"is_dependency": false,
"lines": [ "lines": [
1 1
], ],

16
tests/expected_json/reentrancy-0.5.1.reentrancy-eth.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -44,6 +45,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -115,6 +117,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
17 17
], ],
@ -132,6 +135,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -157,6 +161,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -233,6 +238,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
21 21
], ],
@ -250,6 +256,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -275,6 +282,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -360,6 +368,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
44, 44,
45, 45,
@ -386,6 +395,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -457,6 +467,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
49 49
], ],
@ -474,6 +485,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
44, 44,
45, 45,
@ -500,6 +512,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -576,6 +589,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
51 51
], ],
@ -593,6 +607,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
44, 44,
45, 45,
@ -619,6 +634,7 @@
"filename_relative": "tests/reentrancy-0.5.1.sol", "filename_relative": "tests/reentrancy-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy-0.5.1.sol",
"filename_short": "tests/reentrancy-0.5.1.sol", "filename_short": "tests/reentrancy-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,

16
tests/expected_json/reentrancy.reentrancy-eth.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -43,6 +44,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -132,6 +134,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
17 17
], ],
@ -149,6 +152,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -173,6 +177,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -267,6 +272,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
20 20
], ],
@ -284,6 +290,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -308,6 +315,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -411,6 +419,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
64, 64,
65, 65,
@ -434,6 +443,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -523,6 +533,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
67 67
], ],
@ -540,6 +551,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
64, 64,
65, 65,
@ -563,6 +575,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -657,6 +670,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
68 68
], ],
@ -674,6 +688,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
64, 64,
65, 65,
@ -697,6 +712,7 @@
"filename_relative": "tests/reentrancy.sol", "filename_relative": "tests/reentrancy.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/reentrancy.sol",
"filename_short": "tests/reentrancy.sol", "filename_short": "tests/reentrancy.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,

1
tests/expected_json/right_to_left_override.rtlo.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/right_to_left_override.sol", "filename_relative": "tests/right_to_left_override.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/right_to_left_override.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/right_to_left_override.sol",
"filename_short": "tests/right_to_left_override.sol", "filename_short": "tests/right_to_left_override.sol",
"is_dependency": false,
"lines": [ "lines": [
7 7
], ],

4
tests/expected_json/shadowing_abstract.shadowing-abstract.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/shadowing_abstract.sol", "filename_relative": "tests/shadowing_abstract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_abstract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_abstract.sol",
"filename_short": "tests/shadowing_abstract.sol", "filename_short": "tests/shadowing_abstract.sol",
"is_dependency": false,
"lines": [ "lines": [
7 7
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/shadowing_abstract.sol", "filename_relative": "tests/shadowing_abstract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_abstract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_abstract.sol",
"filename_short": "tests/shadowing_abstract.sol", "filename_short": "tests/shadowing_abstract.sol",
"is_dependency": false,
"lines": [ "lines": [
6, 6,
7, 7,
@ -58,6 +60,7 @@
"filename_relative": "tests/shadowing_abstract.sol", "filename_relative": "tests/shadowing_abstract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_abstract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_abstract.sol",
"filename_short": "tests/shadowing_abstract.sol", "filename_short": "tests/shadowing_abstract.sol",
"is_dependency": false,
"lines": [ "lines": [
2 2
], ],
@ -75,6 +78,7 @@
"filename_relative": "tests/shadowing_abstract.sol", "filename_relative": "tests/shadowing_abstract.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_abstract.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_abstract.sol",
"filename_short": "tests/shadowing_abstract.sol", "filename_short": "tests/shadowing_abstract.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

29
tests/expected_json/shadowing_builtin_symbols.shadowing-builtin.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
4 4
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -68,6 +70,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
5 5
], ],
@ -85,6 +88,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -117,6 +121,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
7 7
], ],
@ -134,6 +139,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -167,6 +173,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -186,6 +193,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
10, 10,
11, 11,
@ -220,6 +228,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
14 14
], ],
@ -237,6 +246,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -256,6 +266,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
10, 10,
11, 11,
@ -292,6 +303,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
11 11
], ],
@ -309,6 +321,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
10, 10,
11, 11,
@ -342,6 +355,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
23, 23,
24, 24,
@ -364,6 +378,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -403,6 +418,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -420,6 +436,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
23, 23,
24, 24,
@ -442,6 +459,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -483,6 +501,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
26 26
], ],
@ -500,6 +519,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
23, 23,
24, 24,
@ -522,6 +542,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -563,6 +584,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
19 19
], ],
@ -580,6 +602,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -618,6 +641,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
20 20
], ],
@ -635,6 +659,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -673,6 +698,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
21 21
], ],
@ -690,6 +716,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
18, 18,
19, 19,
@ -728,6 +755,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
32 32
], ],
@ -745,6 +773,7 @@
"filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol",
"filename_short": "tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol",
"is_dependency": false,
"lines": [ "lines": [
31, 31,
32, 32,

29
tests/expected_json/shadowing_local_variable.shadowing-local.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -53,6 +55,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -85,6 +88,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
17 17
], ],
@ -102,6 +106,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -131,6 +136,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
9 9
], ],
@ -148,6 +154,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
8, 8,
9, 9,
@ -173,6 +180,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
4 4
], ],
@ -190,6 +198,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -220,6 +229,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -237,6 +247,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -254,6 +265,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -286,6 +298,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
5 5
], ],
@ -303,6 +316,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -333,6 +347,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -350,6 +365,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -367,6 +383,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -399,6 +416,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
11 11
], ],
@ -416,6 +434,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
8, 8,
9, 9,
@ -450,6 +469,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -467,6 +487,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -484,6 +505,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -516,6 +538,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
20, 20,
21, 21,
@ -536,6 +559,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -574,6 +598,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -591,6 +616,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
25 25
], ],
@ -608,6 +634,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
16, 16,
17, 17,
@ -640,6 +667,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
13 13
], ],
@ -657,6 +685,7 @@
"filename_relative": "tests/shadowing_local_variable.sol", "filename_relative": "tests/shadowing_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_local_variable.sol",
"filename_short": "tests/shadowing_local_variable.sol", "filename_short": "tests/shadowing_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
8, 8,
9, 9,

4
tests/expected_json/shadowing_state_variable.shadowing-state.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/shadowing_state_variable.sol", "filename_relative": "tests/shadowing_state_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_state_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_state_variable.sol",
"filename_short": "tests/shadowing_state_variable.sol", "filename_short": "tests/shadowing_state_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
12 12
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/shadowing_state_variable.sol", "filename_relative": "tests/shadowing_state_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_state_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_state_variable.sol",
"filename_short": "tests/shadowing_state_variable.sol", "filename_short": "tests/shadowing_state_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -65,6 +67,7 @@
"filename_relative": "tests/shadowing_state_variable.sol", "filename_relative": "tests/shadowing_state_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_state_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_state_variable.sol",
"filename_short": "tests/shadowing_state_variable.sol", "filename_short": "tests/shadowing_state_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
2 2
], ],
@ -82,6 +85,7 @@
"filename_relative": "tests/shadowing_state_variable.sol", "filename_relative": "tests/shadowing_state_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_state_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_state_variable.sol",
"filename_short": "tests/shadowing_state_variable.sol", "filename_short": "tests/shadowing_state_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

2
tests/expected_json/solc_version_incorrect.solc-version.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/solc_version_incorrect.sol", "filename_relative": "tests/solc_version_incorrect.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/solc_version_incorrect.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/solc_version_incorrect.sol",
"filename_short": "tests/solc_version_incorrect.sol", "filename_short": "tests/solc_version_incorrect.sol",
"is_dependency": false,
"lines": [ "lines": [
2 2
], ],
@ -52,6 +53,7 @@
"filename_relative": "tests/solc_version_incorrect.sol", "filename_relative": "tests/solc_version_incorrect.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/solc_version_incorrect.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/solc_version_incorrect.sol",
"filename_short": "tests/solc_version_incorrect.sol", "filename_short": "tests/solc_version_incorrect.sol",
"is_dependency": false,
"lines": [ "lines": [
3 3
], ],

2
tests/expected_json/solc_version_incorrect_05.ast.json.solc-version.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": null, "filename_relative": null,
"filename_absolute": null, "filename_absolute": null,
"filename_short": null, "filename_short": null,
"is_dependency": false,
"lines": [], "lines": [],
"starting_column": null, "starting_column": null,
"ending_column": null "ending_column": null
@ -50,6 +51,7 @@
"filename_relative": null, "filename_relative": null,
"filename_absolute": null, "filename_absolute": null,
"filename_short": null, "filename_short": null,
"is_dependency": false,
"lines": [], "lines": [],
"starting_column": null, "starting_column": null,
"ending_column": null "ending_column": null

15
tests/expected_json/timestamp.timestamp.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -38,6 +39,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -77,6 +79,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
5 5
], ],
@ -94,6 +97,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
4, 4,
5, 5,
@ -113,6 +117,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -162,6 +167,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
8, 8,
9, 9,
@ -182,6 +188,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -221,6 +228,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
10 10
], ],
@ -238,6 +246,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
8, 8,
9, 9,
@ -258,6 +267,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -307,6 +317,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -326,6 +337,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -365,6 +377,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
14 14
], ],
@ -382,6 +395,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -401,6 +415,7 @@
"filename_relative": "tests/timestamp.sol", "filename_relative": "tests/timestamp.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/timestamp.sol",
"filename_short": "tests/timestamp.sol", "filename_short": "tests/timestamp.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

18
tests/expected_json/too_many_digits.too-many-digits.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
10 10
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
9, 9,
10, 10,
@ -59,6 +61,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -121,6 +124,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
11 11
], ],
@ -138,6 +142,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
9, 9,
10, 10,
@ -161,6 +166,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -223,6 +229,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
12 12
], ],
@ -240,6 +247,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
9, 9,
10, 10,
@ -263,6 +271,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -325,6 +334,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
13 13
], ],
@ -342,6 +352,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
9, 9,
10, 10,
@ -365,6 +376,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -427,6 +439,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
22 22
], ],
@ -444,6 +457,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
20, 20,
21, 21,
@ -465,6 +479,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -527,6 +542,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
31 31
], ],
@ -544,6 +560,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
29, 29,
30, 30,
@ -565,6 +582,7 @@
"filename_relative": "tests/too_many_digits.sol", "filename_relative": "tests/too_many_digits.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/too_many_digits.sol",
"filename_short": "tests/too_many_digits.sol", "filename_short": "tests/too_many_digits.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,

6
tests/expected_json/tx_origin-0.5.1.tx-origin.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/tx_origin-0.5.1.sol", "filename_relative": "tests/tx_origin-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol",
"filename_short": "tests/tx_origin-0.5.1.sol", "filename_short": "tests/tx_origin-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
10 10
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/tx_origin-0.5.1.sol", "filename_relative": "tests/tx_origin-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol",
"filename_short": "tests/tx_origin-0.5.1.sol", "filename_short": "tests/tx_origin-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
9, 9,
10, 10,
@ -55,6 +57,7 @@
"filename_relative": "tests/tx_origin-0.5.1.sol", "filename_relative": "tests/tx_origin-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol",
"filename_short": "tests/tx_origin-0.5.1.sol", "filename_short": "tests/tx_origin-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -108,6 +111,7 @@
"filename_relative": "tests/tx_origin-0.5.1.sol", "filename_relative": "tests/tx_origin-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol",
"filename_short": "tests/tx_origin-0.5.1.sol", "filename_short": "tests/tx_origin-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
14 14
], ],
@ -125,6 +129,7 @@
"filename_relative": "tests/tx_origin-0.5.1.sol", "filename_relative": "tests/tx_origin-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol",
"filename_short": "tests/tx_origin-0.5.1.sol", "filename_short": "tests/tx_origin-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -146,6 +151,7 @@
"filename_relative": "tests/tx_origin-0.5.1.sol", "filename_relative": "tests/tx_origin-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin-0.5.1.sol",
"filename_short": "tests/tx_origin-0.5.1.sol", "filename_short": "tests/tx_origin-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,

6
tests/expected_json/tx_origin.tx-origin.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol",
"filename_short": "tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol",
"is_dependency": false,
"lines": [ "lines": [
10 10
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol",
"filename_short": "tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol",
"is_dependency": false,
"lines": [ "lines": [
9, 9,
10, 10,
@ -55,6 +57,7 @@
"filename_relative": "tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol",
"filename_short": "tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -108,6 +111,7 @@
"filename_relative": "tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol",
"filename_short": "tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol",
"is_dependency": false,
"lines": [ "lines": [
14 14
], ],
@ -125,6 +129,7 @@
"filename_relative": "tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol",
"filename_short": "tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -146,6 +151,7 @@
"filename_relative": "tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/tx_origin.sol",
"filename_short": "tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,

5
tests/expected_json/unchecked_lowlevel-0.5.1.unchecked-lowlevel.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/unchecked_lowlevel-0.5.1.sol", "filename_relative": "tests/unchecked_lowlevel-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol",
"filename_short": "tests/unchecked_lowlevel-0.5.1.sol", "filename_short": "tests/unchecked_lowlevel-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3 3
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/unchecked_lowlevel-0.5.1.sol", "filename_relative": "tests/unchecked_lowlevel-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol",
"filename_short": "tests/unchecked_lowlevel-0.5.1.sol", "filename_short": "tests/unchecked_lowlevel-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,
@ -55,6 +57,7 @@
"filename_relative": "tests/unchecked_lowlevel-0.5.1.sol", "filename_relative": "tests/unchecked_lowlevel-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol",
"filename_short": "tests/unchecked_lowlevel-0.5.1.sol", "filename_short": "tests/unchecked_lowlevel-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -87,6 +90,7 @@
"filename_relative": "tests/unchecked_lowlevel-0.5.1.sol", "filename_relative": "tests/unchecked_lowlevel-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol",
"filename_short": "tests/unchecked_lowlevel-0.5.1.sol", "filename_short": "tests/unchecked_lowlevel-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,
@ -106,6 +110,7 @@
"filename_relative": "tests/unchecked_lowlevel-0.5.1.sol", "filename_relative": "tests/unchecked_lowlevel-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel-0.5.1.sol",
"filename_short": "tests/unchecked_lowlevel-0.5.1.sol", "filename_short": "tests/unchecked_lowlevel-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

5
tests/expected_json/unchecked_lowlevel.unchecked-lowlevel.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/unchecked_lowlevel.sol", "filename_relative": "tests/unchecked_lowlevel.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol",
"filename_short": "tests/unchecked_lowlevel.sol", "filename_short": "tests/unchecked_lowlevel.sol",
"is_dependency": false,
"lines": [ "lines": [
3 3
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/unchecked_lowlevel.sol", "filename_relative": "tests/unchecked_lowlevel.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol",
"filename_short": "tests/unchecked_lowlevel.sol", "filename_short": "tests/unchecked_lowlevel.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,
@ -55,6 +57,7 @@
"filename_relative": "tests/unchecked_lowlevel.sol", "filename_relative": "tests/unchecked_lowlevel.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol",
"filename_short": "tests/unchecked_lowlevel.sol", "filename_short": "tests/unchecked_lowlevel.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -86,6 +89,7 @@
"filename_relative": "tests/unchecked_lowlevel.sol", "filename_relative": "tests/unchecked_lowlevel.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol",
"filename_short": "tests/unchecked_lowlevel.sol", "filename_short": "tests/unchecked_lowlevel.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,
@ -105,6 +109,7 @@
"filename_relative": "tests/unchecked_lowlevel.sol", "filename_relative": "tests/unchecked_lowlevel.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_lowlevel.sol",
"filename_short": "tests/unchecked_lowlevel.sol", "filename_short": "tests/unchecked_lowlevel.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

5
tests/expected_json/unchecked_send-0.5.1.unchecked-send.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/unchecked_send-0.5.1.sol", "filename_relative": "tests/unchecked_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol",
"filename_short": "tests/unchecked_send-0.5.1.sol", "filename_short": "tests/unchecked_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3 3
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/unchecked_send-0.5.1.sol", "filename_relative": "tests/unchecked_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol",
"filename_short": "tests/unchecked_send-0.5.1.sol", "filename_short": "tests/unchecked_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,
@ -55,6 +57,7 @@
"filename_relative": "tests/unchecked_send-0.5.1.sol", "filename_relative": "tests/unchecked_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol",
"filename_short": "tests/unchecked_send-0.5.1.sol", "filename_short": "tests/unchecked_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -94,6 +97,7 @@
"filename_relative": "tests/unchecked_send-0.5.1.sol", "filename_relative": "tests/unchecked_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol",
"filename_short": "tests/unchecked_send-0.5.1.sol", "filename_short": "tests/unchecked_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
2, 2,
3, 3,
@ -113,6 +117,7 @@
"filename_relative": "tests/unchecked_send-0.5.1.sol", "filename_relative": "tests/unchecked_send-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unchecked_send-0.5.1.sol",
"filename_short": "tests/unchecked_send-0.5.1.sol", "filename_short": "tests/unchecked_send-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

16
tests/expected_json/uninitialized-0.5.1.uninitialized-state.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
5 5
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -63,6 +65,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
7, 7,
8, 8,
@ -82,6 +85,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -118,6 +122,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
15 15
], ],
@ -135,6 +140,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -167,6 +173,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
23, 23,
24, 24,
@ -187,6 +194,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -228,6 +236,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
45 45
], ],
@ -245,6 +254,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,
@ -280,6 +290,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
53, 53,
54, 54,
@ -300,6 +311,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,
@ -344,6 +356,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
47 47
], ],
@ -361,6 +374,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,
@ -396,6 +410,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
49, 49,
50, 50,
@ -415,6 +430,7 @@
"filename_relative": "tests/uninitialized-0.5.1.sol", "filename_relative": "tests/uninitialized-0.5.1.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
"filename_short": "tests/uninitialized-0.5.1.sol", "filename_short": "tests/uninitialized-0.5.1.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,

16
tests/expected_json/uninitialized.uninitialized-state.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
5 5
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -63,6 +65,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
7, 7,
8, 8,
@ -82,6 +85,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -118,6 +122,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
15 15
], ],
@ -135,6 +140,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -167,6 +173,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
23, 23,
24, 24,
@ -187,6 +194,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
14, 14,
15, 15,
@ -228,6 +236,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
45 45
], ],
@ -245,6 +254,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,
@ -280,6 +290,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
53, 53,
54, 54,
@ -300,6 +311,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,
@ -344,6 +356,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
47 47
], ],
@ -361,6 +374,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,
@ -396,6 +410,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
49, 49,
50, 50,
@ -415,6 +430,7 @@
"filename_relative": "tests/uninitialized.sol", "filename_relative": "tests/uninitialized.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized.sol",
"filename_short": "tests/uninitialized.sol", "filename_short": "tests/uninitialized.sol",
"is_dependency": false,
"lines": [ "lines": [
42, 42,
43, 43,

5
tests/expected_json/uninitialized_local_variable.uninitialized-local.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/uninitialized_local_variable.sol", "filename_relative": "tests/uninitialized_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol",
"filename_short": "tests/uninitialized_local_variable.sol", "filename_short": "tests/uninitialized_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
4 4
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/uninitialized_local_variable.sol", "filename_relative": "tests/uninitialized_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol",
"filename_short": "tests/uninitialized_local_variable.sol", "filename_short": "tests/uninitialized_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -57,6 +59,7 @@
"filename_relative": "tests/uninitialized_local_variable.sol", "filename_relative": "tests/uninitialized_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol",
"filename_short": "tests/uninitialized_local_variable.sol", "filename_short": "tests/uninitialized_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -87,6 +90,7 @@
"filename_relative": "tests/uninitialized_local_variable.sol", "filename_relative": "tests/uninitialized_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol",
"filename_short": "tests/uninitialized_local_variable.sol", "filename_short": "tests/uninitialized_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -108,6 +112,7 @@
"filename_relative": "tests/uninitialized_local_variable.sol", "filename_relative": "tests/uninitialized_local_variable.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_local_variable.sol",
"filename_short": "tests/uninitialized_local_variable.sol", "filename_short": "tests/uninitialized_local_variable.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

5
tests/expected_json/uninitialized_storage_pointer.uninitialized-storage.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/uninitialized_storage_pointer.sol", "filename_relative": "tests/uninitialized_storage_pointer.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol",
"filename_short": "tests/uninitialized_storage_pointer.sol", "filename_short": "tests/uninitialized_storage_pointer.sol",
"is_dependency": false,
"lines": [ "lines": [
10 10
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/uninitialized_storage_pointer.sol", "filename_relative": "tests/uninitialized_storage_pointer.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol",
"filename_short": "tests/uninitialized_storage_pointer.sol", "filename_short": "tests/uninitialized_storage_pointer.sol",
"is_dependency": false,
"lines": [ "lines": [
7, 7,
8, 8,
@ -58,6 +60,7 @@
"filename_relative": "tests/uninitialized_storage_pointer.sol", "filename_relative": "tests/uninitialized_storage_pointer.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol",
"filename_short": "tests/uninitialized_storage_pointer.sol", "filename_short": "tests/uninitialized_storage_pointer.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,
@ -93,6 +96,7 @@
"filename_relative": "tests/uninitialized_storage_pointer.sol", "filename_relative": "tests/uninitialized_storage_pointer.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol",
"filename_short": "tests/uninitialized_storage_pointer.sol", "filename_short": "tests/uninitialized_storage_pointer.sol",
"is_dependency": false,
"lines": [ "lines": [
7, 7,
8, 8,
@ -115,6 +119,7 @@
"filename_relative": "tests/uninitialized_storage_pointer.sol", "filename_relative": "tests/uninitialized_storage_pointer.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized_storage_pointer.sol",
"filename_short": "tests/uninitialized_storage_pointer.sol", "filename_short": "tests/uninitialized_storage_pointer.sol",
"is_dependency": false,
"lines": [ "lines": [
1, 1,
2, 2,

10
tests/expected_json/unused_return.unused-return.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
18 18
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
17, 17,
18, 18,
@ -65,6 +67,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -104,6 +107,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
17, 17,
18, 18,
@ -133,6 +137,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -178,6 +183,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
22 22
], ],
@ -195,6 +201,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
17, 17,
18, 18,
@ -224,6 +231,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,
@ -263,6 +271,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
17, 17,
18, 18,
@ -292,6 +301,7 @@
"filename_relative": "tests/unused_return.sol", "filename_relative": "tests/unused_return.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_return.sol",
"filename_short": "tests/unused_return.sol", "filename_short": "tests/unused_return.sol",
"is_dependency": false,
"lines": [ "lines": [
13, 13,
14, 14,

12
tests/expected_json/unused_state.unused-state.json
Unescape View File

@ -19,6 +19,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
4 4
], ],
@ -36,6 +37,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -61,6 +63,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -91,6 +94,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
5 5
], ],
@ -108,6 +112,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -133,6 +138,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -163,6 +169,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
6 6
], ],
@ -180,6 +187,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -205,6 +213,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,
@ -235,6 +244,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
7 7
], ],
@ -252,6 +262,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
3, 3,
4, 4,
@ -277,6 +288,7 @@
"filename_relative": "tests/unused_state.sol", "filename_relative": "tests/unused_state.sol",
"filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/unused_state.sol",
"filename_short": "tests/unused_state.sol", "filename_short": "tests/unused_state.sol",
"is_dependency": false,
"lines": [ "lines": [
11, 11,
12, 12,

Write Preview
Loading…
Cancel
Save