LICENSE
README.md
pyproject.toml
src/micro_svm/__init__.py
src/micro_svm/cfg.py
src/micro_svm/compiler.py
src/micro_svm/decoding.py
src/micro_svm/defect_detection.py
src/micro_svm/descriptors.py
src/micro_svm/execution.py
src/micro_svm/exploration.py
src/micro_svm/global_context.py
src/micro_svm/instructions.py
src/micro_svm/serialization.py
src/micro_svm/state.py
src/micro_svm/type_hierarchy.py
src/micro_svm/types.py
src/micro_svm/utils.py
src/micro_svm.egg-info/PKG-INFO
src/micro_svm.egg-info/SOURCES.txt
src/micro_svm.egg-info/dependency_links.txt
src/micro_svm.egg-info/requires.txt
src/micro_svm.egg-info/top_level.txt
tests/test_call_static.py
tests/test_call_virtual.py
tests/test_cfg_if.py
tests/test_cfg_loop.py
tests/test_cfg_switch.py
tests/test_cfg_try_catch.py
tests/test_object_field_access.py