.tools/venv/lib/python3.9/site-packages/urllib3/__init__.py:35: NotOpenSSLWarning: urllib3 v2 only supports OpenSSL 1.1.1+, currently the 'ssl' module is compiled with 'LibreSSL 2.8.3'. See: https://github.com/urllib3/urllib3/issues/3020
  warnings.warn(
'solc --version' running
'solc @openzeppelin/contracts/=node_modules/@openzeppelin/contracts/ @openzeppelin/=node_modules/@openzeppelin/ src/KyteHaltGate.sol --combined-json abi,ast,bin,bin-runtime,srcmap,srcmap-runtime,userdoc,devdoc,hashes --via-ir --optimize --optimize-runs 200 --evm-version cancun --allow-paths .,KyteHaltGate/src' running
Compilation warnings/errors on src/KyteHaltGate.sol:
.tools/venv/lib/python3.9/site-packages/urllib3/__init__.py:35: NotOpenSSLWarning: urllib3 v2 only supports OpenSSL 1.1.1+, currently the 'ssl' module is compiled with 'LibreSSL 2.8.3'. See: https://github.com/urllib3/urllib3/issues/3020
  warnings.warn(


Detector: incorrect-equality
HarmonicHaltGate._requireOpen(address) (src/lib/harmonic/HarmonicHaltGate.sol#90-96) uses a dangerous strict equality:
	- g == GateVerdict.Open (src/lib/harmonic/HarmonicHaltGate.sol#92)
HarmonicHaltGate._requireOpen(address) (src/lib/harmonic/HarmonicHaltGate.sol#90-96) uses a dangerous strict equality:
	- g == GateVerdict.NotOpen (src/lib/harmonic/HarmonicHaltGate.sol#93)
HarmonicHaltGate._requireOpen(address) (src/lib/harmonic/HarmonicHaltGate.sol#90-96) uses a dangerous strict equality:
	- g == GateVerdict.Quiet (src/lib/harmonic/HarmonicHaltGate.sol#94)
KyteHaltGate.isOpen(address) (src/KyteHaltGate.sol#20-23) uses a dangerous strict equality:
	- g == GateVerdict.Open (src/KyteHaltGate.sol#22)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-strict-equalities

Detector: unused-return
HarmonicHaltGate.gateVerdict(address) (src/lib/harmonic/HarmonicHaltGate.sol#78-87) ignores return value by (v,writtenAt) = haltOracle.verdictOf(token) (src/lib/harmonic/HarmonicHaltGate.sol#79-86)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#unused-return

Detector: calls-loop
HarmonicHaltGate.gateVerdict(address) (src/lib/harmonic/HarmonicHaltGate.sol#78-87) has external calls inside a loop: (v,writtenAt) = haltOracle.verdictOf(token) (src/lib/harmonic/HarmonicHaltGate.sol#79-86)
	Calls stack containing the loop:
		KyteHaltGate.gateVerdicts(address[])
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation/#calls-inside-a-loop

Detector: timestamp
KyteHaltGate.isOpen(address) (src/KyteHaltGate.sol#20-23) uses timestamp for comparisons
	Dangerous comparisons:
	- g == GateVerdict.Open (src/KyteHaltGate.sol#22)
HarmonicHaltGate.gateVerdict(address) (src/lib/harmonic/HarmonicHaltGate.sol#78-87) uses timestamp for comparisons
	Dangerous comparisons:
	- a > haltMaxAge (src/lib/harmonic/HarmonicHaltGate.sol#82)
HarmonicHaltGate._requireOpen(address) (src/lib/harmonic/HarmonicHaltGate.sol#90-96) uses timestamp for comparisons
	Dangerous comparisons:
	- g == GateVerdict.Open (src/lib/harmonic/HarmonicHaltGate.sol#92)
	- g == GateVerdict.NotOpen (src/lib/harmonic/HarmonicHaltGate.sol#93)
	- g == GateVerdict.Quiet (src/lib/harmonic/HarmonicHaltGate.sol#94)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#block-timestamp

Detector: pragma
2 different versions of Solidity are used:
	- Version constraint 0.8.28 is used by:
		-0.8.28 (src/KyteHaltGate.sol#2)
	- Version constraint ^0.8.24 is used by:
		-^0.8.24 (src/lib/harmonic/HarmonicHaltGate.sol#6)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#different-pragma-directives-are-used
src/KyteHaltGate.sol analyzed (3 contracts with 100 detectors), 10 result(s) found
