INFO:Detectors:
TxOrigin.bug0 uses tx.origin for authorization:
	- require(bool)(tx.origin == owner) (tests/tx_origin-0.5.1.sol#10)
TxOrigin.bug2 uses tx.origin for authorization:
	- tx.origin != owner (tests/tx_origin-0.5.1.sol#14-16)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-usage-of-txorigin
INFO:Slither:/home/travis/build/crytic/slither/scripts/../tests/expected_json/tx_origin-0.5.1.tx-origin.json exists already, the overwrite is prevented
INFO:Slither:tests/tx_origin-0.5.1.sol analyzed (1 contracts), 2 result(s) found