LICENSE
README.md
setup.py
pop/__init__.py
pop/context.py
pop/contracts.py
pop/delta.py
pop/engine.py
pop/guards.py
pop/structures.py
pop_sdk.egg-info/PKG-INFO
pop_sdk.egg-info/SOURCES.txt
pop_sdk.egg-info/dependency_links.txt
pop_sdk.egg-info/top_level.txt
tests/test_deep_leakage.py
tests/test_delta_mechanics.py
tests/test_generic_use_case.py
tests/test_method_leakage.py
tests/test_slice_mutation.py
tests/test_traversal_blocking.py
tests/test_tuple_leakage.py
tests/test_zombie_proxy.py