gitextract_xfaybpz0/

├── .circleci/
│   └── config.yml
├── .flake8
├── .gitignore
├── LICENSE.txt
├── README.md
├── pakala/
│   ├── __init__.py
│   ├── analyzer.py
│   ├── claripy_sha3.py
│   ├── cli.py
│   ├── env.py
│   ├── memory.py
│   ├── recursive_analyzer.py
│   ├── sm.py
│   ├── state.py
│   ├── summary.py
│   ├── test_analyzer.py
│   ├── test_claripy_sha3.py
│   ├── test_env.py
│   ├── test_memory.py
│   ├── test_recursive_analyzer.py
│   ├── test_sm.py
│   ├── test_state.py
│   └── utils.py
├── requirements.txt
├── setup.py
└── solidity_tests/
    ├── __init__.py
    ├── arbitrary_storage_write.sol
    ├── arbitrary_storage_write2.sol
    ├── array_write.sol
    ├── constructor_wrongly_named.sol
    ├── delegatecall.sol
    ├── mapping.sol
    ├── mapping2.sol
    ├── multiple_write_multiple_tx.sol
    ├── multiple_write_one_tx.sol
    ├── recursive_mapping.sol
    ├── simple_ether_drain.sol
    ├── simple_suicide.sol
    ├── string.sol
    ├── string_unbounded.sol
    ├── test_solidity.py
    └── wrapped_ether.sol